# স্যাট সমস্যাটি হ'ল ক্যানোনিকাল # পি-সম্পূর্ণ সমস্যা। এটি কোনও সিদ্ধান্ত সমস্যার পরিবর্তে একটি ফাংশন সমস্যা। এটা তোলে জিজ্ঞেস করে, একটি বুলিয়ান সূত্র দেওয়া propositional যুক্তিবিজ্ঞান, কত পরিতৃপ্ত বরাদ্দকরণ এফ হয়েছে। # স্যাট উপরের নিম্নতম সীমাটি কোনটি?
উত্তর:
আমার জ্ঞানের কাছে, কেউ নির্ণয়কারী অ্যালগরিদমের উপর কোনও নিম্ন সীমানায় # গণসংযোগ সমাধান "সম্পত্তি কীভাবে কাজে লাগাতে পারেন তা বুঝতে পারেনি, সুতরাং দুর্ভাগ্যক্রমে # এসএটি-র জন্য সর্বাধিক পরিচিত নিম্নতর সীমাটি মূলত স্যাট-এর মতোই।
তবে কিছুটা অগ্রগতি হয়েছে। লক্ষ্য করুন #SAT সিদ্ধান্ত সংস্করণ "সংখ্যাগরিষ্ঠ-স্যাট" বলা হয়: একটি সূত্র দেওয়া, অন্তত না সম্ভব বরাদ্দকরণ এটা সন্তুষ্ট করেছেন? "সংখ্যাগরিষ্ঠ-স্যাট" হয় -complete এবং সংখ্যাগরিষ্ঠ-স্যাট জন্য একটি অ্যালগরিদম দেওয়া এক করতে পারেন সমাধান #SAT সঙ্গে হে ( ঢ ) আলগোরিদিম কল।
লোকেরা # এসএটি (যা স্যাট ধার্য করতে পারে না) এর জন্য নীচের সীমানায় পৌঁছেছে তার নিকটতমটি "মেজরিটি-অফ-মেজরিটি-স্যাট" এর জন্য নিম্ন সীমানা সহ: এক্স এবং ওয়াইয়ের দুটি সেটের একটি প্রস্তাবিত সূত্র দেওয়া হয়েছে , অন্তত জন্য সম্ভব বরাদ্দকরণ এর এক্স , এটা কি সত্যি যে অন্তত হয় 1 / 2 থেকে বরাদ্দকরণ এর ওয়াই সূত্র Satisfiable করা? এই সমস্যাটি গণনা বিভাগের "দ্বিতীয় স্তরের" (শ্রেণিতে )। কোয়ান্টাম সময়-স্থান নিম্ন সীমা (এবং আরও) এই শ্রেণীর জন্য পরিচিত।
Http://pages.cs.wisc.edu/~dieter/Papers/sat-lb-survey-fttcs.pdf এ সমীক্ষা এই দিকনির্দেশের ফলাফলগুলির একটি ওভারভিউ দেয়।
এছাড়াও, # এসএটি সম্পূর্ণরূপে বহুপদী র্যান্ডমাইজড আনুমানিক পরিকল্পনা (এফপিআরএস) নেই unless ।