Loading AI tools
算法 来自维基百科,自由的百科全书
格罗弗算法(英语:Grover's algorithm)是一种量子算法,于1996年由电脑科学家洛夫·格罗弗提出。假设现在有一个未知的函数,格罗弗算法只需测试此未知的函数次,其中为此未知函数的定义域的大小,即可以很高的概率找到一特定的输入值,此输入值能使此未知函数输出特定的值。
![]() |
同样的问题在经典运算下,需要至少做 次测试(因为在最坏的情况下,可能第个定义域里的值才是正确答案)。在格罗弗发表他的算法前后,Bennett, Bernstein, Brassard, 和 Vazirani 在相近的时间证明了,任何量子算法解决此问题都最少需要对此未知的函数做 次测试,因此格罗弗算法是渐进最优的。[1]
非局域隐变量量子计算机已经被证明可以在最多 步内实现在N个条目的数据库里的搜索,这比格罗弗算法的 还快,然而这些搜索算法并不能使量子计算机在多项式时间内解决NP-Complete 问题。[2]
不像其他的量子算法可能会比相应的经典算法有指数级的加快,格罗弗算法二次方的加快,不过当很大时二次方的加快也相当可观。格罗弗算法可以在大约 264次迭代内穷举破解一个128比特的对称密钥,在大约 2128次迭代内穷举破解一个256比特的密钥。因此,有人提倡对称密钥的长度应该加倍以因应未来的量子攻击。[3]
像其他的量子算法一样,格罗弗算法是概率性的,意味著这个算法以小于1的概率给出正确答案。虽然实际上对于需要多少次重复才能给出正确的答案并没有一个上界,但是期望的重复次数并不随成长。在格罗弗发表此算法的原始论文中称此算法为数据库搜索算法,此说法至今仍普遍。此处数据库相当于是一张存有未知函数的所有输出值的表,以对应的输入值为索引。
虽然格罗弗算法的用处一直被认为是数据库搜索,但是它也可以被认为是函数取反。
考虑一个有N个元素的无序数据集,我们设函数。我们假设,在所有的下标x中,有且仅有一个下标x有,我们记这个下标x为,并且称为这个搜索问题的解。而格罗弗算法的目标便是找到下标。为此,我们构建一个酉算子,如下
或者可以简写为
事实上,我们一般构建另一种酉算子,如下所示
我们一般将作用在态矢量和的叠加态上,以实现相回传(Phase Kickback),具体流程如下
与一般的相比,使用了一个辅助的qubit。
格罗弗算法的步骤如下
一般而言,的值会很大程度上影响得到正确结果的概率,且并不是越大得到正确结果的概率越大。分析表明最优的有,因而格罗弗算法的复杂度为
格罗弗算法使用的技巧为振幅减枝(Amplitude amplification),实则是通过将其他态的振幅转移为解的振幅,而是在测量时使得坍塌为解的概率增加。具体如下
考虑,我们将态矢量改为以为基,其中为解。写作
在这种表示下,我们可以将和表示为
我们可以通过设,将上式改写为(所谓Jordan form)
where
作用r次则将得到
注意到,我们的目的是区别解以及其他一般的数据,而为了达到这个目的,我们使的振幅差别越大越好,换言之,要使得2rt和−2rt的差别足够大,便有, 或 . 这样以来,就有
作用在初始态上将会有
简短的计算表明,格罗弗算法将具有量级的误差.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.