Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости — различия между версиями
Kirelagin (обсуждение | вклад) (Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...») |
Kirelagin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
Определеньки надо бы вынести из теорем. | Определеньки надо бы вынести из теорем. | ||
| − | Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}… | + | Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}</tex>… |
| − | + | [[Участник:Kirelagin|Кирилл Елагин]] 14:15, 3 июня 2012 (GST) | |
Версия 13:15, 3 июня 2012
Определеньки надо бы вынести из теорем.
Я, видимо, туплю, но я не понимаю, как …
Кирилл Елагин 14:15, 3 июня 2012 (GST)
