Apakah


12

Bisakah kita membuktikan bahwa untuk setiap bahasa yang bukan N P -hard (ini mengasumsikan PN P ), P LP SAT ? Bergantian, dapatkah ini dibuktikan dengan asumsi yang masuk akal?LNPNPPNPPLPSAT


Saya pikir pertanyaan ini memiliki jawaban yang konyol: Let , maka dipastikan P LP SAT setelah Anda menganggap bahwa PN P . Jadi Anda mungkin ingin, masih mengasumsikan PN P , L berada di N PP dan bukan N P-keras . [Sunting: Oh, saya membaca komentar Anda di bawah, jadi pertanyaan Anda tampaknya adalah: "Apakah itu benar bahwa untuk semua L seperti itu , ketidaksetaraan terjadi?", Daripada "Apakah ada L seperti ituLPNPPLPSATPNPPNPLNPPNPLL? "=> Saya mengedit pertanyaan Anda!]
Bruno

Jawaban:


16

Tergantung pada definisi Anda tentang NPI. Jika A tidak lengkap untuk pengurangan Turing, jawabannya adalah ya karena SAT tidak dalam .PA

Jika A hanya banyak-satu tidak lengkap maka kita tidak tahu bagaimana membuktikannya. Kami memiliki dunia yang ter-relativisasi dengan ada himpunan A di NP sehingga A tidak lengkap NP melalui reduksi banyak-satu tetapi SAT dapat dihitung dengan satu permintaan ke A. (Teorema 1.9 dalam makalah ini ).


Apakah maksud Anda Teorema 1.9?
Geoffrey Irving

Kamu benar. Tetap.
Lance Fortnow
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.