量子计算与二次符号权重枚举器

我们证明量子计算在多项式意义上等价于带有一个用于估计简单和式——二次符号权重枚举器——值的预言机的经典概率计算。估计这些和式的问题可表述为承诺问题，并有两个有趣变体。无约束变体的预言机可能强于量子计算，而更受约束变体的预言机在量子计算单比特模型中可有效求解。因此，涉及二次符号权重枚举器估计的问题给出了 BQP（有界误差量子多项式时间）中不同于迄今所研究的问题，包括一个典型 BQP 完全问题，并可用于定义和研究复杂度类及其与量子计算的关系。