Complexity classes
Probabilistic complexity theory
NP
IP
Interactive proof system
Bounded-error probabilistic polynomial
PP
Randomized algorithm
XTR
Theoretical computer science
Computational complexity theory
Applied mathematics