</math>PSPACE是计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合，是Polynomial SPACE的简称。
形式化定义.如果规定 formula_1 为至多 formula_2 空间内能被确定型图灵机解决的问题的集合（formula_3 是输入大小 formula_4 的函数），那么，PSPACE可被形式化地定义为：PSPACE真包含上下文有关语言，这种语言等价于线性有界非确定图灵机。尽管至今没有证明，但一般认为，将P中的确定型图灵机更改为非