|
Прикладная дискретная математика, 2009, номер 1(3), страницы 5–14
(Mi pdm49)
|
|
|
|
Теоретические основы прикладной дискретной математики
Минимизация булевых функций многих переменных в классе ДНФ – итеративный метод и программная реализация
А. Д. Закревский, Н. Р. Торопов Объединенный институт проблем информатики НАН Беларуси, г. Минск, Беларусь
Аннотация:
Предлагается итеративный алгоритм минимизации булевых функций многих переменных, основанный на использовании параллельных операций над соседними элементами в булевом пространстве аргументов. Он включает операцию быстрого нахождения элементов характеристического множества с малым числом соседей и формирования определяемых ими импликант, итеративную процедуру применения этой операции к последовательно сокращаемому характеристическому множеству и операцию приведения множества полученных конъюнктов к корректной ДНФ.
Ключевые слова:
булевы функции, ДНФ, минимизация.
Образец цитирования:
А. Д. Закревский, Н. Р. Торопов, “Минимизация булевых функций многих переменных в классе ДНФ – итеративный метод и программная реализация”, ПДМ, 2009, № 1(3), 5–14
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm49 https://www.mathnet.ru/rus/pdm/y2009/i1/p5
|
Статистика просмотров: |
Страница аннотации: | 1987 | PDF полного текста: | 1063 | Список литературы: | 84 | Первая страница: | 1 |
|