[论文解读] Local Search Methods for Quantum Computers

Tad Hogg, Mehmet Fatih Yanik|ArXiv.org|Feb 16, 1998

Quantum Computing Algorithms and Architecture参考文献 36被引用 4

一句话总结

本文提出了一种用于量子计算机的局部搜索方法，利用搜索状态之间的邻域关系来求解NP难组合问题，特别是可满足性（SAT）问题。结果表明，该方法在高度约束的SAT实例中尤为有效，但由于搜索空间较小，相较于增量式量子方法，在中等约束水平下的表现较差。

ABSTRACT

Local search algorithms use the neighborhood relations among search states and often perform well for a variety of NP-hard combinatorial search problems. This paper shows how quantum computers can also use these neighborhood relations. An example of such a local quantum search is evaluated empirically for the satisfiability (SAT) problem and shown to be particularly effective for highly constrained instances. For problems with an intermediate number of constraints, it is somewhat less effective at exploiting problem structure than incremental quantum methods, in spite of the much smaller search space used by the local method.

研究动机与目标

• 将基于状态间邻域关系的经典局部搜索策略适配至量子计算，以求解NP难问题。
• 评估局部量子搜索在组合搜索问题中相较于增量式量子方法的有效性。
• 探究通过结构化搜索空间中的局部状态转移是否可实现量子加速。
• 分析在SAT问题中不同约束密度水平下的性能差异。
• 确定在搜索空间大小与结构利用之间存在的权衡关系。

提出的方法

• 该方法将搜索空间建模为图结构，其中每个节点代表一种可能的赋值，边连接仅在一个变量上不同的赋值。
• 在有希望的状态的邻域中应用量子振幅放大，以增强找到满足解的概率。
• 该算法迭代应用量子操作，以提升当前已探索解的局部邻域中状态的振幅。
• 该方法在每个当前状态周围采用固定大小的邻域，将探索限制在邻近配置中，以减少计算开销。
• 在具有不同约束数量的随机3-SAT实例上进行实验评估，以衡量在不同问题范式下的性能表现。
• 将该方法与逐步构建解的增量式量子搜索技术进行对比，突出在搜索空间利用和结构利用方面的差异。

实验结果

研究问题

• RQ1 基于邻域关系的局部搜索策略能否在量子计算中有效应用于NP难问题？
• RQ2 在解的寻找效率方面，局部量子搜索与增量式量子方法相比表现如何？
• RQ3 约束密度对局部量子搜索在SAT问题中有效性的影响是什么？
• RQ4 局部方法的较小搜索空间是否限制了其对问题结构的利用能力，相较于更广泛搜索策略？
• RQ5 在哪些问题范式中（例如高度约束 vs. 中等约束），局部量子搜索表现出最优性能？

主要发现

• 该局部量子搜索方法在高度约束的SAT实例中实现了显著的性能提升，因为此时解空间较小，局部转移更为有效。
• 对于具有中等数量约束的问题，尽管搜索空间小得多，该方法仍不如增量式量子方法有效。
• 局部方法的较小搜索空间限制了其对全局问题结构的利用能力，导致在中等约束问题中性能次优。
• 该方法表明，量子局部搜索在特定问题范式中具有竞争力，特别是在解空间密集且局部邻域具有信息量时。
• 实证结果表明，基于邻域的量子搜索对问题结构敏感，其性能在高度约束实例中达到峰值。
• 该研究证实，量子振幅放大可有效应用于局部搜索框架中，为特定问题类别提供一种可行的替代于全局搜索策略的方案。