RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические вопросы криптографии // Архив

Матем. вопр. криптогр., 2015, том 6, выпуск 4, страницы 23–48 (Mi mvk166)

Функции из классов Шефера, переходящие при отрицании в другие классы Шефера

С. П. Горшков

Академия криптографии Российской Федерации, Москва

Аннотация: Мультиаффинные, биюнктивные ($2$-КРФ), слабо положительные и слабо отрицательные (хорновские) булевы функции порождают полиномиально решаемые классы систем уравнений. Эти множества булевых функций называются классами Шефера. В работе описаны множества булевых функций $f$ из классов Шефера, для которых $f$ принадлежит другому классу Шефера. Полученные результаты могут иметь приложения при решении систем булевых уравнений.

Ключевые слова: мультиаффинные булевы функции, $2$-КНФ, хорновские булевы функции, системы булевых уравнений.

УДК: 519.571

Получено 20.IV.2015

DOI: 10.4213/mvk166



Реферативные базы данных:


© МИАН, 2024