Check out my first novel, midnight's simulacra!
Savitch's Theorem
From dankwiki
f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus
- PSPACE = NSPACE
- NL ⊆ L²
Check out my first novel, midnight's simulacra!
f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus
