Savitch's theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)
en-GB/sɑːvɪt͡ʃɪz ˈθɪəɹəm/
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)