정규화된 이름: 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 "Quantum block lookahead adders and wait for magic states", Craig Gidney.