Operasi RippleCarryCGIncByLE

Nama yang sepenuhnya memenuhi syarat: Std.Arithmetic.RippleCarryCGIncByLE

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

Ringkasan

Menaikkan register little-endian ys oleh register xs little-endian menggunakan algoritma ripple-carry.

Deskripsi

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

Referensi

• arXiv: 1709.06648 "Mengurangi separuh biaya penambahan kuantum", Craig Gidney.