Чи є квазіполіномний час у PSPACE?

Я здійснив деякий пошук з цього питання, але жодного разу не зміг знайти відповідь.

Гек відповів на це повністю. Спасибі :)

— Tayfun Pay
джерело

Чи можете ви перемістити "коментар всередині питання" до фактичного коментаря.

— Суреш Венкат

@Suresh, я не думаю, що для цього достатньо місця? Я не впевнений.

— Tayfun Pay

Чи можете ви повністю видалити частину "коментаря"? Я не вважаю, що це доречно.

— Jukka Suomela

Покладіть все, що можете, а решту приберіть. І опублікуйте це у відповіді Гека. Недоречно вставляти коментар відповіді в оригінальне запитання

— Суреш Венкат

Ось простий аргумент, який показує, що QP, як відомо, не знаходиться в PSPACE:

$QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

Це відокремлює від , який, як відомо, не містить, тому також не повинен бути відомим. $P$ $PSPACE$ $QP \subseteq PSPACE$

Дійсно, ми маємо, що , але не розділяє два класи THT (як зазначено у питанні). $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— Гек Беннетт
джерело