Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
2SAT или «2-Выполнимость» — частный случай задачи SAT, в которой все дизъюнкции имеют не более чем два терма.
Эта задача полиномиально разрешима (т.е. лежит в классе P) алгоритмом 2SAT:Решение.
Внимание! Эта статья была создана путем автоматического реплицирования из внутренней базы знаний компании Заказные Информ Системы. Любые правки этой статьи могут быть перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».