В работе рассматриваются распределения начального состояния решения задачи 3-sat в унитарных операторах с помощью алгоритма Гровера. В докладе предложено развитие данного подхода для возможности факторизации решения 3-sat задачи.

Мурзина А.А. (науч. рук. Буздалов М.В.) Моделирование распределения начального состояния решения задачи 3-sat унитарными операторами // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/8858