Изменения

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

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

1 байт добавлено, 14:25, 3 июня 2012
Нет описания правки
}}
 
==Теорема Иммермана==
{{Определение
}}
==Теорема Иммермана==
{{ Теорема
| statement = <tex>\mathrm{coNL} = \mathrm{NL}.</tex>
Berezhkovskaya
editor
143
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/23402»

Навигация