# Polynomial-Space (PSPACE) The class of decision problems solvable by a Turing machine in polynomial space. ## Known relationships - [[Interactive Proof Systems|IP]] = PSPACE - [[Interactive Proof Systems|IP]] != PSPACE in the [[Random Oracle Model]] — [[CCG+94 - The random oracle hypothesis is false|CCG+94]]