Operación RippleCarryTTKIncByLE

Nombre completo: Std.Arithmetic.RippleCarryTTKIncByLE

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

Resumen

Suma de dos enteros reversibles, en contexto.

Descripción

Calcula ys += módulo xs 2ⁿ, donde xs e ys son registros little-endian y Length(xs) ≤ Length(ys) = n. Esta operación usa el algoritmo de carga de ondulado. Tenga en cuenta que si Length(ys) >= Length(xs)+2, xs se rellena con cúbits inicializados de 0 para que coincidan con la longitud de ys. En caso contrario, la operación no usa ningún cúbit auxiliar.

Referencias

• arXiv:0910.2530 "Circuitos de suma cuántica y fan-out sin enlazar", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro