8
স্যাট উপর সেরা উচ্চতর সীমা
ইন আরেকটি থ্রেড , জো Fitzsimons সম্পর্কে জিজ্ঞাসা "3SAT সেরা বর্তমান নিম্ন সীমা।" আমি অন্য পথে যেতে চাই: 3 এসএটের সেরা বর্তমানের উপরের সীমানা কোনটি? অন্য কথায়, সর্বাধিক দক্ষ স্যাট সমাধানকারী সময়ের জটিলতা কী? বিশেষত, এসএটি-র জন্য একটি উপ-তদন্তকারী (তবুও অতি-বহুভুজের) অ্যালগরিদমটি পাওয়া কি অনুমেয়?