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

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

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

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

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

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

Date: 2017

Abstract:

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

Show full item record