Operasi RippleCarryTTKIncByLE

Nama yang sepenuhnya memenuhi syarat: Std.Arithmetic.RippleCarryTTKIncByLE

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

Ringkasan

Reversibel, di tempat ripple-carry penambahan dua bilangan bulat.

Deskripsi

Komputasi ys += xs modulo 2ⁿ, di mana xs dan ys adalah register little-endian, dan Length(xs) ≤ Length(ys) = n. Operasi ini menggunakan algoritma ripple-carry. Perhatikan bahwa jika Panjang(ys) >= Panjang(xs)+2, xs diisi dengan kubit 0 yang diinisialisasi agar sesuai dengan panjang ys. Operasi ini tidak menggunakan kubit tambahan apa pun sebaliknya.

Referensi

• arXiv:0910.2530 "Sirkuit Penambahan Kuantum dan Kipas Luar Tak Terbatas", Yasuhiro Takahashi, Seiichiro Tani, Noboru Kunihiro