KnowraImmerman–Szelepcsényi theoremLinked fromLinked fromThe 1 page that link to Immerman–Szelepcsényi theorem, each with the reason it gives.All 1Related 1Savitch's theoremRelated: It is another central result about nondeterministic space, proved by a different counting argument.