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