|
Вестник Московского университета. Серия 1: Математика. Механика, 2020, номер 4, страницы 51–53
(Mi vmumm4341)
|
|
|
|
Краткие сообщения
О неприводимости булевых функций относительно коммутативной ассоциативной операции
Г. В. Сафонов, Г. В. Боков, В. Б. Кудрявцев Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
В работе исследуется проблема представления булевых функций в виде $f_1\circ\ldots\circ f_m$, где $\circ$ — коммутативная ассоциативная операция и $f_1,\ldots,f_m$ — булевы функции меньшей арности. Для каждой коммутативной ассоциативной операции определены необходимые и достаточные условия отсутствия такого представления и найден соответствующий класс алгоритмической сложности.
Ключевые слова:
булевы функции, коммутативные ассоциативные операции, разложение, сложность.
Поступила в редакцию: 11.09.2019
Образец цитирования:
Г. В. Сафонов, Г. В. Боков, В. Б. Кудрявцев, “О неприводимости булевых функций относительно коммутативной ассоциативной операции”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 4, 51–53; Moscow University Mathematics Bulletin, 75:4 (2020), 169–171
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm4341 https://www.mathnet.ru/rus/vmumm/y2020/i4/p51
|
|