部分测量：规则

• 命题框：n 比特态 |ψ⟩ = Σ_x c_x|x⟩，只测前 k 个比特，结果 y ∈ {0,1}ᵏ
• 推导步骤（由整串玻恩规则直接导出）：

1. 概率按前缀合并：P(y) = Σ_{z∈{0,1}ⁿ⁻ᵏ} |c_yz|²（yz = 前缀 y 拼后缀 z）

2. 条件态：前 k 比特固定为 |y⟩，其余坍缩到 |ψ_y⟩ = (1/√P(y))·Σ_z c_yz|z⟩

3. 归一化验证：Σ_z |c_yz/√P(y)|² = P(y)/P(y) = 1 ✓

• 结果框：除以 √P(y) 恰好重新归一——条件态仍是单位矢量；整串测量是 k = n 的特例