KnowraSavitch's theoremLinked fromLinked fromThe 2 pages that link to Savitch's theorem, each with the reason it gives.All 2Related 1Compared with 1Space complexityRelated: It relates deterministic and nondeterministic space requirements.Immerman–Szelepcsényi theoremCompared with: It also reasons about reachability, but by recursive search rather than inductive counting.