|
Журнал вычислительной математики и математической физики, 2002, том 42, номер 6, страницы 924–928
(Mi zvmmf1187)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Тестовый подход к реализации дизъюнктивными нормальными формами булевых функций с малым числом нулей
А. Г. Дьяконов 119899 Москва, Воробьевы горы, МГУ, ВМК
Аннотация:
Предлагается алгоритм сведения задачи получения (тупиковой) дизъюнктивной нормальной формы (ДНФ) функции по ее матрице нулей размера k×n к задаче получения (тупиковой) ДНФ функции с матрицей нулей размера k×t, где t<k (а для почти всех матриц t⩽2log2k+o(log2k)). Такое сведение позволяет эффективно строить (тупиковые) ДНФ функций с малым числом нулей. Библ. 5.
Поступила в редакцию: 14.03.2001
Образец цитирования:
А. Г. Дьяконов, “Тестовый подход к реализации дизъюнктивными нормальными формами булевых функций с малым числом нулей”, Ж. вычисл. матем. и матем. физ., 42:6 (2002), 924–928; Comput. Math. Math. Phys., 42:6 (2002), 889–893
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf1187 https://www.mathnet.ru/rus/zvmmf/v42/i6/p924
|
Статистика просмотров: |
Страница аннотации: | 274 | PDF полного текста: | 103 | Список литературы: | 65 | Первая страница: | 1 |
|