钩子:三个问题,一个骨架

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)⟩

类型hook(开场页,保留一句引子;主体为三组公式)