通过

RippleCarryTTKIncByLE作

完全限定的名称：Std.Arithmetic.RippleCarryTTKIncByLE

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

摘要

可逆的就地波纹携带加两个整数。

说明

计算 ys += xs modulo 2ⁿ，其中 xs 和 y 是小端寄存器，而 Length（xs） ≤ Length（ys） = n。 此作使用波纹携带算法。 请注意，如果 Length（ys） >= Length（xs）+2，xs 将填充 0 初始化的量子位以匹配 ys 的长度。 否则，该作不使用任何辅助量子比特。

参考

  • arXiv：0910.2530“量子加法电路和未绑定扇出”，雅素一郎高桥，Seiichiro Tani，Noboru Kunihiro