বহু-কালীন সময়ে ম্যাক্স-স্যাটের দ্রবণযোগ্য উদাহরণ

Question

ম্যাক্স-স্যাট সমস্যাটি আপনাকে একটি সিএনএফ সূত্রের একটি অ্যাসাইনমেন্ট সন্ধান করতে বলবে যা যথাসম্ভব অনেকগুলি ধারা পূরণ করে।

স্যাটেল সমস্যাটির জন্য স্যাট এমন বহু পরিচিত বিশেষ কেস রয়েছে যা বহুবর্ষের সময়ে সমাধান করা যায়, যেমন আমরা বহু-কালীন সময়ে 2-স্যাট সমাধান করতে পারি।

ম্যাক্স-স্যাট-এর ক্ষেত্রে পরিস্থিতি আলাদা কারণ ম্যাক্স-স্যাট এনপি-হার্ড এমনকি 2-সিএনএফ সূত্রগুলির জন্যও (প্রতিটি অনুচ্ছেদে কেবল 2 টি ভেরিয়েবল থাকে)।

ম্যাক্স-স্যাট বহুপদী যে কোনও আকর্ষণীয় বিশেষ ইনপুট রয়েছে?

ইনসেন্সেন্স গ্রাফটি বৃক্ষের প্রশস্ততা সীমাবদ্ধ করে রাখলে বিশেষত আমি সর্বোচ্চ-শনিটি সমাধানের জন্য একটি আদর্শ রেফারেন্সে আগ্রহী।

Comments

প্ল্যানার ম্যাক্স-কাট ম্যাক্স-কাটের একটি বিশেষ কেস, যা (এক অর্থে) সর্বাধিক-টু-সটের একটি বিশেষ ক্ষেত্রে।

— জুলকা সুমেলা

Answer 1

এটি সরাসরি আপনার সর্বোচ্চ-স্যাট সমস্যার উত্তর দেয় না তবে রেফারেন্সগুলি আপনাকে সম্পূর্ণ উত্তরের দিকে পরিচালিত করতে পারে।

স্জাইডার দেখিয়েছিলেন যে ঘটনা গ্রাফের ট্রিউডথ দ্বারা প্যারামিটারাইজ করা হলে সন্তুষ্টিটি fi xed- পরামিতি ট্র্যাকটেবল। সমার এবং সিজাইডার একটি ই-সিআর্ট গতিশীল প্রোগ্রামিং অ্যালগরিদম দিয়েছে।

তথ্যসূত্র

এস। AT এক্স-প্যারামিটারে স্যাট এর ট্র্যাকটেবল প্যারামিটারাইজেশন। প্রোকে। থিওরি এবং স্যাটিস-অ্যাপ্লিকেশন সম্পর্কিত অ্যাপ্লিকেশন সম্পর্কিত 6th ষ্ঠ আন্তর্জাতিক সম্মেলন (SAT'03), নির্বাচিত এবং সংশোধিত কাগজপত্র, খণ্ড। এলএনসিএসের 2919, পৃষ্ঠা 188-202 – স্প্রিঞ্জার-ভার্লাগ, 2004।

এম সমীর এবং এস। প্রস্তাবিত মডেল গণনার জন্য অ্যালগরিদম। প্রোকে। প্রোগ্রামিংয়ের জন্য লজিকের উপর 14 তম ইন্টারন্যেশনাল কনফারেন্স, আর্টিসিয়াল ইন্টেলিজেন্স অ্যান্ড রিজনিং (এলপিআর'07), খণ্ড। এলএনসিএস এর 4790, পৃষ্ঠা 484–498। স্প্রিঞ্জার-ভার্লাগ, 2007।

সমার এবং সিজাইডার, স্থির-পরামিতি ট্র্যাকটেবিলিটি। এ। বিয়েরে, এম হিউল, এইচ ভ্যান মারেন, এবং টি। ওয়ালশ, সম্পাদক, স্যাটিসের হ্যান্ডবুক fi ক্ষমতা, অংশ 1, অধ্যায় 13. আইওএস প্রেস

Comments

আমি স্টেফান সিজাইডার্সের কয়েকটি কাজ জানি, একটি সাম্প্রতিক কাগজটি দেখায় যে যখন ইনসেন্সেন্স গ্রাফটি চক্র-প্রস্থকে সীমাবদ্ধ করে দেয় যা বৃত্তাকার গাছের প্রস্থকেও অনুকরণ করে (যদিও এখানে আমাদের এফপিটির পরিবর্তে এক্সপি রানটাইম রয়েছে)। ফ্রেডরিখ স্লিভোভস্কি এবং স্টিফান সিজেডার, সীমাবদ্ধ চৌকি-প্রস্থ, অ্যালগরিদম এবং গণনার ফর্মুলার জন্য মডেল কাউন্টিং, খণ্ড। 8283, পি। 7 677-6877, এলএনসিএস, ২০১৩ আমি জানি যে এই ধরণের ফলাফলগুলি প্রায়শই ম্যাক্স-স্যাট অনুবাদ করে, তবে এটি নিজেই না করার পরিবর্তে এটি ইতিমধ্যে সম্পন্ন হওয়া খুব সহজ হবে।

— মার্টিন ভ্যাশেল

Answer 2

আমরা এক ধরণের সম্পত্তি পেয়েছি:

$F$$F$$x$$C$$x$$C$$C$$C$$x$$x$

দেখুন: http://arxiv.org/abs/1402.6485

এরকম আর কোন সম্পত্তি জানা আছে কি?