Описание
Необходимость решения систем булевых уравнений возникает в криптографии, теории кодирования, теории конечных автоматов. Основная задача, связанная с решением систем булевых уравнений, состоит в построении методов решения, имеющих по возможности наименьшую временную сложность. В работе рассматривается теоретико-сложностной подход к оценке сложности решения систем булевых уравнений. Приведены основные результаты в указанной области, позволяющие отнести исследуемый класс систем булевых уравнений к трудно или к полиномиально (быстро) решаемому классу.
Вторая часть книги посвящена описанию результатов, касающихся задач оптимизации, связанных с решением систем булевых уравнений.