[论文解读] A Grover-based quantum search of optimal order for an unknown number of marked elements

Christof Zalka|ArXiv.org|Feb 12, 1999

Quantum Computing Algorithms and Architecture参考文献 1被引用 10

一句话总结

本文提出了一种基于Grover的量子搜索算法，用于在未知标记元素数量的非结构化数据库中查找标记元素。通过依次运行Grover算法并逐步增加迭代次数，该方法实现了与已知下限相匹配的最优查询复杂度，确保在不事先了解标记项数量的情况下仍具有高成功概率。

ABSTRACT

We want to find a marked element out of a black box containing N elements. When the number of marked elements is known this can be done elegantly with Grover's algorithm, a variant of which even gives a correct result with certainty. On the other hand, when the number of marked elements is not known the problem becomes more difficult. For every prescribed success probability I give an algorithm consisting of several runs of Grover's algorithm that matches a recent bound by Buhrman and de Wolf on the order of the number of queries to the black box. The improvement in the order over a previously known algorithm is small and the number of queries can clearly still be reduced by a constant factor.

研究动机与目标

• 解决当数据库中标记元素数量未知时的量子搜索挑战。
• 开发一种在不依赖标记项数量先验知识的前提下仍保持高成功概率的搜索算法。
• 实现与Buhrman和de Wolf建立的理论下限相匹配的查询复杂度。
• 通过优化查询顺序改进先前算法，尽管不一定是减少常数因子。
• 确保算法在不同标记元素数量下的正确性与效率。

提出的方法

• 使用逐步增加迭代次数的Grover算法多次运行，以搜索标记元素。
• 设计迭代序列，系统性地覆盖未知标记元素数量下的最优搜索范围。
• 应用振幅放大原理以提高测量到标记态的概率。
• 优化每次运行的迭代次数，以在覆盖范围与效率之间取得平衡，最小化总查询次数。
• 确保多次运行的累积成功概率满足预定阈值，以保证可靠性。
• 利用已知的量子查询复杂度边界，指导算法迭代计划的结构设计。

实验结果

研究问题

• RQ1 当未知标记元素数量时，搜索非结构化数据库的最优查询复杂度是什么？
• RQ2 基于Grover的算法能否在不事先知道标记项数量的情况下实现这一最优查询复杂度？
• RQ3 与先前方法相比，该算法在查询次数和成功概率方面的性能如何？
• RQ4 是否可能匹配未知标记元素数量下的查询复杂度理论下限？
• RQ5 Grover算法中的何种迭代策略可确保高成功概率的同时最小化总查询次数？

主要发现

• 所提出的算法实现了与Buhrman和de Wolf建立的理论下限相匹配的查询复杂度。
• 该方法使用迭代次数逐步增加的Grover迭代序列，以高效覆盖最优搜索范围。
• 即使不知道标记元素的数量，该算法的成功概率也被保证高于预定阈值。
• 该算法的查询次数在量级上是最优的，尽管仍可能存在常数因子的改进空间。
• 该方法表明，Grover算法中的自适应迭代调度可实现未知标记元素数量下的最优性能。
• 结果证实，Grover算法可被扩展以处理未知标记项数量的情况，且查询复杂度的开销极小。