RippleCarryCGAddLE-åtgärd

Fullständigt kvalificerat namn: Std.Arithmetic.RippleCarryCGAddLE

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

Sammanfattning

Anger ett nollinitierat little-endian register zs till summan av little-endian register xs och ys med hjälp av ripple-carry-algoritmen.

Beskrivning

Beräknar zs := xs + ys + zs[0] modulo 2ⁿ, där xs, ys och zs är little-endian register, Length(xs) = Length(ys) ≤ Length(zs) = n, förutsatt att zs är 0-initierad, förutom kanske zs[0], som kan vara Den här åtgärden använder krusnings bäralgoritmen. Obs! zs[Length(xs)] kan användas som utcheckning om zs är längre än xs.

Hänvisning

• arXiv:1709.06648 "Halvera kostnaden för kvanttillskott", Craig Gidney.