Изменения

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

Теорема Кука

19 байт убрано, 14:30, 19 марта 2010
Нет описания правки
== Формулировка ==
'''Теорема Кука''' гласит, что  <tex>SAT \in NPC.</tex>
== Доказательство ==
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/474»

Навигация