LookAheadDKRSAddLE művelet

Teljes név: Std.Arithmetic.LookAheadDKRSAddLE

operation LookAheadDKRSAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj

Összefoglalás

Egy nulla inicializált kis endian regiszter zs-t állít be az xs és ys kis endian regiszterek összegére a carry-lookahead algoritmus használatával.

Leírás

Zs := xs + ys + zs[0] modulo 2ⁿ, ahol az xs, ys és zs kis endian regiszterek, Length(xs) = Length(ys) ≤ Length(zs) = n, feltételezve, hogy a zs 0-inicializált, kivéve talán a zs[0], amely lehet |0> vagy |1> állapotban, és átvitelként használható. MEGJEGYZÉS: zs[Length(xs)] akkor használható, ha zs hosszabb, mint xs. Ez a művelet a carry-lookahead algoritmust használja.

Referenciák

• arXiv:quant-ph/0406142 "A logaritmikus mélységű kvantum carry-lookahead adder", Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, Krysta M. Svore