Сложность решения систем булевых уравнений

Смотреть оглавление

Торговый код: 645248

Сложность решения систем булевых уравнений: монография / С.П. Горшков, А.В. Тарасов. – Москва: КУРС, 2017. – 19 с.

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