Savitch's theorem
Sign in to savetheorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)