Операция IncByLEUsingAddLE

Полное имя: Std.Arithmetic.IncByLEUsingAddLE

operation IncByLEUsingAddLE(forwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), backwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl

Сводка

Универсальная операция, чтобы превратить два надстроек на месте в одну надстройку на месте

Описание

Эта реализация позволяет указать два разных надстройки для направления вперед и назад. Переадресная надстройка всегда применяется в своем варианте тела, а обратная надстройка всегда применяется в его соседнем варианте. Таким образом, можно, например, использовать рябь-выполняющийся на месте надстройку в обратном направлении, чтобы не требовать никаких ворот T.

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

Ссылка

• arXiv:2012.01624 "Квантовый блок lookahead adders и ожидание волшебных состояний", Крейг Джиддни.