指数分布推导

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

先说结论:

老板开小卖部,平均经过\(\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部分的公式了.

相关推荐
唐青枫3 小时前
C#.NET 定时任务必备:Quartz 全面解析与实战指南
c#·.net
小码编匠21 小时前
WPF 中的高级交互通过右键拖动实现图像灵活缩放
后端·c#·.net
唐青枫1 天前
C#.NET 定时任务与队列利器:Hangfire 完整教程
c#·.net
hez20101 天前
Runtime Async - 步入高性能异步时代
c#·.net·.net core·clr
mudtools2 天前
.NET驾驭Word之力:玩转文本与格式
c#·.net
唐青枫2 天前
C#.NET 数据库开发提速秘籍:SqlSugar 实战详解
c#·.net
mudtools3 天前
.NET驾驭Word之力:理解Word对象模型核心 (Application, Document, Range)
c#·.net
侃侃_天下3 天前
最终的信号类
开发语言·c++·算法
echoarts3 天前
Rayon Rust中的数据并行库入门教程
开发语言·其他·算法·rust
Aomnitrix3 天前
知识管理新范式——cpolar+Wiki.js打造企业级分布式知识库
开发语言·javascript·分布式