Минимизация частично определенных булевых функций, представленных BDD-графами

Останин, Сергей Александрович; Кириенко, Ирина Евгеньевна

Минимизация частично определенных булевых функций, представленных BDD-графами

Останин, Сергей Александрович, Кириенко, Ирина Евгеньевна

Дата публикации: 2015

Дата публикации в реестре: 2020-03-03T19:32:48Z

Аннотация:

Предлагается модификация алгоритма построения минимального BDD-графа, являющегося реализацией частично определенной булевой функции. Алгоритм основан на использовании графа совместимости с последующим выделением клик графа с использованием дополнительных условий. Модификация алгоритма позволяет сократить количество операций при вычислении клик графа без потери точности решения.

Ключевые слова:
булевы функции, BDD-графы, минимизация булевых функций

Тип: статьи в журналах

Источник: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 89-93