Savitch's theorem

Savitch's theorem is a result in computational complexity theory that relates the complexity classes \( \text{NL} \) (nondeterministic logarithmic space) and \( \text{L} \) (deterministic logarithmic space).