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

14

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

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

Тайфун Пей
источник
1
Можете ли вы переместить ваш «комментарий внутри вопроса» в фактический комментарий.
Суреш Венкат
@ Суреш, я не думаю, что есть достаточно места для этого? Я не уверена.
Tayfun Pay
2
Можете ли вы удалить часть «Комментарий» полностью? Я не думаю, что это уместно.
Юкка Суомела
1
Положите все, что можете и удалите все остальное. И опубликуйте это в ответе Хака. Неуместно вставлять ответный комментарий в исходный вопрос
Суреш Венкат

Ответы:

27

Вот простой аргумент, который показывает, что QP, как известно, не находится в PSPACE:

Предположим , . Тогда имеем P Q P P S P A C E , где первое включение является правильным по теореме иерархии времени.QппSпAСЕпQппSпAСЕ

Это отделяет от P S P A C E , который, как известно, не выполняется, поэтому Q P P S P A C E также не должно быть известно, что оно выполняется.ппSпAСЕQппSпAСЕ

Действительно , мы имеем , что , а Q P P S P C E не разделяет эти два класса по THT (как указано в вопросе ).пSпAСЕQппSпAСЕЕИкспQппSпAСЕ

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