|
О минимизации булевых функций для аддитивных мер сложности
И. П. Чухров Институт автоматизации проектирования РАН,
ул. 2-я Брестская, 19/18, 123056, Москва, Россия
Аннотация:
Задача минимизации булевых функций для аддитивных мер сложности в геометрической интерпретации, как покрытие гранями подмножества вершин в единичном кубе, является специальным видом комбинаторной постановки взвешенной задачи о минимальном покрытии множества.
Специфика определяется семейством покрывающих подмножеств, которые являются гранями в единичном кубе и содержатся в множестве единичных вершин функции, и мерой сложности граней, которая задаёт вес граней при вычислении сложности покрытия.
Для меры сложности требуется неотрицательность, монотонность по включению граней и равенство для изоморфных граней.
Для аддитивных мер сложности вводится классификация по порядку роста сложности граней в зависимости от размерности куба и исследуются характеристики сложности минимизации почти всех булевых функций. Библиогр. 11.
Ключевые слова:
грань единичного куба, комплекс граней, булева функция, мера сложности, минимальный комплекс граней.
Статья поступила: 23.11.2018 Переработанный вариант: 14.05.2019 Принята к публикации: 05.06.2019
Образец цитирования:
И. П. Чухров, “О минимизации булевых функций для аддитивных мер сложности”, Дискретн. анализ и исслед. опер., 26:3 (2019), 115–140; J. Appl. Industr. Math., 13:3 (2019), 418–435
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da933 https://www.mathnet.ru/rus/da/v26/i3/p115
|
Статистика просмотров: |
Страница аннотации: | 252 | PDF полного текста: | 37 | Список литературы: | 32 |
|