Квантовый алгоритм проверки матричных тождеств: различия между версиями

Перейти к навигации Перейти к поиску
м
Строка 22: Строка 22:




Эти же авторы изучали задачу проверки над булевой алгеброй f0; 1g с операциями f_; л}, где техника снятия отпечатков пальцев неприменима.
Эти же авторы изучали задачу проверки над булевой алгеброй {0, 1} с операциями <math>\{ \vee \wedge \}</math>, где техника снятия отпечатков пальцев неприменима.




Строка 28: Строка 28:




Задача 2 (умножение матриц)
'''Задача 2 (умножение матриц)'''


Дано: матрицы A, B, C размерности n х n над целочисленной областью или булевой алгеброй {0, 1}.
'''Дано:''' матрицы A, B, C размерности n х n над целочисленной областью или булевой алгеброй {0, 1}.


Требуется: найти матричное произведение C = AB над целочисленной областью или булевой алгеброй.
'''Требуется:''' найти матричное произведение C = AB над целочисленной областью или булевой алгеброй.


== Основные результаты ==
== Основные результаты ==
4501

правка

Навигация