- 内容（八张目标卡，两列排布，动词全部落到"推导/计算"）：
- 两个核心算子——能写出 $U_O$、$U_S$ 并计算 $\langle x_0|s\rangle = 1/\sqrt{N}$ 与 $|s\rangle$ 的二维分解
- 不变子空间——能用定义判断并写出限制矩阵，解释 $N$ 维 → $2\times 2$ 的降维
- Grover 旋转矩阵——能逐步算出 $G$ 的四个矩阵元并证明 $G = R(\pi-2\theta)$
- 成功概率与最优迭代——能推导 $P_T = \sin^2((2T+1)\theta)$ 与 $T \approx (\pi/4)\sqrt{N}$、成功率 $\ge 1-1/N$
- 去随机化——能计算经典 $\Theta(N)$ 与 Grover $O(\sqrt{N})$ 的查询次数（含 $N = 10^6$ 数值对比）
- 振幅放大的动机——能写出辅助寄存器标准形式并比较 $O(1/p)$ 与 $O(1/\sqrt{p})$
- Grover $\subset$ 振幅放大——能对 $N = 4$ 逐振幅验证一次迭代必得目标
- 振幅放大的理论——能推导 $Q = R(-2\omega)$、$n \approx \pi/(4\sqrt{p})$ 与成功率 $\ge 1-p$
类型objectives