量子复杂性理论

量子复杂性理论（Quantum complexity theory）是理论计算机科学中计算复杂性理论的一部分。

简介量子复杂性理论（Quantum complexity theory）是理论计算机科学中计算复杂性理论的一部分。该理论使用量子计算机和量子信息来研究分析复杂性类定义，量子信息是基于量子力学的计算模型。量子复杂性理论用来研究这些复杂性类的问题的困难度，和量子复杂性类与经典（非量子的）复杂性类的关系。1

复杂性类复杂性类是指的是一群复杂度类似的问题的集合，可以用满足特定资源限制下的算法求解。例如复杂性类P就是可以用图灵机在多项式时间内求解的问题。也可以用量子算法（如量子计算机或量子图灵机）定义量子复杂性，例如复杂度BQP就是可以用量子计算机在多项式时间内解决，其错误的机率小于一定比例的问题。

量子复杂性中二个比较重要的复杂性类分别是BQP及QMA，分别对应复杂度P及NP (复杂度)。量子复杂性理论的一个主要目的是要找到对应传统复杂性类（如P、NP、PSPACE、PP等）的量子复杂性。

量子查询复杂性在量子查询复杂性（Quantum Query Complexity）中，输入由一预言机（黑箱）提供，算法要用查询预言机的方式得到和输入相关的资讯，算法由某个固定的量子状态开始，当对预言机查询时，其状态随之变化。

量子查询复杂性是指要计算其对应函数，需要查询预言机的最小次数，量子查询复杂性是函数整体时间复杂性的下限。

像搜寻无结构数据库的Grover算法即为量子算法，其量子查询复杂性为O(N)，比已知最好的传统查询复杂度有二次方的差距。

本词条内容贡献者为:

王沛 - 副教授、副研究员 - 中国科学院工程热物理研究所