|
Фундаментальная и прикладная математика, 2010, том 16, выпуск 7, страницы 197–204
(Mi fpm1370)
|
|
|
|
Приближение булевых функций к классам Шефера
Е. А. Поцелуевская Московский государственный университет им. М. В. Ломоносова
Аннотация:
В настоящей работе приводится алгоритм перевода булевых функций в классы функций, для которых обобщённая задача выполнимости решается за полиномиальное время (классы Шефера). Для случая, когда исходная функция задана таблицей истинности, доказано, что сложность алгоритма составляет $l^2+l\log_2^2(l)$, где $l$ – длина входа.
Ключевые слова:
алгоритм, булевы функции, класс Шефера, фиксация, сложность.
Образец цитирования:
Е. А. Поцелуевская, “Приближение булевых функций к классам Шефера”, Фундамент. и прикл. матем., 16:7 (2010), 197–204; J. Math. Sci., 183:3 (2012), 407–412
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm1370 https://www.mathnet.ru/rus/fpm/v16/i7/p197
|
Статистика просмотров: |
Страница аннотации: | 267 | PDF полного текста: | 143 | Список литературы: | 43 | Первая страница: | 2 |
|