小结自查与作业（公式清单）

• 本课公式清单（编号公式卡）：

1. s = a⊕b、c = a∧b，且 a+b = 2c+s

2. |Φ⁺⟩ = (|00⟩+|11⟩)/√2；|GHZ₃⟩ = (|000⟩+|111⟩)/√2

3. RX(θ) = cos(θ/2)·I − i·sin(θ/2)·X；P(1) = sin²(θ/2)

4. RX(θ)† = RX(−θ)；(AB)† = B†A†

5. ISWAP：|01⟩→i|10⟩、|10⟩→i|01⟩（1 门 ≡ S·S·H·CNOT·CNOT·H 六官方门）

6. depth = 关键路径门数；remapping: q[i]→q[φ(i)]，QINIT = max φ + 1

7. get_matrix：第 j 列 = U|j⟩，j = q₀ + 2q₁ + …（little-endian）

• 自查（六张折叠卡片，每张背面一句话答案）：三类门都会写吗 / 寄存器名导出后去哪了 / free_parameters 列出的是什么 / 多门 DAGGER 块的两种语义 / round-trip 验证了哪三种表示 / get_matrix 是大端还是小端
• 作业（教材页尾六组练习，推荐四题，均可先算后验）：
• 练习 1 第 1 题：半加器改输入 a=1、b=0——先笔算 s=1、c=0 ⇒ 计数键 0111₂ = 7，再运行验证
• 练习 3 第 1 题：theta 绑定 0、π/2、π 各 100 shots——先按 P(1)=sin²(θ/2) 算出 0、½、1，再预测三组计数形态
• 练习 4 第 2 题：定义 ghz(q[3]) 子程序，6 比特寄存器调用两次——两 GHZ 各自全 0/全 1 ⇒ 4 个等概率键 0、7、56、63（111000₂=56 等），先预测再模拟
• 练习 6 第 2 题：打印 Bell 酉矩阵第 0、1 列，验证 |Φ⁺⟩/|Φ⁻⟩，并解释索引 1 为何对应 q0=1、q1=0（j = q₀+2q₁）