Operazione RippleCarryTTKIncByLE

Nome completo: Std.Arithmetic.RippleCarryTTKIncByLE

operation RippleCarryTTKIncByLE(xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl

Sommario

Addizione reversibile e sul posto di due interi.

Descrizione

Calcola ys += xs modulo 2ⁿ, dove xs e ys sono registri little-endian e Length(xs) ≤ Length(ys) = n. Questa operazione usa l'algoritmo di trasporto increspamento. Si noti che se Length(ys) >= Length(xs)+2, xs viene riempito con qubit inizializzati da 0 per trovare la corrispondenza con la lunghezza di ys. In caso contrario, l'operazione non usa qubit ausiliari.

Riferimenti

• arXiv:0910.2530 "Circuiti di addizione quantistica e fan-out illimitato", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro