Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теорема Карпа-Липтона
23 байта добавлено
,
10:26, 4 июня 2010
Нет описания правки
'''Что такое
Cn
<tex>C_n</tex>
Решает
<tex>
SAT
</tex>
?'''
Запишем это используя квантор "<tex>\forall{}</tex>".
Diniska
33
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати