Apakah waktu kuasi polinomial di PSPACE?

14

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

Huck menjawabnya sepenuhnya. Terima kasih :)

Tayfun Pay
sumber
1
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
2
Bisakah Anda menghapus bagian "komentar" sepenuhnya? Saya kira itu tidak tepat.
Jukka Suomela
1
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

Jawaban:

27

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.QPPSPSEBUAHCEPQPPSPSEBUAHCE

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.PPSPSEBUAHCEQPPSPSEBUAHCE

Memang kita memiliki bahwa , tetapi Q P P S P A C E tidak memisahkan dua kelas oleh THT (sebagaimana dinyatakan dalam pertanyaan ).PSPSEBUAHCEQPPSPSEBUAHCEEXPQPPSPSEBUAHCE

Huck Bennett
sumber