Operacja RippleCarryTTKIncByLE

W pełni kwalifikowana nazwa: Std.Arithmetic.RippleCarryTTKIncByLE

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

Podsumowanie

Odwracalny, w miejscu falujący dodatek dwóch liczb całkowitych.

Opis

Oblicza ys += xs modulo 2ⁿ, gdzie xs i ys są małymi rejestrami endian i Length(xs) ≤ Length(ys) = n. Ta operacja używa algorytmu przenoszenia fal. Należy pamiętać, że jeśli długość (ys) >= Length(xs)+2, xs jest wypełniony 0 zainicjowanymi kubitami, aby dopasować długość ys. Operacja nie używa żadnych kubitów pomocniczych w przeciwnym razie.

Źródła

• arXiv:0910.2530 "Quantum Add Circuits and Unbounded Fan-Out", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro