量子计算机的局部搜索方法

局部搜索算法利用搜索状态之间的邻域关系，常对多种 NP-hard 组合搜索问题表现良好。本文展示了量子计算机如何也能利用这些邻域关系。对此类局部量子搜索的一个例子针对可满足性（SAT）问题进行了实证评估，结果表明其对高度约束的实例尤为有效。对于具有中等数量约束的问题，尽管局部方法所用的搜索空间小得多，其在利用问题结构方面略逊于增量量子方法。