정규화된 이름: Std.Arithmetic.RippleCarryTTKIncByLE
operation RippleCarryTTKIncByLE(xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl
요약
두 정수의 역방향, 현재 위치 잔물결 캐리 추가.
설명
xs 및 ys가 little-endian 레지스터이고 Length(xs) ≤ Length(ys) = n인 ys += xs 모듈로 2를 계산합니다. 이 작업은 잔물결 운반 알고리즘을 사용합니다. Length(ys) >= Length(xs)+2이면 xs는 ys의 길이와 일치하도록 초기화된 0개의 큐비트로 채워집니다. 그렇지 않으면 작업은 보조 큐비트를 사용하지 않습니다.
참고문헌
- 아르시브:0910.2530 「양자 덧셈 회로와 무한 팬아웃」, 다카하시 야스히로, 다니 세이이치로, 쿠니히로 노보루