Изменения

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

Теорема Карпа-Липтона

23 байта добавлено, 10:26, 4 июня 2010

Нет описания правки

'''Что такое Cn <tex>C_n</tex> Решает <tex>SAT</tex>?'''

Запишем это используя квантор "<tex>\forall{}</tex>".

33

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/1466»