Operação RippleCarryCGIncByLE

Nome totalmente qualificado: Std.Arithmetic.RippleCarryCGIncByLE

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

Resumo

Incrementa um registro little-endian ys por um registro little-endian xs usando o algoritmo ripple-carry.

Descrição

Calcula ys += xs modulo 2ⁿ, onde xs e ys são registros little-endian, e Length(xs) ≤ Length(ys) = n. Observe que se Length(xs) != Length(ys), xs é preenchido com qubits inicializados 0 para corresponder ao comprimento de ys. Esta operação usa o algoritmo ripple-carry.

Referência

• arXiv:1709.06648 "Reduzir pela metade o custo da adição quântica", Craig Gidney.