РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ
2008
Исследуется оригинальный эвристический алгоритм последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача: нахождение пригодного разбиения на множестве аргументов, т. е. такого, по которому функция разделима. Поиск пригодного разбиения существенно ускоряется путем предварительного обнаружения его следов. В рамках экспериментальной системы оценивается эффективность алгоритма, определяются границы его практического применения.
Закревский А. Д., Торопов Н. Р. РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2008;(4(20)):41-49.
Цитирование
Список литературы