Dalam "Quantum Computation and Quantum Information" Mike dan Ike, algoritma Grover dijelaskan dengan sangat terperinci. Namun, dalam buku ini, dan dalam semua penjelasan yang saya temukan online untuk algoritma Grover, tampaknya tidak disebutkan tentang bagaimana Oracle dibangun, kecuali kita sudah tahu negara bagian mana yang sedang kita cari, mengalahkan tujuan dari Grover. algoritma. Secara khusus, pertanyaan saya adalah ini: diberikan beberapa f (x) sedemikian rupa sehingga untuk beberapa nilai x, f (x) = 1, tetapi untuk semua yang lain, f (x) = 0, bagaimana seseorang membangun oracle yang akan membawa kita dari awal, keadaan arbitrer | x> | y> ke | x> | y + f (x)> kami? Detail eksplisit sebanyak mungkin (mungkin contoh?) Akan sangat dihargai. Jika konstruksi untuk fungsi sewenang-wenang semacam itu dimungkinkan dengan Hadamard, Pauli, atau gerbang kuantum standar lainnya,