1. Simon 问题与经典下界——能写出承诺 f(x)=f(y) ⟺ y = x⊕s，并由碰撞概率 ≈ k²/2ⁿ 推出经典 Θ(2^(n/2))
2. 孪生态与 Hadamard 干涉——能逐行推导测量分布：s·z=1 概率 0、s·z=0 均匀 1/2^(n−1)
3. F₂ 解方程与样本数——能对真实样本做 F₂ 高斯消元，并算出成功率常数 ∏(1−2^(−j)) ≈ 0.2888
4. HSP 统一框架与陪集态——能推导一次查询加输出测量得到 |g+H⟩，并算出测量概率 |H|/|G|
5. 引理 1 与正交补——能用错位相消证明特征和两分性 Σχ_y(h) = |H| 或 0，并推出 P[y] = 1/|H⊥| 均匀
6. 三个算法一家亲——能把 Simon、周期查找、离散对数代入通式，各自解出样本方程并核算复杂度