Opération RippleCarryTTKIncByLE

Nom complet : Std.Arithmetic.RippleCarryTTKIncByLE

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

Résumé

L’addition réversible et sur place de l’ondulation sur place de deux entiers.

Descriptif

Calcule ys += xs modulo 2ⁿ, où xs et ys sont des registres little-endian, et Length(xs) ≤ Length(ys) = n. Cette opération utilise l’algorithme de transport d’ondes. Notez que si Length(ys) >= Length(xs)+2, xs est rembourré avec des qubits 0 initialisés pour correspondre à la longueur de ys. L’opération n’utilise pas de qubits auxiliaires dans le cas contraire.

Références

• arXiv :0910.2530 « Quantum Addition Circuits and Unbounded Fan-Out », Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro