1. U_f|x⟩|y⟩ = |x⟩|y⊕f(x)⟩（预言机定义）
2. U_f·U_f = I ⇒ U_f 酉
3. U_f|x⟩|−⟩ = (−1)^f(x)|x⟩|−⟩（相位回踢）
4. H^⊗n|x⟩ = (1/√2ⁿ)·Σ_z(−1)^(x·z)|z⟩
5. A(0…0) = (1/2ⁿ)·Σ_x(−1)^f(x)：常数 → ±1，平衡 → 0
6. 判定规则：00…0 ⇒ 常数；其他 ⇒ 平衡（各概率 1）
7. f_s(x) = s·x mod 2；经典下界 Θ(n) 次查询
8. Σ_x(−1)^(w·x) = N（w=0）/ 0（w≠0）⇒ 1 次查询读出 s
9. 复杂度对比：D-J 2ⁿ⁻¹+1 → 1；B-V n → 1（查询次数）