Jika , maka apakah ?


10

Jika , maka apakah ? Saya mengajukan pertanyaan ini karena, untuk kelas non-deterministik lainnya, sepertinya selalu menetapkan bahwa mereka sama dengan rekan deterministik mereka.P=NPL=NLP=NP

Jawaban:


15

Ini adalah pertanyaan penelitian terbuka. Pada tingkat pengetahuan kami saat ini, mengetahui tidak akan menyiratkan atau . Dan, sebaliknya, mengetahui atau tidak akan menyiratkan apa pun tentang pertanyaan vs . (Tapi itu mungkin bahwa bukti dari vs akan memberitahu kita sesuatu tentang vs atau sebaliknya.)P=NPL=NLLNLL=NLLNLPNPLNLPNP

Kita tahu , di mana kesetaraan mengikuti dari teorema Savitch . Versi nondeterministic dari teorema hierarki ruang mengatakan bahwa jadi kita tahu bahwa setidaknya satu dari inklusi yang ditetapkan harus ketat. Kami agak berpikir mereka semua ketat tetapi pengetahuan kami saat ini tidak mengesampingkan subset dari mereka, selama itu termasuk setidaknya satu antara dan .LNLPNPPSPACE=NPSPACENLNPSPACENLPSPACE

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.