coNL
#計算複雑性理論
#計算複雑性クラス
#補問題
定義
$ \textbf{coNL} := \overline{\textbf{NL}}
Immerman-Szelepcsényiの定理
:
$ \textbf{coNL} = \textbf{NL}
参考
NL