Apakah waktu kuasi polinomial di PSPACE?

Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban.

Huck menjawabnya sepenuhnya. Terima kasih :)

— Tayfun Pay
sumber

Bisakah Anda memindahkan "komentar di dalam pertanyaan" ke komentar yang sebenarnya.

— Suresh Venkat

@ Suresh, saya tidak berpikir ada cukup ruang untuk itu? Saya tidak yakin.

— Tayfun Bayar

Bisakah Anda menghapus bagian "komentar" sepenuhnya? Saya kira itu tidak tepat.

— Jukka Suomela

Letakkan apa pun yang Anda bisa dan hapus sisanya. Dan posting ini dalam jawaban Huck. Tidak tepat memasukkan komentar jawaban di dalam pertanyaan awal

— Suresh Venkat

Berikut argumen sederhana yang menunjukkan bahwa QP tidak diketahui berada di PSPACE:

Asumsikan . Kemudian kita memiliki , di mana inklusi pertama sesuai dengan teorema hierarki waktu. $QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

Ini memisahkan dari , yang tidak diketahui tahan, jadi juga harus tidak diketahui tahan. $P$ $PSPACE$ $QP \subseteq PSPACE$

Memang kita memiliki bahwa , tetapi tidak memisahkan dua kelas oleh THT (sebagaimana dinyatakan dalam pertanyaan ). $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— Huck Bennett
sumber