Квазиполиномиальное время в PSPACE?

Я провел некоторый поиск по этому вопросу, но так или иначе не смог найти ответ.

Гек ответил на это полностью. Благодарность :)

— Тайфун Пей
источник

Можете ли вы переместить ваш «комментарий внутри вопроса» в фактический комментарий.

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

@ Суреш, я не думаю, что есть достаточно места для этого? Я не уверена.

— Tayfun Pay

Можете ли вы удалить часть «Комментарий» полностью? Я не думаю, что это уместно.

— Юкка Суомела

Положите все, что можете и удалите все остальное. И опубликуйте это в ответе Хака. Неуместно вставлять ответный комментарий в исходный вопрос

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

Вот простой аргумент, который показывает, что 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$

— Гек Беннетт
источник