Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Версия от 13:15, 3 июня 2012; Kirelagin (обсуждение | вклад)
Определеньки надо бы вынести из теорем.
Я, видимо, туплю, но я не понимаю, как …
Кирилл Елагин 14:15, 3 июня 2012 (GST)
Определеньки надо бы вынести из теорем.
Я, видимо, туплю, но я не понимаю, как [math]\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}[/math]…
Кирилл Елагин 14:15, 3 июня 2012 (GST)
