Home
Random
Settings
about dankwiki
disclaimers
dankwiki
Search
Savitch's Theorem
Language
Watch
view source
Revision as of 15:32, 8 November 2012 by
Dank
(
talk
|
contribs
)
(Created page with "f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus * PSPACE = NSPACE * NL ⊆ L²
CATEGORY: Computer Science Eponyms
")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus
PSPACE = NSPACE
NL ⊆ L²
Category
:
Computer Science Eponyms