量子查询复杂度的下界

Shor与Grover著名的量子算法分别用于因数分解与搜索，表明量子计算机解决某些计算问题可显著快于任何经典计算机。我们在此讨论量子计算机不能做什么，具体而言如何证明其算力的限制。我们涵盖已知的主要下界证明技术，并对各方法举例与比较。