TY - JOUR T1 - РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ JF - Информатика AU - Закревский А. Д., AU - Торопов Н. Р., Y1 - 2018-11-09 UR - https://www.academjournals.by/publication/18915 N2 - Исследуется оригинальный эвристический алгоритм последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача:  нахождение пригодного разбиения на множестве аргументов, т. е. такого, по которому функция разделима. Поиск пригодного разбиения существенно ускоряется путем предварительного обнаружения его следов. В рамках экспериментальной системы оценивается эффективность алгоритма, определяются границы его практического применения.