Polynomial-Space (PSPACE)

The class of decision problems solvable by a Turing machine in polynomial space.

Known relationships

• IP = PSPACE
• IP != PSPACE in the Random Oracle Model — CCG+94