Immerman–Szelepcsényi theorem

f(n) ≥ log(n) implies that NSPACE(f(n)) = co-NSPACE(f(n)).

See Also

• Savitch's Theorem