Välj åtgärd

Fullständigt kvalificerat namn: Std.TableLookup.Select

operation Select(data : Bool[][], address : Qubit[], target : Qubit[]) : Unit is Adj + Ctl

Sammanfattning

Utför tabellsökning med hjälp av ett SELECT-nätverk

Beskrivning

Om vi antar att ett nollinitierat target register initierar den här åtgärden den med bitsträngarna i data i index enligt beräkningsvärdena för address registret.

Indata

data

De klassiska tabelluppslagsdata som förbereds i target med avseende på tillståndet i address. Datalängden måste vara mindre än 2ⁿ, där n är längden på address. Varje post i data måste ha samma längd som måste vara lika med längden på target.

adress

Adressregister

mål

Nollinitierat målregister

Anmärkningar

Implementeringen av SELECT-nätverket baseras på unary-kodning enligt [1]. Den rekursiva implementeringen av den algoritmen visas i [3]. Den angränsande varianten optimeras med hjälp av en måttbaserad unlookup-åtgärd [3]. Den kontrollerade angränsande varianten är inte optimerad med den här tekniken.

Referenser

1. arXiv:1805.03662 "Koda elektronisk spektra i kvantkretsar med linjär T-komplexitet"
2. arXiv:1905.07682 "Windowed aritmetic"
3. arXiv:2211.01133 "Tabellsökning optimerad för utrymmestid"