Intermediate
Theory of Computation
Q57 / 100
What is Savitch's theorem?
Correct! Well done.
Incorrect.
The correct answer is B) NSPACE(f(n)) ⊆ DSPACE(f(n)²) — nondeterministic space can be simulated deterministically by squaring the space bound
B
Correct Answer
NSPACE(f(n)) ⊆ DSPACE(f(n)²) — nondeterministic space can be simulated deterministically by squaring the space bound
Explanation
Savitch's theorem shows nondeterministic and deterministic space classes are close: NPSPACE(f) ⊆ DSPACE(f²). This implies PSPACE = NPSPACE.
Progress
57/100