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

2SAT

Материал из CustisWiki

Версия от 07:38, 9 декабря 2005; BenderBot (обсуждение | вклад) (реплицировано из внутренней CustisWiki)

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

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

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


Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».

Репликация: База Знаний «Заказных Информ Систем» → «2SAT»