RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив

Ж. вычисл. матем. и матем. физ., 2011, том 51, номер 8, страницы 1531–1540 (Mi zvmmf9532)

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

Асимптотические оценки числа решений задачи дуализации и ее обобщений

Е. В. Дюковаa, Р. М. Сотнезовb

a 119333 Москва, ул. Вавилова, 40, ВЦ РАН
b 119991 Москва, Ленинские горы, МГУ

Аннотация: Получены асимптотики типичных значений числа неприводимых покрытий и длины неприводимого покрытия булевой матрицы для случая, когда число строк $m$ не меньше числа столбцов $n$. Как следствие получены асимптотики типичных значений числа максимальных конъюнкций и ранга максимальной конъюнкции монотонной булевой функции от $n$ переменных, заданной конъюнктивной нормальной формой из $m$ элементарных дизъюнкций. Приведены аналогичные оценки для числа тупиковых покрытий и длины тупикового покрытия целочисленной матрицы (числа максимальных конъюнкций и ранга максимальной конъюнкции двузначной логической функции, заданной множеством нулей). Дан обзор результатов, полученных ранее в данной области. Библ. 18.

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

УДК: 519.712

Поступила в редакцию: 13.07.2010
Исправленный вариант: 18.01.2011


 Англоязычная версия: Computational Mathematics and Mathematical Physics, 2011, 51:8, 1431–1440

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


© МИАН, 2024