Pertanyaan yang diberi tag «unique-solution»

Kelas kompleksitas terdiri dari masalah-masalah yang dapat diputuskan oleh mesin Turing waktu polinomial nondeterministic yang memiliki paling banyak satu yang menerima jalur komputasi. Artinya, solusinya, jika ada, unik dalam pengertian ini. Diperkirakan sangat tidak mungkin bahwa semua masalah ada di , karena oleh Teorema Valiant-Vazirani ini akan menyiratkan keruntuhan .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

The Valiant-Vazirani teorema mengatakan bahwa jika ada algoritma waktu polinomial (deterministik atau acak) untuk membedakan antara formula SAT yang memiliki tepat satu tugas memuaskan, dan formula unsatisfiable - maka NP = RP . Teorema ini dibuktikan dengan menunjukkan bahwa UNIQUE-SAT adalah NP -hard dalam pengurangan acak . Tunduk pada dugaan …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Pertimbangkan masalah berikut: diberikan formula CNF dan tugas yang memenuhi formula ini, adakah tugas lain yang memuaskan untuk formula ini? Apa kompleksitas masalah ini? (Ini pasti di NP, tetapi juga NP-keras?) Bagaimana jika Anda tidak diberi tugas dan Anda hanya ingin memutuskan apakah formula memiliki tugas memuaskan yang unik? Terima …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

EDIT di 2011/02/08: Setelah beberapa referensi menemukan dan membaca, saya memutuskan untuk memisahkan pertanyaan asli menjadi dua yang terpisah. Inilah bagian tentang UP vs NP, untuk bagian kelas sintaksis dan semantik silakan lihat Manfaat untuk kelas sintaksis dan semantik . U PUP\mathsf{UP} (waktu polinomial yang jelas, lihatwikidankebun binatanguntuk referensi) didefinisikan …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru. Bukti apa yang kita miliki untuk ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Berikut UPUP\mathsf{UP} adalah kelas bahasa dikenali oleh waktu non-deterministik mesin Turing polinomial yang memiliki jalur menerima unik pada "ya" contoh dan tidak ada menerima path pada "tidak" …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Saya mencari tahu apakah ada hasil umum tentang atau contoh tentang kelengkapan NP dari masalah menemukan solusi kedua untuk masalah NP-lengkap. Lebih tepatnya, saya tertarik dengan masalah apa pun dari formulir berikut: Diberikan solusi untuk contoh dari masalah NP-complete, apakah ada solusi untuk ?SSSsayaIIS′≠ SS′≠SS' \neq SsayaII Setiap contoh masalah …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Pembukaan. Kelas kompleksitas AM adalah masalah-masalah yang dapat diselesaikan dengan sistem bukti interaktif dua putaran antara prover "Merlin" dan verifier "Arthur". Masalah - yang menguji beberapa properti dari objek X - adalah pada AM jika: Untuk contoh YA , untuk pesan "tantangan" acak (panjang polinomial) yang dihasilkan Arthur, dengan probabilitas …

15 cc.complexity-theory  interactive-proofs  unique-solution 

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 

Masalah " kedua " adalah masalah menentukan keberadaan solusi lain yang berbeda dari beberapa solusi yang diberikan misalnya masalah.XXX Untuk beberapa masalah -complete, versi solusi kedua adalah N P -complete (memutuskan keberadaan solusi lain untuk masalah penyelesaian persegi Latin parsial) sementara untuk yang lain itu adalah sepele (SAT SATU NAE) …

11 cc.complexity-theory  unique-solution