RT - article
SR - Electronic
T1 - ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ –  ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ
JF - Информатика
SP - 2018-11-15
A1 - Закревский А. Д., 
YR - 2007
UL - https://www.academjournals.by/publication/18931
AB - Исследуется проблема последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача:  нахождение подходящего разбиения на множестве аргументов, т. е. такого, по которому функция разделима. Предлагается алгоритм, существенно ускоряющий поиск подходящего разбиения путем предварительного обнаружения его следов. Алгоритм формулируется в терминах булевых и троичных векторов и матриц с использованием эффективных параллельных операций над ними.