Savitch's theorem
= Savitch's theorem
{wiki=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).