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

Кардаш, С. Н.

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

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

Дата публикации в реестре: 2024-03-01T13:36:45Z

Аннотация:

Рассматривается задача построения совместных (использующих общие подфункции) разложений систем булевых функций. Используются представления функций в виде дизъюнктивных нормальных форм (ДНФ), полиномов Жегалкина и полиномов Рида-Малера. Предлагается эвристический алгоритм построения разложения минимальной площади. Приводятся результаты экспериментального исследования.

Ключевые слова:
материалы конференций, полиномы Жегалкина, полиномы Рида-Малера

Тип: Article