【量子计算】Deutsch-Jozsa算法 解读

第1章 历史脉络与计算复杂性背景

1.1 从经典不可解问题到量子Oracle查询模型

二十世纪八十年代中期，量子计算领域的奠基性工作开始触及计算复杂性的根本边界。David Deutsch于1985年提出的核心问题聚焦于布尔函数性质判定的最小计算成本。该问题的物理实现模型采用Oracle查询框架，其中函数实现被封装为黑箱装置，算法只能通过输入输出接口获取信息，无法直接访问内部电路结构。

Deutsch问题的原始设定针对单比特输入域。经典确定性计算模型在此设定下呈现严格的复杂度下界。任何判定函数是否为常数或平衡性质的确定性算法，在最坏情况下必须执行多次查询操作。具体而言，当输入域包含两个元素时，经典确定性算法需两次查询方能保证正确判定。该下界源于信息论的基本约束：单次查询仅能获取函数在一个输入点上的取值，无法提供全局性质的有效信息。

概率算法的引入并未从根本上解决这一效率瓶颈。随机化策略允许算法以一定错误概率进行判定，虽可将期望查询次数降低至常数级别，但无法提供确定性保证。零错误概率随机算法（ZPP类）虽能消除错误风险，其时间复杂度仍与确定性算法同阶。确定性计算与概率计算在此特定问题上的性能鸿沟，揭示了经典计算模型在处理全局函数性质时的结构性局限。