Dalam pertanyaan ini , kami tampaknya telah mengidentifikasi masalah alami yang NP-lengkap di bawah reduksi acak, tetapi mungkin tidak di bawah reduksi deterministik (meskipun ini tergantung pada asumsi yang tidak terbukti dalam teori bilangan yang benar). Apakah ada masalah lain yang diketahui? Apakah ada masalah alami yang NP-lengkap di bawah pengurangan P / poli, tetapi tidak diketahui berada di bawah pengurangan P?
20
Jawaban:
Di bawah reduksi acak dengan probabilitas (dikenal juga sebagaiγ-reducibility, pada pembahasan pengurangan acak melihat "Pada Unik satisfiability dan Acak Pengurangan") masalah12 γ
NP-complete, tetapi hal yang sama tidak diketahui untuk reduksi deterministik (sejauh yang saya tahu, untuk diskusi sedikit ketinggalan zaman tentang situasi ini lihat di sini ). -reducibility diperkenalkan di koran " reducibility, keacakan, dan intractibility " oleh Leonard Adleman dan Kenneth Manders (bukti untuk masalah di atas diusulkan juga ada).γ
Ada contoh lain seperti itu di " Katalog Kelas Kompleksitas ", tapi saya belum memeriksa apa yang diketahui tentang kelengkapan NP mereka di bawah reduksi deterministik.
sumber
Seperti yang disarankan oleh Peter, saya mengubah komentar saya menjadi jawaban.
Valiant-Vazirani Teorema menyatakan bahwa jika Unik SAT kemudian N P = R P . Untuk membuktikan teorema mereka, mereka menunjukkan bahwa masalah janji SAT Unik adalah N P-keras dalam pengurangan acak.∈ P. NP= R P NP
[1] Valiant, Leslie; Vazirani, Vijay. "NP semudah mendeteksi solusi unik", Theoretical Computer Science, 47: 85-93
sumber
Seperti yang disarankan oleh Peter, saya mengubah komentar saya menjadi sebuah jawaban:
sumber