算法五步流程

1. 初始化:|b⟩_B |0⟩_C |0⟩_aux

2. QPE:Σ_j β_j|u_j⟩_B |λ̃_j⟩_C |0⟩_aux(时钟存 round(2^m·φ_j) 的二进制)

3. 受控旋转:Σ_j β_j|u_j⟩|λ̃_j⟩(√(1 − C²/λ̃_j²)·|0⟩ + C/λ̃_j·|1⟩)_aux

4. 逆 QPE:Σ_j β_j|u_j⟩_B |0⟩_C (√(1 − C²/λ̃_j²)·|0⟩ + C/λ̃_j·|1⟩)_aux

5. 测辅助比特:得 |1⟩(概率 P₁)⇓ |x⟩ ∝ Σ_j (β_j/λ̃_j)|u_j⟩

类型definition-derivation(以流程泳道呈现:五步状态链逐行推导)