Advanced Theory of Computation
Q93 / 100

What is the relationship between NL and co-NL?

Correct! Well done.

Incorrect.

The correct answer is B) NL = co-NL by Immerman-Szelepcsényi theorem

B

Correct Answer

NL = co-NL by Immerman-Szelepcsényi theorem

Explanation

Immerman and Szelepcsényi (1987-88) proved independently that nondeterministic logspace is closed under complement: NL = co-NL. This was surprising given analogous questions at higher levels remain open.

Previous All Questions Next
Progress
93/100
🤖

Browse All Theory of Computation Questions

100 questions · beginner to advanced