PSPACEの準多項式時間ですか？

私はこれについていくつか検索しましたが、どちらの方法でも答えを見つけることができませんでした。

ハックは完全に答えました。ありがとう：）

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

— Tayfun Pay
ソース

「質問内のコメント」を実際のコメントに移動できますか。

— スレシュヴェンカト

@シュレーシュ、私はそれのための十分なスペースがあるとは思わない？私はわかりません。

— Tayfunペイ

「コメント」部分を完全に削除できますか？適切だとは思いません。

— ユッカスオメラ

できる限り置き、残りを削除します。そしてこれをハックの答えに投稿してください。元の質問内の回答にコメントを挿入することは適切ではないです

— スレシュヴェンカト

QPがPSPACEに存在することが知られていないことを示す簡単な引数を次に示します。

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

これはをから分離しますは保持することが知られていないため、も保持することがわかってはなりません。 $P$ $PSPACE$ $QP \subseteq PSPACE$

実際、ありますが、は2つのクラスをTHTで分離しません（質問で述べたように）。 $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— ハック・ベネット
ソース