1
MAJ3SAT এর পিপি-সম্পূর্ণতার স্থিতি
সংক্ষিপ্ত প্রশ্ন: এমএজে -3 সিএনএফ হ'ল একাধিক-হ্রাসের আওতায় পিপি-সম্পূর্ণ সমস্যা? দীর্ঘতম সংস্করণ: এটি সুপরিচিত যে MAJSAT (প্রস্তাবিত বাক্যটির বেশিরভাগ কার্যভার বাক্যটি সন্তুষ্ট করে কিনা তা নির্ধারণ করে) বহু-একক হ্রাসের আওতায় পিপি-সম্পূর্ণ এবং # স্যাট পার্সিমোনিয়াস হ্রাসের অধীনে # পি-সম্পূর্ণ। এটাও স্পষ্ট যে # 3CNF (অর্থাৎ, #SAT 3-CNF সূত্রে সীমাবদ্ধ) # …