КВАНТОВОЕ И КЛАССИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕТВЯЩИХСЯ ПРОГРАММ

Συγγραφείς: Гайнутдинова, Аида

Θεματικοί όροι: ВЕТВЯЩИЕСЯ ПРОГРАММЫ, СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ, КВАНТОВОЕ И КЛАССИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/kvantovoe-i-klassicheskoe-modelirovanie-vetvyaschihsya-programm
http://cyberleninka.ru/article_covers/15129006.png

Классические и квантовые ветвящиеся программы

Συνεισφορές: Институт вычислительной математики и информационных технологий

Πηγή: RU05CLSL05CEOR05C170306

Θεματικοί όροι: ветвящиеся программы, Кибернетика -- Учебные издания для высших учебных заведений

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=128178

Квантовое и классическое моделирование ветвящихся программ

Πηγή: Ученые записки Казанского университета. Серия Физико-математические науки.

Θεματικοί όροι: ВЕТВЯЩИЕСЯ ПРОГРАММЫ, СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ, КВАНТОВОЕ И КЛАССИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/kvantovoe-i-klassicheskoe-modelirovanie-vetvyaschihsya-programm
http://cyberleninka.ru/article_covers/15129006.png

Классические и квантовые ветвящиеся программы

Συγγραφείς: Аблаев Ф. М. (Фарид Мансурович), Васильев А. В. (Александр Валерьевич)

Συνεισφορές: Институт вычислительной математики и информационных технологий

Πηγή: RU05CLSL05CEOR05C170306

Θεματικοί όροι: Кибернетика -- Учебные издания для высших учебных заведений, ветвящиеся программы

Relation: http://rour.neicon.ru:80/xmlui/bitstream/rour/128178/1/nora.pdf; https://openrepository.ru/article?id=128178

Διαθεσιμότητα: https://openrepository.ru/article?id=128178

Lower bounds for branching programs with bounded repetitions on search problems ; Нижние оценки для ветвящихся программ с ограниченными повторениями на задачи поиска

Συγγραφείς: Софронова Анастасия Александровна, Sofronova Anastasia Aleksandrovna

Συνεισφορές: Кноп Александр Анатольевич, Knop Aleksandr Anatolevic, Соколов Дмитрий Олегович, Sokolov Dmitrij Olegovic

Θεματικοί όροι: сложность доказательств, ветвящиеся программы, ограниченные повторения, нижние оценки, proof complexity, branching programs, bounded repetitions, lower bounds

Relation: 074035; http://hdl.handle.net/11701/30943

Διαθεσιμότητα: http://hdl.handle.net/11701/30943

On proof systems based on binary decision diagrams ; Системы доказательств, основанные на диаграммах принятия решений

Συγγραφείς: Смирнов Петр Юрьевич, Smirnov Petr Urevic

Συνεισφορές: Кноп Александр Анатольевич, Knop Aleksandr Anatolevic, Ицыксон Дмитрий Михайлович, Icykson Dmitrij Mihajlovic

Θεματικοί όροι: сложность доказательств, цейтинские формулы, регулярная резолюция, однопроходные ветвящиеся программы, системы Фреге константной глубины, proof complexity, Tseitin formulas, regular resolution, read-once branching programs, constant-depth Frege systems

Relation: 071688; http://hdl.handle.net/11701/26787

Διαθεσιμότητα: http://hdl.handle.net/11701/26787

Эффективные алгоритмы в модели квантовых ветвящихся программ

Συγγραφείς: Кухарчук, И. В.

Θεματικοί όροι: авторефераты диссертаций, квантовые вычисления, алгоритм, ветвящиеся программы

Relation: https://openrepository.ru/article?id=216497

Διαθεσιμότητα: https://openrepository.ru/article?id=216497

Эффективные алгоритмы в модели квантовых ветвящихся программ

Συγγραφείς: Кухарчук, И. В.

Όροι ευρετηρίου: авторефераты диссертаций, квантовые вычисления, алгоритм, ветвящиеся программы, Abstract of the thesis

Σύνδεσμος: http://hdl.handle.net/rour/216497uri

Классические и квантовые ветвящиеся программы

Συγγραφείς: Аблаев Ф. М. (Фарид Мансурович), Васильев А. В. (Александр Валерьевич)

Πηγή: RU05CLSL05CEOR05C170306

Όροι ευρετηρίου: Кибернетика -- Учебные издания для высших учебных заведений, ветвящиеся программы, eBook

Σύνδεσμος: http://hdl.handle.net/rour/128178uri