Example image of eyePlorer eyePlorer map for 'PSPACE': Computational complexity theory Decision problem Polynomial Turing machine Context-sensitive language Nondeterminism Savitch's theorem EXPSPACE EXPTIME NL (complexity) NP (complexity) P (complexity) PH (complexity) Space hierarchy theorem PSPACE-complete Alternating Turing machine Descriptive complexity theory Second-order logic Transitive closure Interactive proof system IP (complexity) Polynomial-time reduction 2-EXPTIME PSPACE-hard Complexity class Serge Abiteboul NSPACE Interval-valued computation True quantified Boolean formula Adi Shamir Probabilistic Turing machine Quantum complexity theory Shannon switching game CTL* DSPACE P/poly Many-one reduction NP-hard Polynomial hierarchy BQP Phase transition Generalized geography Hypercomputation Conjunctive query QMA Game complexity List of important publications in theoretical computer science Oracle machine Time hierarchy theorem Reduction (complexity)