मैं हाल ही में से एक बहुत अच्छा पेपर पढ़ रहा था बहादुर और Vazirani जो दिखाता है कि अगर , फिर वहाँ नहीं सैट हल करने के लिए भी वादा है कि यह या तो unsatisfiable है या एक अद्वितीय समाधान है के तहत एक कुशल एल्गोरिथ्म हो सकता है। इस प्रकार यह दिखाते हुए कि SAT एक सबसे अधिक समाधान में होने के वादे के तहत भी एक कुशल एल्गोरिदम को स्वीकार नहीं करता है।
एक पारिश्रमिक कटौती (एक कमी जो समाधानों की संख्या को संरक्षित करती है) के माध्यम से, यह देखना आसान है कि अधिकांश एनपी-पूर्ण समस्याएं (मैं सोच सकता था) भी एक कुशल एल्गोरिथ्म को स्वीकार नहीं करता हूं यहां तक कि सबसे अधिक एक समाधान में होने के वादे के तहत भी (जब तक )। उदाहरण VERTEX-COVER, 3-SAT, MAX-CUT, 3D-MATCHING होंगे।
इसलिए मैं सोच रहा था कि क्या कोई एनपी-पूर्ण समस्या थी जो एक अद्वितीय वादे के तहत पॉली-टाइम एल्गोरिथ्म को स्वीकार करने के लिए जानी जाती थी।