PSPACE
#計算複雑性クラス
定義
$ \textbf{PSPACE} = \bigcup_{c > 0} \textbf{SPACE}(n^c)
性質
$ \mathbf{NP} \subseteq \mathbf{PSPACE}
証明:
TQBF#631c98904507aa0000375f77
$ \textbf{PSPACE} = \textbf{NPSPACE}
証明：
TQBF#631243ae4507aa00001b9f0b
参考
SPACE
NPSPACE