Operace IncByLEUsingAddLE

Plně kvalifikovaný název: Std.Arithmetic.IncByLEUsingAddLE

operation IncByLEUsingAddLE(forwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), backwardAdder : ((Qubit[], Qubit[], Qubit[]) => Unit is Adj), xs : Qubit[], ys : Qubit[]) : Unit is Adj + Ctl

Shrnutí

Obecná operace pro přeměnu dvou místních doplňků na jeden místní doplněk

Popis

Tato implementace umožňuje zadat dva odlišné doplňky pro směr dopředu a dozadu. Dopředný doplněk se vždy použije ve své variantě těla, zatímco zpětný doplněk se vždy použije ve své doplňkové variantě. Proto je možné použít například ripple-provedení out-of-place adder vzad směru, aby nevyžaduje žádné T brány.

Řízená varianta je také optimalizována způsobem, který vše, ale doplňky jsou řízeny,

Odkaz

• arXiv:2012.01624 "Kvantový blok lookahead adders and the wait for magic states", Craig Gidney.