О генерической NP-полноте проблемы выполнимости булевых схем
Генерический подход к алгоритмическим проблемам предложен Каповичем, Мясниковым, Шуппом и Шпильрайном в 2003 г. В рамках этого подхода алгоритмическая проблема рассматривается не на всём множестве входов, а на некотором подмножестве «почти всех» входов. Понятие «почти все» формализуется введением...
| Опубликовано в: : | Прикладная дискретная математика № 47. С. 101-107 |
|---|---|
| Главный автор: | Рыбалов, Александр Николаевич |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000708538 Перейти в каталог НБ ТГУ |
Похожие документы
-
О генерической NP-полноте проблемы выполнимости булевых формул
по: Рыбалов, Александр Николаевич -
О генерической сложности решения уравнений над бициклическим моноидом
по: Лопатин, Артем Анатольевич -
Математическая логика. Дискретные функции. Теория алгоритмов [учебное пособие для вузов по направлению подготовки (специальности) 090301 - "Компьютерная безопасность", 090303 - "Информационная безопасность автоматизированных систем"]
по: Глухов, Михаил Михайлович доктор физ.-мат. наук
Публикация: (2012) -
Основы теории булевых функций
по: Перязев, Николай Алексеевич
Публикация: (1999) -
Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
по: Пашкова, Наталья Николаевна
