Computational complexity theory
Complexity classes
Theory of computation
Polynomial-time approximation scheme
APX
Strong NP-completeness
NP