Operación RippleCarryCGIncByLE

Nombre completo: Std.Arithmetic.RippleCarryCGIncByLE

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

Resumen

Incrementa un registro little-endian ys por un registro little-endian xs mediante el algoritmo de carga ondulada.

Descripción

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

Referencia

• arXiv:1709.06648 "Reducir el costo de la adición cuántica", Craig Gidney.