정규화된 이름: Std.Arithmetic.LookAheadDKRSAddLE
operation LookAheadDKRSAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj
요약
캐리-lookahead 알고리즘을 사용하여 초기화된 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[0]은 |0> 또는 |1> 상태일 수 있으며 기내 반입으로 사용할 수 있습니다.
참고: zs[Length(xs)]zs보다 긴 경우 xs 수행으로 사용할 수 있습니다.
이 작업은 캐리 룩헤드 알고리즘을 사용합니다.
참고 문헌
- arXiv:quant-ph/0406142 "로그 깊이 양자 캐리-lookahead 가산기", 토마스 G. 드레이퍼, 새뮤얼 A. 쿠틴, 에릭 M. 레인스, 크리스타 M. 스보레