Category
page 1Structural complexity theory
P versus NP problem
unsolved problem in computer science about time complexity
Savitch's theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)
time hierarchy theorem
theorem
Blum axioms
axioms in computational complexity theory
Immerman–Szelepcsényi theorem
theorem
Toda's theorem
theorem