|
Прикладная дискретная математика. Приложение, 2013, выпуск 6, страницы 123–125
(Mi pdma110)
|
|
|
|
Вычислительные методы в дискретной математике
Алгоритм поиска запретов булевых функций
Д. В. Рябоконь Национальный исследовательский Томский государственный университет
Аннотация:
Предложен алгоритм поиска запрета булевой функции, основанный на методе ветвей и границ и позволяющий находить некоторый запрет булевой функции, запрет минимальной длины или все запреты до заданной длины.
Ключевые слова:
запрет булевой функции, граф де Брёйна.
Образец цитирования:
Д. В. Рябоконь, “Алгоритм поиска запретов булевых функций”, ПДМ. Приложение, 2013, № 6, 123–125
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma110 https://www.mathnet.ru/rus/pdma/y2013/i6/p123
|
|