1. 问题设定与承诺——能用量词写出常数/平衡函数的定义，并对给定 n 数出两类函数在输入上的计数
2. 经典查询复杂度——能推出确定性最坏 2ⁿ⁻¹+1 次、随机 k 次错误率 ≤ 2^(−k)，并代入 n、k 算出数值
3. 量子预言机——能写出 U_f|x⟩|y⟩ = |x⟩|y⊕f(x)⟩，由 U_f·U_f = I 推出酉性并逐基矢验算
4. 相位回踢与四步推导——能逐行推出 U_f|x⟩|−⟩ = (−1)^f(x)|x⟩|−⟩，并证明恒等式 H^⊗n|x⟩ = (1/√2ⁿ)·Σ_z(−1)^(x·z)|z⟩
5. 振幅分析与干涉——能推导 A(0…0) = (1/2ⁿ)·Σ_x(−1)^f(x)，复算 n=2 的全部振幅并写出判定规则
6. Bernstein-Vazirani——能用正交和等式证明 1 次查询读出 s，并复算 n=3、s=101 全流程