পজিটিভ সিএনএফ-স্যাটে সন্তোষজনক কার্যের সংখ্যা গণনা করা হচ্ছে


13

আমরা প্রদত্ত জেনারেল বুলিয়ান সূত্র (সিএনএফ-স্যাট), একটি প্রদত্ত ডিএনএফ সূত্র, এমনকি একটি প্রদত্ত 2 এসএটি সূত্র একটি # পি-সম্পূর্ণ সমস্যা হিসাবে সন্তোষজনক নিয়োগের সংখ্যা গণনা করার সমস্যাটি আমরা জানি ।

এখন, কোনও সিএনএফ-স্যাট বিবেচনা করুন কোনও নেতিবাচক আক্ষরিক (না , সর্বদা )। সিদ্ধান্তের সমস্যাটি খুব সহজ (সমস্ত ভেরিয়েবলগুলি সত্যে নির্ধারণ করুন এবং কার্যনির্বাহটি সূত্রটি সন্তুষ্ট করছে কিনা তা পরীক্ষা করে দেখুন) তবে সন্তোষজনক কার্যের সংখ্যা গণনা সম্পর্কে কী বলা যায়? এটিতে কি বহু-কালীন অ্যালগরিদম থাকে? অথবা এটি # পি-সম্পূর্ণ সমস্যা।¬AA

উত্তর:


20

এটি এখনও # পি-সম্পূর্ণ [1]। এই সমস্যাটি সাধারণত মন্টোন (#) স্যাট হিসাবে পরিচিত। মনোোটোন # 2-এসএটি ইতিমধ্যে # পি-সম্পূর্ণ (এটি কোনও গ্রাফের ভার্টেক্স কভার গণনার সমতুল্য)।

[1] রথ, ড্যান। "আনুমানিক যুক্তির কঠোরতায়।" কৃত্রিম বুদ্ধিমত্তা 82.1-2 (1996): 273-302।


14

এই সমস্যাটি মনোোটোন-স্যাট। এটি কুক হ্রাসের অধীনে # পি-সম্পূর্ণ। এটি সেই সমস্যাগুলির মধ্যে একটি যা "সিদ্ধান্ত নেওয়া সহজ তবে গণনা করা শক্ত।" আমি নিম্নলিখিত কাগজ সুপারিশ। পি-তে সিদ্ধান্ত সংস্করণ সহ শক্ত গণনা সমস্যাগুলির স্ব-হ্রাসযোগ্যতা

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.