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

Ж. вычисл. матем. и матем. физ., 2015, том 55, номер 7, страницы 1266–1280 (Mi zvmmf10242)

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

Кратчайшие и минимальные дизъюнктивные нормальные формы полных функций

Ю. В. Максимовab

a 127051 Москва, Большой Каретный переулок, 19, стр. 1, ИППИ РАН
b 141700 Долгопрудный М.о., Институтский пер., 9, МФТИ

Аннотация: Почти всем булевым функциям от $n$ переменных, число нулей $k$ которых не превышает $\log_2n-\log_2\log_2n+1$, может быть сопоставлена некоторая булева функция от $2^{k-1}-1$ переменой с $k$ нулями (полная функция) так, что сложность реализации исходной функции в классе дизъюнктивных нормальных форм определяется исключительно сложностью реализации полной функции. В работе установлена асимптотически точная граница для минимального возможного числа литералов, содержащихся в дизъюнктивных нормальных формах полной функции. Библ. 14. Фиг. 1.

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

УДК: 519.7

Поступила в редакцию: 17.06.2014

DOI: 10.7868/S0044466915070108


 Англоязычная версия: Computational Mathematics and Mathematical Physics, 2015, 55:7, 1242–1255

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


© МИАН, 2024