যদি কেউ দেখায় যে অনন্য কে-স্যাট পি-তে রয়েছে তবে এটি কি পি = এনপি বোঝায়?

Question

বাহ্যিক ও ওয়াজিরানী প্রমাণ করেছেন যে বহুবর্ষের সময় এলোমেলোভাবে সম্ভাব্য হ্রাসের অধীনে SAT অনন্য স্যাট-এর পক্ষে হ্রাসযোগ্য। ক্যালাব্রো এট আল । দেখিয়েছেন যে অনন্য কে-স্যাট কে-স্যাট-এর মতোই শক্ত। এখন প্রশ্নটি হল, যদি কেউ দেখায় যে অনন্য কে-স্যাট পি-তে রয়েছে তবে এটি কি পি = এনপি বোঝায়?

তথ্যসূত্র

1. এলজি ভ্যালিয়েন্ট এবং ভিভি ভাজেরানী, "এনপি অনন্য সমাধান সনাক্ত করার মতোই সহজ is" তাত্ত্বিক কম্পিউটার বিজ্ঞান 47: 85-93, 1986. ( সায়েন্সডাইরেক্টে পিডিএফ ।)

2. সি ক্যালাব্রো, আর ইম্পাগলিয়াজো, ভি। কাবানেটস এবং আর পাতুরি, "দ্য কমপ্লেক্সিটি অফ ইউনিক কে-স্যাট: কে-সিএনএফ-এর জন্য একটি বিচ্ছিন্ন লেমা"। কম্পিউটার ও সিস্টেম বিজ্ঞান জার্নাল 74 (3): (386-393, 2008 পিডিএফ এসিএম ডিজিটাল লাইব্রেরিতে; বিনামূল্যে পিডিএফ ।)

Comments

ভ্যালেন্ট ও ওয়াজিরানী দেখিয়েছে যে আরপি হ্রাসের আওতায় UNATBBUUUS SAT এ স্যাট হ্রাসযোগ্য। দ্বিতীয় ক্ষেত্রে আপনি স্যাট সম্পর্কে কথা বলছেন যা -হার্ড। $\mathsf{NP}$

— rus9384

Answer 1

এটি এখনও একটি মুক্ত প্রশ্ন; ইউপি এনপির সমতুল্য বলে জানা যায় না । কাগজে "দ্বারা NP যত সহজ শনাক্তকারী একটি স্বতন্ত্র সলিউশন নাও হতে পারে," Beigel, Burhman এবং Fortnow ওর্যাকল অধীনে গঠন করা পি রয়েছে ইউপি কিন্তু পি এখনও সমমানের নয় দ্বারা NP ।