Bukti apa yang kita miliki untuk


17

Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru.

Bukti apa yang kita miliki untuk ?UPNP

Berikut 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" contoh.

Jelas , tapi mengapa kita akan percaya bahwa penahanan yang ketat? Bukti yang saya dapat menemukan adalah pemisahan oracle : tunduk pada oracle acak, PU PN P . Juga, Kebun Binatang Kompleksitas menunjukkan bahwa U P tidak diyakini memiliki masalah lengkap.UPNPPUPNPUP



@ Hsien-ChihChang 張顯 之 hm, mungkin pertanyaan saya rangkap. Jika Anda berpikir begitu, saya dapat menandainya untuk dihapus.
Sasho Nikolov

4
Saya rasa ini bukan duplikat. Saya akan berpikir bahwa jawaban untuk pertanyaan lain akan dihitung sebagai jawaban untuk yang satu ini, tetapi tidak harus sebaliknya - mungkin ada alasan untuk percaya yang bukan dari bentuk "Jika N P = U P , kemudian beberapa konsekuensi kompleksitas buruk lainnya terjadi. " NPUPNP=UP
Joshua Grochow

2
Bukti terbaik adalah bahwa kami memiliki batas atas sub-eksponensial pada beberapa masalah alami yang tidak dapat dipecahkan di UP (seperti versi keputusan logaritma diskrit dan faktorisasi bilangan bulat) sementara kami tidak dapat menemukan batas atas tersebut untuk masalah lengkap NP tertentu seperti 3SAT. Batas atas seperti itu untuk 3SAT tidak mungkin dengan asumsi hipotesis waktu Eksponensial.
Mohammad Al-Turkistany

1
@ MohammadAl-Turkistany: Tapi masalahnya ada di , jadi jika N P = U P , maka mereka hanya akan berada di N Pc o N P , jadi tidak akan menjadi N P -lengkap kecuali N P = c o N P ...UPcoUPNP=UPNPcoNPNPNP=coNP
Joshua Grochow

Jawaban:


5

Bahkan, Selman, dan Yacobi menduga bahwa ada tidak ada seorang beririsan -pair ( A , B ) sehingga semua pemisah dari ( A , B ) adalah p T -Hard untuk N P . Dugaan ini menyiratkan bahwa U P N P .NP(A,B)(A,B)TpNPUPNP

S. Even, A. Selman, dan J. Yacobi. Kompleksitas masalah janji dengan aplikasi ke kriptografi kunci publik. Informasi dan Kontrol, 61: 159–173, 1984.


1
Ini juga berfungsi sebagai jawaban yang baik untuk posting terkait cstheory.stackexchange.com/questions/3887/…
Mohammad Al-Turkistany

1
Dugaan kuat ini juga menyiratkan bahwa . NPcHaiNP
Mohammad Al-Turkistany
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.