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

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

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

dc.contributor	Казанский федеральный университет
dc.contributor.author	Мубаракзянов Рустам Гамирович
dc.date.accessioned	2017-07-10T13:37:20Z
dc.date.available	2017-07-10T13:37:20Z
dc.date.issued	2017
dc.identifier.citation	Мубаракзянов Р. Г. Сложность проблемы "Выполнимость" для бинарных программ / Р. Г. Мубаракзянов // Проблемы теоретической кибернетики: материалы XVIII международной конференции(Пенза 19-23 июня 2017). - М.: Макс Пресс, 2017.- С. 179-182.
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/115800
dc.description.abstract	В работе исследуется сожность проверки выполнимости различных видов бинарных программ. Обобщая простейшую из них (OBDD), показано начиная с какого момента проблема становится NP-полной.
dc.language.iso	ru
dc.relation.ispartofseries	Проблемы теоретической кибернетики: материалы XVIII международной конференции(Пенза 19-23 июня 2017).
dc.rights	открытый доступ
dc.subject	Бинарные программы
dc.subject	OBDD
dc.subject	NP-полнота
dc.subject.other	Кибернетика
dc.title	Сложность проблемы "Выполнимость" для бинарных программ
dc.type	Thesis
dc.contributor.org	Институт вычислительной математики и информационных технологий
dc.description.pages
dc.pub-id	161211