RippleCarryCGAddLE 操作

完全修飾名: Microsoft.Quantum.Unstable.Arithmetic.RippleCarryCGAddLE

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

概要

ゼロ初期化のリトル エンディアン レジスタ z を、リプル キャリング アルゴリズムを使用して、リトル エンディアン レジスタ x と y の合計に設定します。

形容

zs := xs + ys + zs[0] 剰余 2ⁿ を計算します。ここで、xs、ys、zs はリトル エンディアン レジスタ、Length(xs) = Length(ys) ≤ Length(zs) = n です。ただし、zs が 0 初期化されていると仮定します。ただし、zs[0] を除きます。この演算では、リプル伝達アルゴリズムを使用できます。 注: zs[Length(xs)] は、zs が xsよりも長い場合は、実行として使用できます。

参考

• arXiv:1709.06648 "量子追加のコストを半減する", Craig Gidney.