Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban.
Huck menjawabnya sepenuhnya. Terima kasih :)
Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban.
Huck menjawabnya sepenuhnya. Terima kasih :)
Jawaban:
Berikut argumen sederhana yang menunjukkan bahwa QP tidak diketahui berada di PSPACE:
Asumsikan . Kemudian kita memiliki P ⊊ Q P ⊆ P S P A C E , di mana inklusi pertama sesuai dengan teorema hierarki waktu.Q P⊆ P.SPA CE P⊊ Q P⊆P.SPSEBUAHCE
Ini memisahkan dari P S P A C E , yang tidak diketahui tahan, jadi Q P ⊆ P S P A C E juga harus tidak diketahui tahan.P PSPA CE Q P⊆ P.SPA CE
Memang kita memiliki bahwa , tetapi Q P ⊈ P S P A C E tidak memisahkan dua kelas oleh THT (sebagaimana dinyatakan dalam pertanyaan ).PSPA CE⊆ Q P⇒ P.SPA CE⊊ EXP QP⊈ P.SPSEBUAHCE
sumber