Просмотр исходного текста страницы 2SAT

[[2SAT]] или «[[2-Выполнимость]]» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем два терма.

Эта задача полиномиально разрешима (т.е. лежит в классе [[P]]) алгоритмом [[2SAT:Решение]].

[[Category:Задачи]]
{{replicate-from-custiswiki-to-lib}}