C3.8N 候选定理

PN.2 统计扩展

分支的隐藏性除缺少标签 b 外，还通过可用数据分布的重叠进行参数化。

τ(u)=TV(P_L^u,P_R^u)

R_S ≥ ½Δ_S(1−τ), R_D ≥ ½Δ_D(1−τ)

R_R ≥ ½‖K‖(1−τ)

R_SR_D ≥ ¼Δ_SΔ_D(1−τ)²

R_RR_D ≥ ¼‖K‖Δ_D(1−τ)²

状态： C3.8N-CANDIDATE-THEOREM · 尚未纳入规范。τ=0 时恢复确定性形式；τ=1 时下界消失。