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

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

Материал из CustisWiki

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

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

  1. REDIRECT discopal:2SAT