Advanced
Theory of Computation
Q82 / 100
What is the Immerman-Szelepcsényi theorem?
Correct! Well done.
Incorrect.
The correct answer is B) NSPACE(f(n)) is closed under complement for all space-constructible f(n) ≥ log n, proving NL = co-NL
B
Correct Answer
NSPACE(f(n)) is closed under complement for all space-constructible f(n) ≥ log n, proving NL = co-NL
Explanation
Immerman and Szelepcsényi independently proved NL = co-NL (1987/1988) using inductive counting: the complement of graph reachability is in NL.
Progress
82/100