Приближенные алгоритмы минимизации двоичных диаграмм решений на основе линейных преобразований переменных

В данной работе предлагаются алгоритмы приближенной минимизации бинарных диаграмм решений (BDD) на основе линейных преобразований переменных. Алгоритмы основаны на преобразованиях только над соседними переменными и имеют полиномиальную сложность относительно размера таблицы значений функции.

Статья представлена к публикации членом редколлегии: П. П. Пархоменко