Операция RippleCarryCGIncByLE

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

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

Сводка

Увеличивает маленький конечную регистр ys по маленьким регистрам xs с помощью алгоритма рябли-переноски.

Описание

Вычисляет ys += xs modulo 2ⁿ, где xs и ys являются маленькими регистрами и length(xs) ≤ Length(ys) = n. Обратите внимание, что если length(xs) != Length(ys), xs заполняется 0-инициализированными кубитами, чтобы соответствовать длине ys. Эта операция использует алгоритм рябь-переноски.

Ссылка

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