정규화된 이름: Std.Arithmetic.RippleCarryCGAddLE
operation RippleCarryCGAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj
요약
리플 캐리 알고리즘을 사용하여 초기화된 little-endian register zs를 little-endian registers xs 및 ys의 합계로 설정합니다.
설명
computes zs := xs + ys + zs[0] modulo 2, 여기서 xs, ys 및 zs는 little-endian 레지스터, Length(xs) = Length(ys) ≤ Length(zs) = n, 가정 zs가 0 초기화되어 있다고 가정합니다. 이 작업은 잔물결 캐리 알고리즘을 사용합니다.
참고: zs[Length(xs)]zs보다 긴 경우 xs 수행으로 사용할 수 있습니다.
참고 문헌
- arXiv:1709.06648 "양자 추가 비용 절반", 크레이그 기드니.