格罗弗算法
在量子计算中,Grover算法,也称为量子搜索算法,是指用于非结构化搜索的量子算法,该算法高概率地找到产生特定输出值的黑盒函数的唯一输入,仅使用仅)函数的评估,其中是函数域的大小。它是由Lov Grover在1996年设计的。
经典计算中的类似问题不能在少于评估(因为平均而言,必须检查一半的域才能获得50%的机会找到正确的输入)。Charles H. Bennett,Ethan Bernstein,Gilles Brassard和Umesh Vazirani证明,该问题的任何量子解决方案都需要评估函数次,所以格罗弗的算法是渐近最优的。 由于NP完全问题的经典算法需要指数级的许多步骤,并且Grover算法最多提供非结构化搜索的经典解决方案的二次加速,这表明Grover算法本身不会为NP完全问题提供多项式时间解(因为指数函数的平方根是指数函数,而不是多项式函数)。
与其他量子算法不同,其他量子算法可能比经典算法提供指数加速,Grover的算法仅提供二次加速。然而,即使是二次加速比在以下情况下也是相当大的N很大,Grover的算法可以应用于加速广泛的算法类别。 Grover的算法可以在大约264次迭代中暴力破解128位对称加密密钥,或者在大约2128次迭代中暴力破解256位密钥。因此,有时有人建议将对称密钥长度加倍以防止未来的量子攻击。
应用和限制
Grover的算法,以及振幅放大等变体,可用于加速广泛的算法。特别是,NP完全问题的算法通常包含穷举搜索作为子例程,这可以通过Grover算法加速。目前3SAT的最佳算法就是这样一个例子。通用约束满足问题也见格罗弗的二次加速这些算法不要求以预言机的形式给出输入,因为Grover的算法是与显式函数一起应用的,例如检查一组位是否满足3SAT实例的函数。
Grover算法还可以为量子查询复杂性中的黑盒问题提供可证明的加速,包括元素独特性和碰撞问题(用Brassard-Høyer-Tapp算法解决)。在这些类型的问题中,将预言机函数f视为数据库,目标是尽可能少地使用该函数的量子查询。
密码学
格罗弗的算法本质上解决了函数反演的任务。粗略地说,如果我们有一个函数可以在量子计算机上进行评估,格罗弗的算法允许我们计算给予时.因此,Grover的算法为对称密钥密码学上的多种暴力攻击提供了广泛的渐近加速,包括碰撞攻击和前像攻击。然而,这可能不一定是最有效的算法,因为,例如,并行rho算法能够比Grover算法更有效地找到SHA2中的碰撞。
限制
Grover的原始论文将该算法描述为数据库搜索算法,这种描述仍然很常见。这个类比中的数据库是所有函数输出的表,由相应的输入索引。但是,此数据库未显式表示。相反,调用预言机来按索引评估项目。逐项读取完整的数据库并将其转换为这样的表示形式可能比 Grover 的搜索花费更长的时间。为了解释这种效应,Grover的算法可以被视为求解方程或满足约束。在此类应用程序中,oracle 是一种检查约束的方法,与搜索算法无关。这种分离通常会阻止算法优化,而传统的搜索算法通常依赖于此类优化并避免详尽搜索。
从Grover算法实例化加速的主要障碍是,实现的二次加速比太小,无法克服近期量子计算机的巨大开销。然而,具有更好硬件性能的后代容错量子计算机可能能够实现实际数据实例的这些加速。
问题描述
作为格罗弗算法的输入,假设我们有一个函数.在“非结构化数据库”类比中,域表示数据库的索引,并且 f(x) = 1 当且仅当 x 指向的数据满足搜索条件。我们还假设只有一个索引满足 f(x) = 1,我们称之为索引 ω。我们的目标是识别ω。
我们可以使用一个子例程(有时称为预言机)以酉运算符 Uω 的形式访问 f,其作用如下:
这使用-维状态空间 ,由寄存器提供 量子比特。 这通常写为
格罗弗算法输出 ω 的概率至少为 1/2,使用Uω的应用通过多次运行 Grover 算法,可以任意放大此概率。如果运行 Grover 算法直到找到 ω,则预期的应用程序数量仍然是,因为它平均只会运行两次。
替代预言机定义
本节比较上述预言机与预言机.
Uω 不同于函数 f 的标准量子预言机。这个标准的预言机,在这里表示为 Uf,使用辅助量子比特系统。然后,该操作表示主系统上的反转(NOT 门),该反转(NOT 门)由辅助系统的 f(x) 值调节:
或简单地说,
这些预言机通常使用非计算来实现。
如果我们给定 U f 作为我们的预言机,那么我们也可以实现 U ω,因为当辅助量子比特处于状态时,U ω 是 U f:
因此,无论给出哪个预言机,Grover的算法都可以运行。 如果给定 Uf,那么我们必须在状态中维护一个额外的量子比特并用 Uf 代替 Uω。
算法
Grover算法的步骤如下:
- 将系统初始化为所有状态的均匀叠加
- 2.执行以下“格罗弗迭代”次:
- 1.应用运算符
- 2.应用格罗弗扩散运算符
- 3.在计算基础中测量生成的量子态。
对于正确选择的值,输出将为N ≫ 1 的概率接近 1。分析表明,此最终值为满足.
实现此算法的步骤可以使用量子比特数线性的门数来完成。 因此,该算法的门复杂度为或每次迭代。
正确性的几何证明
格罗弗算法有一个几何解释,根据观察,格罗弗算法的量子态在每一步后都停留在二维子空间中。考虑跨越的平面和;等价地,跨越的平面由和垂直的 ket .
格罗弗算法从初始 ket 开始,位于子空间中。操作员是正交的超平面处的反射对于跨越的平面中的向量和,即它充当跨.这可以通过写作看到以基本反射器的形式:
操作员是一种反思.两个运算符和取跨越的平面中的状态和到飞机中的状态。因此,Grover 的算法在整个算法中都停留在这个平面上。
检查操作员是否简单每个 Grover 迭代步骤将状态向量旋转的角度. 因此,通过足够的迭代,可以从初始状态旋转到所需的输出状态.初始 ket 接近正交的状态:
在几何术语中,角度之间和由
当状态向量接近;在此之后,后续迭代将状态向量旋转远离,降低了获得正确答案的概率。测量正确答案的确切概率是
其中 r 是 Grover 迭代的(整数)次数。因此,我们获得接近最佳测量值的最早时间是.
代数正确性证明
为了完成代数分析,我们需要找出当我们反复应用时会发生什么.一种自然的方法是对矩阵进行特征值分析。请注意,在整个计算过程中,算法的状态是和.我们可以写下动作和在跨越的空间中如:
所以在基础(既不是正交的,也不是整个空间的基础)动作申请数量其次由矩阵给出
这个矩阵恰好有一个非常方便的乔丹形式。如果我们定义将上式改写为(所谓Jordan form)
where
因此,矩阵的第 r 次幂(对应于 r 迭代)为
使用这种形式,我们可以使用三角恒等式来计算上一节提到的 r 迭代后观察到 ω 的概率,
或者,人们可以合理地想象,当角度2 rt和-2rt尽可能远时,区分的接近最佳时间是,这对应于或.然后系统处于状态
现在,简短的计算表明,观测结果产生正确答案 ω 并有误差
扩展和变体
多个匹配条目
如果有 k 个匹配条目,而不是 1 个匹配条目,则相同的算法有效,但迭代次数必须而不是
如果 k 未知,有几种方法可以处理这种情况。 一个简单的解决方案在恒定因子下以最佳方式执行:对于越来越小的 k 值重复运行 Grover 算法,例如,取 k = N, N/2, N/4, …,依此类推,取迭代 T,直到找到匹配的条目。
以足够高的概率,将通过迭代找到标记的条目对于一些常数 c。因此,所经历的迭代总数最多为
该算法的一个版本用于解决碰撞问题。
量子部分搜索
格罗弗算法的修改称为量子部分搜索,由格罗弗和拉达克里希南在2004年描述。在部分搜索中,人们不感兴趣的是找到目标项目的确切地址,只找到地址的前几位数字。等价地,我们可以考虑将搜索空间“分块”为块,然后询问“目标项在哪个块中?在许多应用程序中,如果目标地址包含所需的信息,则此类搜索会产生足够的信息。例如,使用L. K. Grover给出的例子,如果一个人有一个按班级排名组织的学生名单,我们可能只对学生是否处于较低的25%,25-50%,50-75%或75-100%百分位感兴趣。
为了描述部分搜索,我们认为将数据库分为块,每个大小.部分搜索问题更容易。考虑一下我们经典采用的方法——我们随机选择一个块,然后对其余块进行正常搜索(在集合论语言中,补语)。如果我们没有找到目标,那么我们知道它就在我们没有搜索的块中。平均迭代次数从不适用自.
格罗弗算法需要迭 代。部分搜索将因取决于块数的数字因素而更快.部分搜索用途全局迭代和本地迭代。指定全局格罗弗操作员并指定了当地的格罗弗操作员.
全局格罗弗运算符作用于块。本质上,它给出如下:
- 1.执行对整个数据库进行标准 Grover 迭代。
- 2.执行本地格罗弗迭代。局部 Grover 迭代是每个块的 Grover 迭代的直接总和。
- 3.执行一次标准格罗弗迭代。
的最优值和在Grover和Radhakrishnan的论文中进行了讨论。人们可能还想知道,如果以不同的“分辨率”级别应用连续的部分搜索会发生什么。弗拉基米尔·科列宾(Vladimir Korepin)和徐(Xu)详细研究了这个想法,他们称之为二进制量子搜索。他们证明,这实际上并不比执行单个部分搜索更快。
最优性
格罗弗算法在子常数因子下是最优的。也就是说,任何仅使用运算符 Uω 访问数据库的算法都必须应用 Uω 至少是格罗弗算法的几倍。将格罗弗算法扩展到k个匹配条目,(π(N/k)^(1/2))/4,也是最优的。这一结果对于理解量子计算的局限性非常重要。
如果 Grover 搜索问题可以通过 Uω 的对数c N 应用来解决,这意味着 NP 包含在 BQP 中,通过将 NP 中的问题转换为 Grover 类型的搜索问题。Grover算法的最优性表明量子计算机无法在多项式时间内解决NP-完全问题,因此NP不包含在BQP中。
已经表明,一类非局部隐变量量子计算机可以实现对-最多在项目数据库中步骤。这比格罗弗算法采取的步骤。
原文地址:
https://en.wikipedia.org/wiki/Grover%27s_algorithm
在知识共享 署名-相同方式共享 3.0协议之条款下提供