You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

求P(∑₁²⁰Xᵢ>15)的上界(Xᵢ~Poisson(1),不使用中心极限定理)

不用中心极限定理求解 ( P(\sum_{i=1}^{20}X_i>15) ) 上界的思路

下面给你几个不用中心极限定理的经典概率不等式思路,这些方法都适合处理独立随机变量和的概率界问题:

  • 马尔可夫不等式(最基础的上界)
    因为泊松变量都是非负的,它们的和 ( Y = \sum_{i=1}^{20}X_i ) 也是非负随机变量。根据马尔可夫不等式:

    ( P(Y > a) \leq \frac{E[Y]}{a} )
    这里 ( E[Y] = 20 \times 1 = 20 ),( a=15 ),代入得:
    ( P(Y>15) \leq \frac{20}{15} \approx 1.333 )
    这个上界非常宽松(概率不可能大于1,实际等于1),仅作为入门思路,没有实用价值。

  • 单侧切比雪夫不等式(比马尔可夫更紧)
    先计算 ( Y ) 的方差:因为 ( X_i ) 独立,( Var(Y) = 20 \times Var(X_i) = 20 \times 1 = 20 )。
    如果你实际需求是 ( P(Y \leq 15) ) 的上界(结合你提到的CLT得到0.025,大概率是问题方向笔误),可以用单侧切比雪夫不等式:

    ( P(Y < E[Y] - k) \leq \frac{Var(Y)}{Var(Y) + k^2} )
    代入 ( k=20-15=5 ) 得:
    ( P(Y \leq15) \leq \frac{20}{20 + 5^2} = \frac{20}{45} \approx 0.444 )
    对应的 ( P(Y>15) \geq 1 - 0.444 = 0.556 ),不过这是下界;若你确实要 ( P(Y>15) ) 的上界,它的天然上界就是1。

  • 切尔诺夫界(最实用的紧上界)
    切尔诺夫界是处理独立随机变量和的概率界的利器,尤其适合指数族分布(比如泊松分布)。核心思路是用指数函数的马尔可夫不等式:
    对任意实数 ( t ),有:

    ( P(Y \leq a) \leq \frac{E[e{tY}]}{e{ta}} )(当 ( t<0 ) 时用于求下侧概率上界)
    因为 ( X_i ) 独立,所以 ( E[e^{tY}] = \prod_{i=1}{20}E[e{tX_i}] )。对于 ( X_i \sim Poisson(1) ),其矩生成函数是 ( E[e^{tX_i}] = e{et - 1} ),因此:
    ( E[e^{tY}] = \left(e{et - 1}\right)^{20} = e{20(et - 1)} )
    代入不等式得:
    ( P(Y \leq15) \leq e{20(et - 1) - 15t} )
    我们可以通过求导找到最小化右侧表达式的 ( t ) 值:令 ( f(t) = 20(e^t - 1) -15t ),求导得 ( f'(t) = 20e^t -15 ),令导数为0,解得 ( t = \ln\left(\frac{15}{20}\right) \approx -0.2877 )。
    代入t值计算得 ( f(\ln0.75) \approx -0.6845 ),因此 ( P(Y\leq15) \leq e^{-0.6845} \approx 0.504 ),这是比切比雪夫更紧的上界;对应的 ( P(Y>15) \geq 0.496 )。

  • 泊松分布的直接累积分布(精确值参考)
    由于独立泊松变量的和仍然是泊松分布,( Y \sim Poisson(20) ),你可以直接计算精确值:( P(Y>15)=1-\sum_{k=0}{15}\frac{e{-20}20^k}{k!} \approx 0.868 ),所以 ( P(Y>15) ) 的上界1是显然的;而 ( P(Y\leq15) \approx 0.132 ),你提到的CLT得到的0.025更可能是 ( P(Y<11) ) 这类更远离期望的概率界。

内容的提问来源于stack exchange,提问作者iam_agf

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.05.19 04:32:46