Сведение с применением «регуляторов»: задача выполнимости

Привет, Хаброжители! Мы решили опубликовать отрывок из книги «Алгоритмы: разработка и применение. Классика Computers Science». Задачи SAT и 3-SAT. Допустим, имеется множество X из n булевых переменных x1, …, xn; каждая переменная может принимать значение 0 или 1 (эквиваленты false и true). Литералом по X называется одна из переменных xi или ее отрицание. Наконец, условием называется обычная дизъюнкция литералов
Читать дальше →
Сведение с применением «регуляторов»: задача выполнимости
Source: habrahabr