Grover算法是一种量子算法，于1996年由计算机科学家 Lov Grover提出。假设现在有一个未知的函数，Grover算法只需对此未知的函数做 formula_1 次测试，其中formula_2为此未知函数的定义域的大小，即可以很高的概率找到一特定的输入值，此输入值能使此未知函数输出特定的值。同样的问题在经典运算下，需要至少做 formula_3 次测试 (因为在最坏的情况下，可能第formula_2个定义域里的值才是正确答案)。在Grover 发表他的算法前后，Bennett, Bernstei