成功概率与后选择

1. λ̃_j ≤ λ_max ⇒ C²/λ̃_j² ≥ C²/λ_max²

2. 放缩:P₁ ≥ (C²/λ_max²)·Σ_j |β_j|² = C²/λ_max²(归一化 Σ_j |β_j|² = 1)

3. 取 C = λ_min:P₁ ≥ (λ_min/λ_max)² = 1/κ²

4. 独立重复 r 次:P(至少一次成功) = 1 − (1−P₁)^r ≥ 1 − e^{−r·P₁}(用 1 − x ≤ e^{−x})⇒ r = ⌈κ²·ln(1/δ)⌉ 即达置信度 1−δ

类型definition-derivation + 演算