Complexity classes
PSPACE-complete
IP
Generalized geography
PSPACE
PP
ArthurMerlin protocol
Computational complexity theory
NP
P
NEXPTIME
Reduction