সংক্ষিপ্ত প্রশ্ন: এমএজে -3 সিএনএফ হ'ল একাধিক-হ্রাসের আওতায় পিপি-সম্পূর্ণ সমস্যা?
দীর্ঘতম সংস্করণ: এটি সুপরিচিত যে MAJSAT (প্রস্তাবিত বাক্যটির বেশিরভাগ কার্যভার বাক্যটি সন্তুষ্ট করে কিনা তা নির্ধারণ করে) বহু-একক হ্রাসের আওতায় পিপি-সম্পূর্ণ এবং # স্যাট পার্সিমোনিয়াস হ্রাসের অধীনে # পি-সম্পূর্ণ। এটাও স্পষ্ট যে # 3CNF (অর্থাৎ, #SAT 3-CNF সূত্রে সীমাবদ্ধ) # পি-সম্পূর্ণ, কারণ কুক-লেভিন হ্রাস পার্সামোনাস এবং একটি 3-CNF উত্পাদন করে (এই হ্রাসটি আসলে পাপাদিমিট্রিয়োর বইতে ব্যবহৃত হয়েছিল) # স্যাট # পি-সম্পূর্ণতা দেখান)।
দেখে মনে হচ্ছে যে অনুরূপ যুক্তি প্রমাণ করতে হবে যে এমএজে -3 সিএনএফ পিপি-সম্পূর্ণ হ'ল বহু-এক হ্রাসের অধীনে (এমএজে-কেসিএনএফ MACSF কে কেএনএন সূত্রের মধ্যে সীমাবদ্ধ; এটি প্রতিটি অনুচ্ছেদে কে আক্ষরিক)।
তবে, বেইলি, ডালমাউ এবং কোলাইটিসের একটি উপস্থাপনায়, "পিপি-সম্পূর্ণ সন্তুষ্টিজনিত সমস্যার ফেজ ট্রানজিশন", লেখকরা উল্লেখ করেছেন যে "এমএজে 3 এস্যাট পিপি-কমপ্লিট হিসাবে পরিচিত নয়" (উপস্থাপনাটি https: //users.soe.ucsc এ রয়েছে .edu / ola কোলাইটিস / টকস / পিপিপিসে 4. পিপিটি )। এই বাক্যটি তাদের সম্পর্কিত কাগজপত্রগুলিতে প্রদর্শিত হবে বলে মনে হয় না, কেবল তাদের উপস্থাপনায়।
প্রশ্ন: এমএজি 3 সিএনএফ পিপি-সম্পূর্ণ কিনা তা প্রমাণের জন্য # 3 সিএনএফ # পি-সম্পূর্ণ প্রমাণটি কী সত্যই অভিযোজিত হতে পারে? বেইলি এট আলজের বিবৃতি দেওয়া, মনে হয় না; যদি প্রমাণটি বহন করে না, তবে: এমএজে -3 সিএনএফ পিপি-সম্পূর্ণ বলে প্রমাণ রয়েছে কি? যদি তা না হয়, তবে পিপি এবং # পি মধ্যে এই ফলাফলের সাথে পার্থক্য সম্পর্কে কিছু অন্তর্দৃষ্টি আছে?