1
গ্যাপ -৩ এসএটি এনপি-সম্পূর্ণ এমনকি 3 সিএনএফ সূত্রের জন্য যেখানে ভেরিয়েবলগুলির জুড়ি গড়ের চেয়ে উল্লেখযোগ্যভাবে বেশি দফাতে উপস্থিত হয় না?
এই প্রশ্নের, একটি 3CNF সূত্র একটি CNF সূত্র যেখানে প্রতিটি দফা জড়িত মানে ঠিক তিন স্বতন্ত্র ভেরিয়েবল। ধ্রুব 0 0 s <1 এর জন্য, গ্যাপ -3 এস্যাট এস নিম্নলিখিত প্রতিশ্রুতি সমস্যা: গ্যাপ -3 এসএটি এর দৃষ্টান্ত : একটি 3 সিএনএফ সূত্র φ হ্যাঁ-প্রতিশ্রুতি : satis সন্তোষজনক। কোন-প্রতিশ্রুতি : কোন সত্য …