]> 2026-05-20T14:30:55+00:00 Theorems in computational complexity theory 14 en Theorems in computational complexity theory Blum's speedup theorem 0 en Blum's speedup theorem Cook–Levin theorem 0 en Cook-Levin theorem Fagin's theorem 0 en Fagin's theorem Gap theorem 0 en Gap theorem Karp–Lipton theorem 0 en Karp-Lipton theorem Linear speedup theorem 0 en Linear speedup theorem Master theorem (analysis of algorithms) 0 en Master Theorem No free lunch in search and optimization 0 en No free lunch in search and optimization PCP theorem 0 en Quantum PCP theorem Savitch's theorem 0 en Savitch's theorem Schaefer's dichotomy theorem 0 en Schaefer's dichotomy theorem Sipser–Lautemann theorem 0 en Sipser-Lautemann theorem Space hierarchy theorem 0 en Space hierarchy theorem Speedup theorem 0 en Speedup theorem Structured program theorem 0 en Structured program theorem Time hierarchy theorem 0 en Time Hierarchy Theorem Valiant–Vazirani theorem 0 en Valiant-Vazirani theorem Blum's speedup theorem 0 en Blum's speedup theorem Cook–Levin theorem 0 en Cook-Levin theorem Fagin's theorem 0 en Fagin's theorem Gap theorem 0 en Gap theorem Karp–Lipton theorem 0 en Karp-Lipton theorem Linear speedup theorem 0 en Linear speedup theorem Master theorem (analysis of algorithms) 0 en Master Theorem No free lunch in search and optimization 0 en No free lunch in search and optimization PCP theorem 0 en Quantum PCP theorem Savitch's theorem 0 en Savitch's theorem Schaefer's dichotomy theorem 0 en Schaefer's dichotomy theorem Sipser–Lautemann theorem 0 en Sipser-Lautemann theorem Space hierarchy theorem 0 en Space hierarchy theorem Speedup theorem 0 en Speedup theorem Structured program theorem 0 en Structured program theorem Time hierarchy theorem 0 en Time Hierarchy Theorem Valiant–Vazirani theorem 0 en Valiant-Vazirani theorem INST 102 en INST