In quantum computing, Grover's algorithm, also known as the quantum search algorithm, refers to a quantum algorithm for unstructured search that finds with high probability the unique input to a black box function that produces a particular output value, using just evaluations of the function, where is the size of the function's domain. It was devised by Lov Grover in 1996. The analogous problem in classical computation cannot be solved in fewer than evaluations (because, on average, one has to check half of the domain to get a 50% chance of finding the right input). At roughly the same time that Grover published his algorithm, Charles H. Bennett, Ethan Bernstein, Gilles Brassard, and Umesh Vazirani proved that any quantum solution to the problem needs to evaluate the function times, so Grover's algorithm is asymptotically optimal. Since researchers generally believe that NP-complete problems are difficult because their search spaces have essentially no structure, the optimality of Grover's algorith
En la computación cuántica, el algoritmo de Grover, también conocido como el algoritmo de búsqueda cuántica, se refiere a un algoritmo cuántico para la búsqueda no estructurada que encuentra con alta probabilidad la entrada única a una función de caja negra que produce un valor de salida particular, utilizando sólo evaluaciones de la función, donde es el tamaño del dominio de la función. Fue diseñado por Lov Grover en 1996. El problema análogo en la computación clásica no puede ser resuelto en menos de evaluaciones (porque, en promedio, uno tiene que comprobar la mitad del dominio para obtener una probabilidad del 50% de encontrar la entrada correcta). En aproximadamente la misma época en que Grover publicó su algoritmo, Charles H. Bennett, Ethan Bernstein, Gilles Brassard y Umesh Vazirani demostraron que cualquier solución cuántica al problema necesita evaluar los tiempos de función, por lo que el algoritmo de Grover es asimétricamente óptimo.