RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2018, том 25, выпуск 3, страницы 126–151 (Mi da904)

Эта публикация цитируется в 1 статье

О сложности минимизации квазициклических булевых функций

И. П. Чухров

Институт автоматизации проектирования РАН, ул. 2-я Брестская, 19/18, 123056 Москва, Россия

Аннотация: Исследуются булевы функции, которые сочетают экстремальные значения характеристик сложности минимизации, неприменимость локальных методов сокращения трудоёмкости перебора и невозможность эффективного использования достаточных условий минимальности. Построены квазициклические функции, которые обладают свойствами циклических и поясковых функций, доминирования множеств вершин, выполнимостью достаточных условий минимальности, основанных на независимых семействах множеств. Для таких функций получены экспоненциальные нижние оценки протяжённости и специальных множеств, а также дважды экспоненциальная нижняя оценка числа кратчайших и минимальных комплексов граней с различными множествами собственных вершин. Библиогр. 13.

Ключевые слова: минимизация булевых функций, сложность, протяжённость, доминирование, семейство независимых множеств.

УДК: 519.714.7

Статья поступила: 24.11.2017
Переработанный вариант: 19.01.2018

DOI: 10.17377/daio.2018.25.601


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2018, 12:3, 426–441

Реферативные базы данных:


© МИАН, 2024