- 引子(一句,页角小字):异或、模幂、指数——三张面孔,同一副骨架
- 命题框(大字):f(x)=f(y) ⟺ x−y ∈ H——"函数值相同 ⟺ 自变量相差隐藏子群元素"
- 三张问题卡(各带群与子群,公式完整):
1. Simon:f(x)=f(y) ⟺ y = x⊕s,求 s;G = ℤ₂ⁿ,H = {0,s}
2. 周期查找:f(x) = aˣ mod N,f(x) = f(x+r),求 r(Shor 分解核心步骤);G = ℤ,H = rℤ
3. 离散对数:h = gˢ,求 s;G = ℤ_r²,H = ⟨(−s,1)⟩
- 共用电路条:制备均匀叠加 → 一次 U_f → 群 QFT F_G → 测量——三个问题共用,只换 G 与 H