О сложности нахождения корней булевых матричных полиномов

Рассматриваются вопросы нахождения корней булевых матричных полиномов, а также оценки количества этих корней. Предложен метод нахождения корней булевых матричных полиномов с помощью сведения к решению системы булевых алгебраических уравнений и далее — к экземпляру задачи «Выполнимость». Проведено сравнение различных способов нахождения корней приведенных булевых матричных полиномов. Приведены результаты компьютерных экспериментов.