Operasi LookAheadDKRSAddLE

Nama yang sepenuhnya memenuhi syarat: Std.Arithmetic.LookAheadDKRSAddLE

operation LookAheadDKRSAddLE(xs : Qubit[], ys : Qubit[], zs : Qubit[]) : Unit is Adj

Ringkasan

Mengatur register little-endian yang diinisialisasi nol zs ke jumlah register little-endian xs dan ys menggunakan algoritma carry-lookahead.

Deskripsi

Menghitung zs := xs + ys + zs[0] modulo 2ⁿ, di mana xs, ys, dan zs adalah register little-endian, Length(xs) = Length(ys) ≤ Length(zs) = n, dengan asumsi zs diinisialisasi 0, kecuali untuk mungkin zs[0], yang dapat berada dalam status |0> atau |1> dan dapat digunakan sebagai carry-in. CATATAN: zs[Length(xs)] dapat digunakan sebagai carry-out, jika zs lebih panjang dari xs. Operasi ini menggunakan algoritma carry-lookahead.

Referensi

• arXiv:quant-ph/0406142 "Adder carry-lookahead kuantum kedalaman logaritmik", Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, Krysta M. Svore