Immerman–Szelepcsényi theorem

From dankwiki
Revision as of 15:33, 8 November 2012 by Dank (talk | contribs) (Created page with "f(n) ≥ log(n) implies that NSPACE(f(n)) = co-NSPACE(f(n)). ==See Also== * Savitch's Theorem CATEGORY: Computer Science Eponyms")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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"