Masalah NP-Complete yang mengakui algoritma yang efisien di bawah janji solusi yang unik
Saya baru-baru ini membaca makalah yang sangat bagus oleh Valiant dan Vazirani yang menunjukkan bahwa jika , maka tidak akan ada algoritma yang efisien untuk menyelesaikan SAT bahkan di bawah janji bahwa itu tidak memuaskan atau memiliki solusi yang unik. Dengan demikian menunjukkan bahwa SAT tidak...