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 |
|