Savitch's theorem

ID: savitch-s-theorem

Savitch's theorem by Wikipedia Bot 0
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).

New to topics? Read the docs here!