En "Computación cuántica e información cuántica" de Mike e Ike, el algoritmo de Grover se explica con gran detalle. Sin embargo, en el libro, y en todas las explicaciones que he encontrado en línea para el algoritmo de Grover, parece que no se menciona cómo se construye el Oráculo de Grover, a menos que ya sepamos qué estado es lo que estamos buscando, lo que frustra el propósito de algoritmo. Específicamente, mi pregunta es la siguiente: dado algo de f (x) tal que para algún valor de x, f (x) = 1, pero para todos los demás, f (x) = 0, ¿cómo se construye un oráculo que nos sacará de nuestro estado inicial arbitrario | x> | y> to | x> | y + f (x)>? Se agradecería mucho la mayor cantidad de detalles explícitos posible (¿quizás un ejemplo?). Si tal construcción para cualquier función arbitraria es posible con Hadamard, Pauli u otras puertas cuánticas estándar,