Я провел некоторый поиск по этому вопросу, но так или иначе не смог найти ответ.
Гек ответил на это полностью. Благодарность :)
Я провел некоторый поиск по этому вопросу, но так или иначе не смог найти ответ.
Гек ответил на это полностью. Благодарность :)
Ответы:
Вот простой аргумент, который показывает, что QP, как известно, не находится в PSPACE:
Предположим , . Тогда имеем P ⊊ Q P ⊆ P S P A C E , где первое включение является правильным по теореме иерархии времени.Q P⊆ PSпA CЕ п⊊ Q P⊆ PSпA CЕ
Это отделяет от P S P A C E , который, как известно, не выполняется, поэтому Q P ⊆ P S P A C E также не должно быть известно, что оно выполняется.п пSпA CЕ Q P⊆ PSпA CЕ
Действительно , мы имеем , что , а Q P ⊈ P S P C E не разделяет эти два класса по THT (как указано в вопросе ).пSпA CЕ⊆ Q P⇒ PSпA CЕ⊊ EИксп Q P⊈ PSпA CЕ
источник