Valiant Vazirani Theorem: Computational Complexity Theory, Leslie

Sipser Lautemann Theorem: Computational Complexity Theory, Polynomial Hierarchy, Michael

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

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

Schaefer's Dichotomy Theorem: Computational Complexity Theory, Computer Science, NP Complete