SNP (Complexity): Computational Complexity Theory, Class, Graph Optimization Problem, Ronald Fagin, Fagin's Theorem

Reduction (Complexity): Computability Theory, Computational Complexity Problem, Class

EXPTIME: EXPTIME, Computational Complexity theory, class, Decision problem, DTIME, P (complexity), NP...

complexity Class: Computational theory, problem, Abstract machine, Big O notation, NP (complexity),...

Space Hierarchy Theorem: Computational Complexity Theory, Deterministic Turing Machine, Decision Problem, Time Theorem