Immerman–Szelepcsényi theorem
= Immerman–Szelepcsényi theorem
{c}
{wiki}
The Immerman–Szelepcsényi theorem states that $\mathbf{NL}=\mathbf{co\text{-}NL}$. Its proof uses <inductive counting> of reachable configurations.
= Immerman–Szelepcsényi theorem
{c}
{wiki}
The Immerman–Szelepcsényi theorem states that $\mathbf{NL}=\mathbf{co\text{-}NL}$. Its proof uses <inductive counting> of reachable configurations.