Check out my first novel, midnight's simulacra!
Savitch's Theorem: Difference between revisions
From dankwiki
(Created page with "f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus * PSPACE = NSPACE * NL ⊆ L² CATEGORY: Computer Science Eponyms") |
(No difference)
|
Latest revision as of 15:32, 8 November 2012
f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus
- PSPACE = NSPACE
- NL ⊆ L²