指数分布推导

离散模拟时候经常遇到这个分布.

先说结论:

老板开小卖部,平均经过\(\lambda\)时间会有一个客人进店买东西, 那么第一个客人进店的时间服从指数分布. 速率是 \(1/\lambda\) , 密度函数是: \\frac{1}{\\lambda}e\^{-\\frac{x}{\\lambda}} . 表示当前时间是x, 那么这个时间点第一个客人进来的概率是这个.

证明过程:

先证泊松分布. 再利用泊松分布得到指数分布.

python源码分析:

复制代码
import random
random.expovariate(1.0 / interval)  # interval就是平均多少小时会有一个客人进来买东西.

def expovariate(self, lambd):
        """Exponential distribution.

        lambd is 1.0 divided by the desired mean.  It should be
        nonzero.  (The parameter would be called "lambda", but that is
        a reserved word in Python.)  Returned values range from 0 to
        positive infinity if lambd is positive, and from negative
        infinity to 0 if lambd is negative.

        """
        # lambd: rate lambd = 1/mean
        # ('lambda' is a Python reserved word)

        # we use 1-random() instead of random() to preclude the
        # possibility of taking the log of zero.
        return -_log(1.0 - self.random()) / lambd

上来一直没看懂源码, 后来问了问心一言和ds. 都提到了逆采样.他们用累计分布来计算密度分布,非常好的思路.

首先我们看指数分布的 CDF, 也就是密度函数的积分.

F(x;λ)=P(X≤x)=\(1−e^{−λx}\) ,其中λ是速率=1/mean

\(y=1−e^{−λx}\)

那么我们有\(e^{−λx}=1-y\), 两遍取log

λx=-log(1-y)

两遍除以λ就是我们上面代码 return部分的公式了.

相关推荐
雨落倾城夏未凉5 天前
第四章c#方法-参数数组和可选参数(16)
后端·c#
唐青枫6 天前
线程不是越多越快:C#.NET Thread 生命周期、同步与后台工作线程实战
c#·.net
唐青枫7 天前
别只会反射:C#.NET Emit 动态生成代码实战详解
c#·.net
咕白m6257 天前
.NET 环境下 Word 超链接批量提取方案
c#·.net
用户91721561902117 天前
C# 通信协议增量解析:用状态机处理半包和粘包
c#
小码编匠8 天前
C# 工控上位机必备:数据转换工具类与十个核心模块
后端·c#·.net
唐青枫10 天前
别再乱用 StartNew:C#.NET TaskFactory 任务调度实战详解
c#·.net
Artech10 天前
[MAF预定义的AIContextProvider-03]ChatHistoryMemoryProvider——赋予Agent从经验中学习的能力
ai·c#·agent·memory·maf
Scout-leaf12 天前
C#摸鱼实录——IoC与DI案例详解
c#
咕白m62512 天前
使用 C# 在 Excel 中应用多种字体样式
后端·c#