[论文解读] NP problem in quantum algorithm

Masanori Ohya, Natsuki Masuda|ArXiv.org|Sep 24, 1998

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

一句话总结

本文提出了一种量子算法，利用量子叠加和干涉同时探索所有可能的解，从而在多项式时间内解决NP完全的布尔可满足性（SAT）问题。其主要贡献是在所提出的框架下，理论上证明了量子计算可以高效求解SAT问题，表明NP ⊆ BQP，尽管该结果在复杂性理论界仍存在争议。

ABSTRACT

In complexity theory, there exists a famous unsolved problem whether NP can be P or not. In this paper, we discuss this aspect in SAT (satisfiability) problem, and it is shown that the SAT can be solved in plynomial time by means of quantum algorithm.

研究动机与目标

• 研究量子算法是否能高效求解NP完全问题。
• 解决复杂性理论中的核心开放问题：NP是否等于P。
• 证明已知为NP完全的布尔可满足性（SAT）问题可使用量子计算在多项式时间内求解。
• 探讨量子加速对计算复杂性类（特别是NP和BQP）的影响。
• 为可能解决长期存在的复杂性理论问题的量子算法提供理论框架。

提出的方法

• 作者提出一种基于量子叠加的量子算法，以同时探索布尔公式的全部可能真值赋值。
• 该算法利用量子干涉，增强满足赋值的振幅，同时抑制不满足的赋值。
• 它应用一种幺正变换，将初始叠加态演化为最终态，使测量到满足解的概率最大化。
• 该方法依赖于SAT问题的结构，以及量子系统在状态空间中实现大规模并行性的能力。
• 理论分析假设理想量子计算，无退相干或噪声，专注于算法的逻辑结构。
• 该方法基于量子信息理论，使用密度矩阵和量子通道等概念来建模计算过程。

实验结果

研究问题

• RQ1 是否存在一种量子算法，可在多项式时间内求解NP完全的SAT问题？
• RQ2 量子叠加和干涉在求解组合搜索问题中起什么作用？
• RQ3 所提出的量子算法是否意味着NP包含于BQP？
• RQ4 从计算复杂性角度看，该量子方法求解SAT与经典穷举搜索有何不同？
• RQ5 该量子算法在现实世界实现中存在哪些理论局限性？

主要发现

• 本文声称，通过所提出的量子算法，SAT问题可在多项式时间内求解，暗示多项式层次可能坍缩。
• 该算法通过利用量子并行性，在叠加态中同时评估所有可能的变量赋值。
• 量子干涉被用于选择性地增强满足布尔公式的解的振幅。
• 作者认为，该算法的时间复杂度在变量数量上为多项式，表明相比经典指数时间搜索，具有显著加速。
• 该结果被呈现为一个理论概念验证，假设理想量子计算无退相干或错误。
• 本文结论认为，量子计算可能通过将NP问题置于BQP复杂性类中，从而解决P与NP问题。