Операция RippleCarryCGAddLE

Полное имя: Std.Arithmetic.RippleCarryCGAddLE

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

Сводка

Задает нулевые инициализированные маленькие регистры zs в сумме маленьких регистров xs и ys с помощью алгоритма рябли-переноски.

Описание

Вычисляет zs := xs + ys + zs[0] modulo 2ⁿ, где xs, ys и zs являются маленькими регистрами, Length(xs) = Length(ys) ≤ Length(zs) = n, если zs имеет значение 0-инициализировано, за исключением, возможно, zs[0], которая может использоваться в этой операции алгоритм рябли. ПРИМЕЧАНИЕ. zs[Length(xs)] можно использовать в качестве выполнения, если zs больше xs.

Ссылка

• arXiv:1709.06648 "Сокращение стоимости квантового дополнения", Крейг Джиддни.