Immerman–Szelepcsényi theorem

From dankwiki

f(n) ≥ log(n) implies that NSPACE(f(n)) = co-NSPACE(f(n)).

See Also

Retrieved from "https://nick-black.com/dankwiki/index.php?title=Immerman–Szelepcsényi_theorem&oldid=5179"