Operace RippleCarryTTKIncByLE

Plně kvalifikovaný název: Std.Arithmetic.RippleCarryTTTKIncByLE

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

Shrnutí

Reverzibilní, místní ripple-nos sčítání dvou celých čísel.

Popis

Vypočítá ys += xs modulo 2ⁿ, kde xs a ys jsou malé endian registry a Length(xs) ≤ Length(ys) = n. Tato operace používá algoritmus ripple-carry. Všimněte si, že pokud length(ys) >= Length(xs)+2, xs je vycpaný 0-inicializovanými qubity tak, aby odpovídaly délce ys. V opačném případě operace nepoužívá žádné pomocné qubity.

Odkazy

• arXiv:0910.2530 "Kvantové sčítací obvody a neomezený ventilátor", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro