PSPACE完全
#計算複雑性理論
#完全(計算複雑性理論)
#計算複雑性クラス
#PSPACE
定義
$ L \text{ is $\mathbf{PSPACE}$-complete} \iff L \text{ is $\mathbf{PSPACE}$-hard} \land L \in \mathbf{PSPACE}
PSPACE完全問題
TQBF