PSPACE中的准多项式时间吗？

我已经对此进行了一些搜索，但是我都无法找到答案。

哈克完全回答了。谢谢：）

cc.complexity-theory complexity-classes time-complexity space-complexity

— Tayfun Pay
source

您能否将“问题内的评论”移至实际评论。

— Suresh Venkat

@Suresh，我认为没有足够的空间吗？我不确定。

— Tayfun Pay，

您能否完全删除“注释”部分？我认为这不合适。

— Jukka Suomela 2011年

尽你所能，除去其余的。并将其发布在Huck的答案中。在原始问题中插入答案注释是不合适的

— Suresh Venkat

这是一个简单的参数，它表明在PSPACE中尚不知道QP：

假设。然后我们有，其中第一个包含是根据时间层次定理确定的。 $QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

这会将与不知道要保留的分开，因此也必须不知道要保留。 $P$ $PSPACE$ $QP \subseteq PSPACE$

确实，我们有，但是并没有用THT分隔这两个类（如问题所述）。 $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— 哈克·贝内特
source