CUSTIS
Сайт CUSTIS →
Вакансии
Блог команды
Архив событий
Архив публикаций
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Поиск
 
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Чистый HTML
→M$WORD
→OOffice

2SAT — различия между версиями

Материал из CustisWiki

Перейти к: навигация, поиск
м (реплицировано из внутренней CustisWiki)
м (Содержимое страницы заменено на «#REDIRECT [[discopal:{{PAGENAME}}]]»)
 
(не показаны 3 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
[[2SAT]] или «2-Выполнимость» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем два терма.
+
#REDIRECT [[discopal:{{PAGENAME}}]]
−
 
+
−
Эта задача полиномиально разрешима (т.е. лежит в классе [[P]]) алгоритмом [[2SAT:Решение]].
+
−
 
+
−
[[Category:Задачи]]
+
−
{{replicate-from-custiswiki-to-lib}}
+

Текущая версия на 20:21, 13 июня 2011

  1. REDIRECT discopal:2SAT
Источник — «http://lib.custis.ru/index.php?title=2SAT&oldid=27229»