Сложность проблемы "Выполнимость" для бинарных программ

Мубаракзянов Рустам Гамирович

Главная
→
Институты и другие подразделения
→
Институт вычислительной математики и информационных технологий
→
Научные публикации сотрудников
→
Просмотр элемента

Сложность проблемы "Выполнимость" для бинарных программ

Мубаракзянов Рустам Гамирович

URI: http://dspace.kpfu.ru/xmlui/handle/net/115800

Дата: 2017

Аннотации:

В работе исследуется сожность проверки выполнимости различных видов бинарных программ. Обобщая простейшую из них (OBDD), показано начиная с какого момента проблема становится NP-полной.

Показать полную информацию