Check out my first novel, midnight's simulacra!

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)

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

See Also