Operace RippleCarryCGAddLE

Plně kvalifikovaný název: Std.Aritmetic.RippleCarryCGAddLE

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

Shrnutí

Nastaví nula-inicializovaný little-endian registr zs na součet little-endian registrys xs a ys pomocí algoritmu ripple-carry.

Popis

Vypočítá zs := xs + ys + zs[0] modulo 2ⁿ, kde xs, ys a zs jsou malé endian registry, Length(xs) = Length(ys) ≤ Length(zs) = n, za předpokladu, že zs je 0-inicializován, s výjimkou zs[0], což může být tato operace používá algoritmus ripple-carry. POZNÁMKA: zs[Length(xs)] lze použít jako provádění, pokud je zs delší než xs.

Odkaz

• arXiv:1709.06648 "Halving nákladů na kvantové sčítání", Craig Gidney.