L'algorithme de recherche de Grover est un algorithme qui peut effectuer une recherche dans l'ordre de la racine carrée de la taille d'entrée. Il s'agit d'une accélération prouvable par rapport au meilleur algorithme classique, qui nécessite un temps d'ordre N pour effectuer une recherche.