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

[1]: https://habrastorage.org/files/82f/a37/616/82fa376164f641cead73eb8bfc6113b2.PNG
[2]: https://habrahabr.ru/post/321778/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut