dankwiki

Savitch's Theorem

f(n) ≥ log(n) implies that NSPACE(f(n)) ⊆ DSPACE(f(n)²), thus

  • PSPACE = NSPACE
  • NL ⊆ L²
Retrieved from "https://nick-black.com/dankwiki/index.php?title=Savitch%27s_Theorem&oldid=5178"