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 xs de registro little-endian usando o algoritmo de transporte de ondulação.

Descrição

Computa ys += xs modulo 2ⁿ, em que xs e ys são registros de little-endian e Length(xs) ≤ Length(ys) = n. Observe que se Length(xs) != Length(ys), xs será adicionado com qubits inicializados de 0 para corresponder ao comprimento de ys. Essa operação usa o algoritmo de transporte de ondulação.

Referência

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