定型图灵机，得到的NPSPACE并不比PSPACE大。原因是根据萨维奇定理，formula_7，这个定理的结论指出，虽然非确定性问题需要更多时间解决，两者的空间需求还是一致的。
与其它复杂度类的关系.已经证明PSPACE和NL、P、NP、PH、EXPTIME和EXPSPACE的关系 （注意，formula_8不是formula_9）：目前已经知道，第一行和第二行中至少有一个包含关系为真包含，但是目前尚未证明任何一个。一般假定所有的包含关系均为真包含。与此相反的是，第三行中的