| Форма представления | Статьи в зарубежных журналах и сборниках |
| Год публикации | 2024 |
| Язык | русский |
|
Гайнутдинова Аида Фаритовна, автор
|
| Библиографическое описание на языке оригинала |
Гайнутдинова А. Ф. Квантовые и классические недетерминированные OBDD //Ученые записки Казанского университета. Серия Физико-математические науки. – 2024. – Т. 166. – №. 4. – С. 470-484. |
| Аннотация |
Исследована модель недетерминированных упорядоченных ветвящихся диаграмм решений (NOBDD). Дан метод доказательства нижней оценки сложности квантовой NOBDD. Представлены функция, имеющая линейную сложность в квантовой NOBDD и константную сложность в классической NOBDD, а также функция, имеющая одинаковую сложность в квантовой и классической моделях. Описано соотношение сложностных классов, определенных для модели OBDD. |
| Ключевые слова |
ветвящаяся программа, упорядоченная ветвящаяся диаграмма решений, OBDD, сложность, квантовый алгоритм, недетерминизм, иерархия классов сложности |
| Название журнала |
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
|
| URL |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85216233622&doi=10.26907%2f2541-7746.2024.4.470-484&partnerID=40&md5=3eb09c8bc4da2f66cf9e7b0175dcad8b |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=310599 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Гайнутдинова Аида Фаритовна |
ru_RU |
| dc.date.accessioned |
2024-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2024-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2024 |
ru_RU |
| dc.identifier.citation |
Гайнутдинова А. Ф. Квантовые и классические недетерминированные OBDD //Ученые записки Казанского университета. Серия Физико-математические науки. – 2024. – Т. 166. – №. 4. – С. 470-484. |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=310599 |
ru_RU |
| dc.description.abstract |
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki |
ru_RU |
| dc.description.abstract |
Исследована модель недетерминированных упорядоченных ветвящихся диаграмм решений (NOBDD). Дан метод доказательства нижней оценки сложности квантовой NOBDD. Представлены функция, имеющая линейную сложность в квантовой NOBDD и константную сложность в классической NOBDD, а также функция, имеющая одинаковую сложность в квантовой и классической моделях. Описано соотношение сложностных классов, определенных для модели OBDD. |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
ветвящаяся программа |
ru_RU |
| dc.subject |
упорядоченная ветвящаяся диаграмма решений |
ru_RU |
| dc.subject |
OBDD |
ru_RU |
| dc.subject |
сложность |
ru_RU |
| dc.subject |
квантовый алгоритм |
ru_RU |
| dc.subject |
недетерминизм |
ru_RU |
| dc.subject |
иерархия классов сложности |
ru_RU |
| dc.title |
Квантовые и классические недетерминированные OBDD |
ru_RU |
| dc.type |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|