Изменения

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

Теорема Кука

19 байт убрано, 14:30, 19 марта 2010
Нет описания правки
== Формулировка ==
'''Теорема Кука''' гласит, что  <tex>SAT \in NPC.</tex>
== Доказательство ==

Навигация