1. 振幅放大框架——能写出 P_g、S_f、S_ψ 与迭代算符 Q = −S_ψS_f,并指出 Grover 对应的特例 A = H^⊗n
2. 平面旋转几何——能在 {|g⟩,|b⟩} 基下逐项乘出 Q 的 2×2 矩阵并识别为转角 2θ 的旋转,推导 k* ≈ π/(4√a) − 1/2 与成功率下界 1−a
3. 通用二次加速——能比较"生成-检验"的经典 O(1/a) 与量子的 O(1/√a),并代入 a = 10⁻⁴ 算出加速倍数
4. 振幅估计——能把 QPE 套在 Q 上写出读出公式 â = sin²(π·ỹ/M_QPE),并解释 O(1/ε) 对经典 O(1/ε²) 的精度优势
5. 查询复杂度下界——能用多项式方法三步证明非结构化搜索的 k ≥ (1/(2√6))·√N = Ω(√N)