ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2010, ТОМ 16, ВЫПУСК 7, СТР. 197-204
Е. А. Поцелуевская
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
В настоящей работе приводится алгоритм перевода булевых функций
в классы функций, для которых обобщённая задача выполнимости
решается за полиномиальное время (классы Шефера).
Для случая, когда исходная функция задана таблицей истинности,
доказано, что сложность алгоритма составляет
Полнотекстовая версия статьи в формате PDF (112 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k10/k107/k10709h.htm
Изменения вносились 21 октября 2011 г.