Operação RippleCarryTTKIncByLE

Nome totalmente qualificado: Std.Arithmetic.RippleCarryTTKIncByLE

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

Resumo

Reversível, in-loco ripple-carry adição de dois inteiros.

Descrição

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

Referências

• arXiv:0910.2530 "Circuitos de Adição Quântica e Fan-Out Não Associado", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro