Pertanyaan yang diberi tag «promise-problems»

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 mengakui algoritma yang efisien …

14 np-hardness  np-complete  unique-solution  promise-problems 

(Ini adalah "upper end" dari pertanyaan saya dari lebih dari 10 bulan yang lalu di cs.stackexchange. Itu pertanyaan dan "ujung bawah" saya bertanya di sini selama 8 bulan yang lalu , yang saya juga memiliki karunia di, keduanya belum terjawab. Ini adalah tangkapan layar dari tampilan tulisan ini, jika tidak …

8 np-hardness  csp  promise-problems