মডুলার পচন এবং চক্র-প্রস্থ


15

আমি মডুলার পচন এবং ক্লিক-প্রস্থের গ্রাফগুলি সম্পর্কে কিছু ধারণা বোঝার চেষ্টা করছি ।

ইন এই কাগজ ( "এটাকে P4-পরিপাটি গ্রাফ উপর"), সেখানে কিভাবে উপদল-নম্বর অথবা বর্ণীয় নম্বরের মডুলার পচানি ব্যবহার করার মত অপ্টিমাইজেশান সমস্যার সমাধানের একটি প্রমাণ। G1, G2 দুটি গ্রাফ লেখার মাধ্যমে (বিচ্ছিন্ন যোগফল বা সংঘবদ্ধ ইউনিয়নটি ব্যবহার করে) এই সমস্যাগুলি সমাধান করা যখন আপনি G1 এবং G2 এর উত্তর জানেন তখনই সহজ। যেহেতু P4- পরিচ্ছন্ন গ্রাফগুলির পচনের প্রাথমিক গ্রাফগুলি চৌম্বক গ্রাফ (যেমন C5, P5, ইত্যাদি), তাই এই "বেস কেস" এর জন্য এটি সমাধান করা সহজ এবং তারপরে এটি রচনাগুলির জন্য সমাধান করা সহজ। সুতরাং পচা গাছ ব্যবহার করে লিনিয়ার সময়ে এই সমস্যাগুলি সমাধান করা সম্ভব।

তবে মনে হয় এই কৌশলটি কোনও গ্রাফ শ্রেণীর সাথে কাজ করবে যেমন গ্রাফ-প্রাইমস আবদ্ধ থাকে। তারপরে আমি এই কাগজটি পেয়েছি "সীমান্তের ক্লাইকের প্রস্থের গ্রাফগুলিতে লিনিয়ার টাইম সলভেবল অপটিমাইজেশন সমস্যা" যা মনে হচ্ছে যে সাধারণীকরণটি আমি খুঁজছিলাম তা বোধ হয় তবে আমি এটি খুব ভাল বুঝতে পারি নি।

আমার প্রশ্ন হ'ল:

1- পচা গাছের মূল-গ্রাফগুলি আবদ্ধ (পি 4-পরিপাটি গ্রাফের মতো) এবং একটি গ্রাফের "ক্লাইক-প্রস্থ" সম্পত্তিটি বেঁধে দেওয়া আছে কি বলে সমান?

2- যদি 1 এর উত্তরটি না হয় তবে তারপরে: গ্রাফ-প্রাইমগুলি আবদ্ধ (P4- পরিচ্ছন্ন গ্রাফের মতো) সহ শ্রেণীর গ্রাফগুলি সম্পর্কে কোনও ফলাফল উপস্থিত রয়েছে এবং এইভাবে এই সমস্ত শ্রেণীর উপর রৈখিক সময়ে সমাধানযোগ্য চক্র-সংখ্যার মতো অনুকূলকরণ সমস্যা ?

উত্তর:


18

আপনি এখানে চক্রের প্রস্থে একটি সংক্ষিপ্তসার পাঠ্য পাবেন (সংক্ষেপে সিডব্লিউডি): গ্রাফের চক্র-প্রস্থের উপরের সীমানা (বি। করসেল এবং এস ওলারিউ, ড্যাম 101)। আপনি এই সমীক্ষায় আরও সাম্প্রতিক ফলাফলগুলি পেতে পারেন: সীমাবদ্ধ চক্র-প্রস্থের গ্রাফগুলিতে সাম্প্রতিক ঘটনাবলী (এম। কামিনস্কি, ভি। লোজিন, এম। মিলানিক, ড্যাম 157 (12): 2747-2761 (২০০৯))

Cwd হ'ল গ্রাফ ক্রিয়াকলাপগুলির ভিত্তিতে একটি জটিলতা পরিমাপ যা শব্দের সংমিশ্রণকে সাধারণীকরণ করে। অসীম গণনাযোগ্য গ্রাফগুলিতে সিডব্লিউড সীমাবদ্ধ থাকতে পারে। আপনি বলবেন যে একটি সেট (সম্ভবত অসীম) গ্রাফের (সীমাবদ্ধ বা গণনাযোগ্য) সিডব্লিউডের সীমানা রয়েছে যদি কোনও ধ্রুবক কে উপস্থিত থাকে তবে এই সেটের কোনও গ্রাফ সর্বাধিক কে-সিডব্লিউড করেছে। উদাহরণস্বরূপ, সম্পূর্ণ গ্রাফগুলি সিডাব্লুড 2, দূরত্বের বংশগত গ্রাফগুলিকে সিডব্লিউড করা হয় সর্বোচ্চ 3, ...

1) সিডব্লিউডি এবং মডিউলার-ডিসের মধ্যে লিঙ্কটি নিম্নলিখিত: cwd (G) = সর্বাধিক {সিডব্লিউড (এইচ) | জি the এর মডিউলার ডিসে এইচ প্রাইম} অতএব, আপনি বলতে পারেন যে সিডব্লিউডি "প্রাইম গ্রাফগুলির সীমিত আকার রয়েছে" এই বিষয়টি সাধারণ করে তোলে ises আনবাউন্ডেড সাইজের প্রাইম-গ্রাফ সহ তবে সীমানা সিডব্লিউডের সাথে আপনার গ্রাফ থাকতে পারে।

2) প্রাইম-গ্রাফের আকারটি সীমাবদ্ধ হলে, সিডব্লিউডকে আবদ্ধ করা হবে। আপনি যে কাগজটি উদ্ধৃত করেছেন তাতে ফলাফল বলেছে যে এমএসএল-তে স্পষ্টত যে কোনও সমস্যা বাউন্ডেড সিডব্লিউডের গ্রাফ শ্রেণিতে দক্ষতার সাথে সমাধান করা যেতে পারে। এই সংস্থার সমস্যার মধ্যে অনেকগুলি এনপি-সম্পূর্ণ সমস্যা রয়েছে: চক্র নম্বর, স্থিতিশীল নম্বর, 3-কলরেবিলিটি, ...

মডুলার ডেসের কিছু অ্যালগরিদমিক দিক এখানে অধ্যয়ন করা হয়েছে "মডুলার পচনের আলগোরিদিমিক দিকগুলির একটি সমীক্ষা" (এম। হাবিব এবং সি। পল, কম্পিউটার বিজ্ঞান পর্যালোচনা 4 (1): 41-59 (2010))


তবে আমি নিশ্চিত নই যে এই "লিনিয়ার অ্যালগরিদমগুলি" বাস্তবে কার্যকর হয়েছে কিনা যেহেতু "বাউন্ডেড ক্লাইক-প্রস্থের গ্রাফগুলির একটি পর্যালোচনা" (শাহীন কমালি) এটি ব্যাখ্যা করে যে আপনার কে-এক্সপ্রেশনগুলি এবং এই কে-এক্সপ্রেশন প্রাপ্ত করার জন্য অ্যালগরিদমগুলি ইনপুট করার প্রয়োজন হবে? হ'ল এনপি-হার্ড।
ব্যবহারকারী 2582

4
হ্যাঁ, একটি কে-এক্সপ্রেশন প্রাপ্তি এনপি-সম্পূর্ণ এবং এই অ্যালগরিদমগুলি কেবলমাত্র তাত্ত্বিক গুরুত্বের। এর মধ্যে কিছু সমস্যার (বিশেষত আধিপত্য সমস্যা) এর জন্য রয়েছে "আরও ভাল অ্যালগরিদম"। তবে স্থির কে এর জন্য আপনি সিডাব্লু <= কে এর গ্রাফের সিডব্লিউড আনুমানিক করতে পারেন। এই অ্যালগরিদম সমতুল্য জটিলতা পরিমাপের র‌্যাঙ্ক-প্রস্থ ব্যবহার করে (উদাহরণস্বরূপ এই সমীক্ষা দেখুন "পি। হ্লিনেন, এস ওম, ডি সিসে, জি। গোটলব: প্রস্থের প্রস্থ এবং প্রস্থের বাইরে প্রস্থের পরামিতি। কমপুট। জে। 51 (3 ): 326-362 (2008) ")। কিছু গ্রাফ ক্লাসের জন্য, সিডাব্লুডির উপর সিডাব্লুডি বা একটি উপরের আবদ্ধ পরিচিত।
এম কান্ট
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.