Персональные инструменты
 

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