Konsekuensi dari NP = PSPACE


30

Apa konsekuensi buruk NP = PSPACE? Saya terkejut saya tidak menemukan apa-apa tentang ini, mengingat bahwa kelas-kelas ini adalah yang paling terkenal.

Secara khusus, apakah akan ada konsekuensi pada kelas bawah?


4
Sebuah akibat wajar langsung, atau lebih tepatnya reformulasi identitas: pemverifikasi tidak perlu mengirim pesan kembali ke pepatah, selamanya!
Alessandro Cosentino

Jawaban:


28

Jika , ini akan menyiratkan:NP=PSPACE

  • Artinya, menghitung solusi untuk masalah di N P akan polytime direduksi untuk menemukan solusi tunggal;P#P=NP
    NP

  • Yaitu, algoritma acak polinomial-waktu dengan probabilitas keberhasilan hampir mendekati 1/2 adalah polinomial-waktu yang dapat direduksi menjadi algoritma acak polinomial-waktu dengan kesalahan satu sisi, di mana instance YA diterima dengan probabilitas kecil sewenang-wenang;PP=NP

  • Yaitu, untuk masalah apa pun yang dapat diverifikasi dalam waktu polinomial, pengacakan memberikan percepatan waktu polinomial terbaik (tetapi ini hanyalah akibat wajar dari hierarki polinomial-waktu runtuh);MA=NP

  • Yaitu, setiap masalah yang dapat dipecahkan oleh komputer kuantum memiliki sertifikat yang mudah diverifikasi untuk jawabannya; ini akan menjadi hasil positif yang penting dalam filosofi mekanika kuantum, dan mungkin akan membantu upaya membangun komputer kuantum (untuk memverifikasi bahwa mereka melakukan apa yang seharusnya dilakukan).BQPNP

Semua ini adalah karena containments kelas di sisi kiri di (meskipun kami juga memiliki B Q P P P ).PSPACEBQPPP


1
Dapatkah Anda menunjukkan referensi di mana menyiratkan bahwa B Q PN P . Terima kasihNP=PSPACEBQPNP
Tayfun Bayar

2
@TayfunPay Anda pada dasarnya ingin referensi untuk . Referensi untuk itu adalah BV97 . Namun, Anda juga dapat membuktikan bahwa B Q PP P . Lihat kuliah berikut untuk intuisi tentang ini: scottaaronson.com/democritus/lec10.htmlBQPPSPACEBQPPP
Alessandro Cosentino

2
@AlessandroCosentino Ya, saya tahu bahwa dan N PP PP S P A C E . Saya kira saya hanya perlu ditunjukkan untuk mengguncang ingatan saya! Terima kasih! :)BPPBQPPPPSPACENPPPPSPACE
Tayfun Bayar

23

Satu titik yang telah secara implisit namun tidak disebutkan secara eksplisit belum adalah bahwa kita akan mendapatkan . Meskipun ini setara dengan P H yang runtuh menjadi N P , ia mengikuti langsung dari kenyataan bahwa P S P A C E ditutup dengan komplemen, yang sepele untuk dibuktikan.NP=coNPPHNPPSPACE

Saya pikir layak untuk ditunjukkan sendiri karena banyaknya konsekuensi mengejutkan yang dimilikinya: ada bukti singkat yang menyaksikan ketika grafik tidak 3-warna, * non- * Hamiltonian, ketika dua grafik adalah * non-* isomorfik, ..., dan (dalam beberapa hal lebih umum) bahwa ada beberapa sistem bukti Cook-Reckhow di mana setiap tautologi proposisional memiliki bukti sebesar polinomial.NP=coNP


12

Jika NP=PSPACE

1) Polinomial Hirarki akan runtuh .NP

2) Kita sekarang akan memiliki karena kita tahu bahwa P S P A C EN LNPNLPSPACENL

---MEMPERBARUI---

3) Diketahui bahwa , di mana mereka adalah versi yang dibatasi ruang logaritmik dari N P , C = P dan P P masing-masing. Kemudian menurut definisi tidak ada kelas kompleksitas ini bisa sama N P dengan asumsi bahwa N P = P S P A C E .NLC=LPLNPC=PPPNPNP=PSPACE


1

1
Perhatikan bahwa jika Anda menganggap NL sebagai kelas bahasa yang memiliki solusi yang dapat diverifikasi dalam logspace, bahkan jika setiap simbol solusi dibaca paling banyak satu kali (meskipun di mana secara logaritma banyak yang dapat disimpan pada pita kerja pada satu waktu) , fakta bahwa itu berbeda dari NP menunjukkan bahwa ada kelas L ' yang merupakan kerabat L , yang melibatkan Mesin Turing dengan dua kaset input tetapi di mana satu dibaca-sekali dan yang lainnya tidak, dan yang berbeda dengan P ( di mana karena seseorang memiliki ruang polinomial pada lembar kerja, batasan input baca-sekali tidak masalah).
Niel de Beaudrap

1
@dkuper Anda juga akan memilikinya PLNP, where PL is the logarithmic space bounded version of PP as well as #LNP, where #L is the logarithmic space bounded version of #P.
Tayfun Pay


1
@TayfunPay: (1) why don't you edit your answer to include the relationships from your comment? (2) How do they hold?
Niel de Beaudrap

10

Selain hasil yang ditunjukkan dalam semua jawaban lain, ada satu yang melibatkan Sistem Bukti Interaktif (sayaP), itulah generalisasi NP tempat Verifier dan Prover bertukar pesan untuk mengenali bahasa.

Diketahui bahwa sayaP=PSPSEBUAHCE, jadi jika NP=PSPSEBUAHCE, artinya hanya satu pesan yang cukup! Bagi saya yang lebih mengesankan dari hasil ini adalah bahwa Verifier tidak perlu menantang Prover dan dapat mempercayai pesan pertama yang dikirim olehnya.


Masih bisa bergantung pada implementasinya? Artinya masih akan ada prover interaktif yang membutuhkan lebih banyak pertukaran, hanya ada yang lain dengan hanya satu pesan untuk bahasa yang sama.
Denis

Well, it would mean that one message is sufficient. If I understood your question correctly, it's the same for problems in P: although there are polynomial time algorithms for them, one can still create an exponential time algorithm.
Alex Grilo

2
@AlexGrilo: hence my comment under the question :)
Alessandro Cosentino

@AlessandroCosentino Sorry, I didn't see it before
Alex Grilo
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.