2SAT

Ссылки сюда (3) →

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

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

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

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

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