Pilih operasi

Nama yang sepenuhnya memenuhi syarat: Std.TableLookup.Select

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

Ringkasan

Melakukan pencarian tabel menggunakan jaringan SELECT

Deskripsi

Dengan asumsi register target yang diinisialisasi nol, operasi ini akan menginisialisasinya dengan bitstring dalam data pada indeks sesuai dengan nilai komputasi dari address register.

Masukan

data

Data pencarian tabel klasik yang disiapkan dalam target sehubungan dengan status dalam address. Panjang data harus kurang dari 2ⁿ, di mana n adalah panjang address. Setiap entri dalam data harus memiliki panjang yang sama yang harus sama dengan panjang target.

alamat

Daftar alamat

sasaran

Register target yang diinisialisasi nol

Komentar

Implementasi jaringan SELECT didasarkan pada pengodean unary seperti yang disajikan dalam [1]. Implementasi rekursif algoritma tersebut disajikan dalam [3]. Varian adjoint dioptimalkan menggunakan operasi unlookup berbasis pengukuran [3]. Varian adjoint yang dikontrol tidak dioptimalkan menggunakan teknik ini.

Referensi

1. arXiv: 1805.03662 "Mengkodekan Spektrum Elektronik dalam Sirkuit Kuantum dengan Kompleksitas T Linier"
2. arXiv:1905.07682 "Aritmatika berjendela"
3. arXiv:2211.01133 "Pencarian tabel yang dioptimalkan ruang waktu"