Я подозреваю, что лучше Гровера в этих целях пока не придумали. К сожалению, поскольку сокращение перебора Гровером тут будет явно не достаточным для полноценного применения (при решении обычным перебором сложность растет экспоненциально в зависимости от глубины, и хорошо бы иметь полиномиальное решение, а не экспоненту, хотя и сокращенную как в Гровере в 2 раза).
Так же мне представляется, что для синтеза/оптимизации квантовых алгоритмов на них самих, потребуется городить не самый компактный оракул из кучи C-U, CC-U и т.д., где к примеру контроллируемую операцию U мы вынуждены задавать не квантовой переменной, как хотелось бы, а константой, поскольку архитектура квантовых компьютеров пока не фон-Неймановского типа (конечно, что-то можно упрятать в функции/макросы или некое подобие микрокода, но ведь это лишь чисто визуально упростит исходный код, а при исполнении все равно развернется) :(
Есть исследования в области автоматичиского синетза/оптимизации квантовых алгоритмов (схем). До уровня алгоритмов Гровера или Шора конечно еще далеко, но лично я в свое время пользовался автоматически синтезированнными/оптимизированными схемами например отсюда: uwspace.uwaterloo.ca/bitstream/handle/10012/7818/Amy_Matthew.pdf
Так же мне представляется, что для синтеза/оптимизации квантовых алгоритмов на них самих, потребуется городить не самый компактный оракул из кучи C-U, CC-U и т.д., где к примеру контроллируемую операцию U мы вынуждены задавать не квантовой переменной, как хотелось бы, а константой, поскольку архитектура квантовых компьютеров пока не фон-Неймановского типа (конечно, что-то можно упрятать в функции/макросы или некое подобие микрокода, но ведь это лишь чисто визуально упростит исходный код, а при исполнении все равно развернется) :(