Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости

Материал из Викиконспекты

Версия от 13:15, 3 июня 2012; Kirelagin (обсуждение | вклад) (Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

Определеньки надо бы вынести из теорем.

Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}…

~~~~

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Обсуждение:Классы_L,_NL,_coNL._NL-полнота_задачи_о_достижимости&oldid=23367»