Операция LookAheadDKRSAddLE

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

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

Сводка

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

Описание

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

Ссылка

• arXiv:quant-ph/0406142 "логарифмическая глубинная квант-логагода надстройка", Томас Г. Дрейпер, Сэмюэль А. Кутин, Эрик М. Рейнс, Криста М. Своре