2SAT

Материал из DISCOPAL
Перейти к: навигация, поиск

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

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

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.