什么都不要想,先来感受一个例子:
公司有男同事=[A,B,C],同时有很多漂亮的女职员=[小甲,小章,小乙]。(请勿对号入座)你迫切的怀疑这些男同事跟这些女职员有“问题”。为了科学的验证你的猜想,你进行了细致的观察。于是:
观察数据:
- 1、A,小甲、小乙一起出门了;
- 2、B,小甲、小章一起出门了;
- 3、B,小章、小乙一起出门了;
- 4、C,小乙一起出门了;
收集到了数据,你开始了神秘的EM计算。
初始化:你觉得三个同事一样帅,一样有钱,三个美女一样漂亮,每个人都可能跟每个人有关系。所以,每个男同事跟每个女职员“有问题”的概率都是1/3;
EM算法中的E步骤:
- 1、A跟小甲出去过了 1/2 * 1/3 = 1/6 次,跟小乙也出去了1/6次;
- 2、B跟小甲,小章也都出去了1/6次;
- 3、B跟小乙,小章又出去了1/6次;
- 4、C跟小乙出去了1/3次;
总计:
- A跟小甲出去了1/6次,跟小乙也出去了1/6次 ;
- B跟小甲,小乙出去了1/6次,跟小章出去了1/3次;
- C跟小乙出去了1/3。
EM算法中的M步骤 - 你开始更新你的八卦:
- A跟小甲,小乙有问题的概率都是1/6 / (1/6 + 1/6) = 1/2;
- B跟小甲,小乙有问题的概率是1/6 / (1/6+1/6+1/6+1/6) = 1/4;
- B跟小章有问题的概率是(1/6+1/6)/(1/6 * 4) = 1/2;
- C跟小乙有问题的概率是1。
EM算法中的E步骤 - 然后你又开始根据最新的概率计算了。
- 1、A跟小甲出去了 1/2 * 1/2 = 1/4 次,跟小乙也出去 1/4 次;
- 2、B跟小甲出去了1/2 * 1/4 = 1/8 次, 跟小章出去了 1/2 * 1/2 = 1/4 次;
- 3、B跟小乙出去了1/2 * 1/4 = 1/8 次, 跟小章又出去了 1/2 * 1/2 = 1/4 次;
- 4、C跟小乙出去了1次;
EM算法中的M步骤 - 重新反思你的八卦:
- A跟小甲,小乙有问题的概率都是1/4/ (1/4 + 1/4) = 1/2;
- B跟小甲,小乙是 1/8 / (1/8 + 1/4 + 1/4 + 1/8) = 1/6 ;
- B跟小章是 2/3 ;
- C跟小乙的概率是1。
你继续计算,反思,总之,最后,你得到了真相。
通过上面的计算我们可以得知,EM算法实际上是一个不停迭代计算的过程,根据我们事先估计的先验概率A,得出一个结果B,再根据结果B,再计算得到结果A,然后反复直到这个过程收敛。
可以想象饭店的后方大厨,炒了两盘一样的菜,现在,菜炒好后从锅中倒入盘,不可能一下子就分配均匀,所以先往两盘中倒入,然后发现B盘菜少了,就从A中匀出一些,A少了,从B匀.....
EM算法
EM算法(Expectation Maximization Algorithm,最大期望算法)是一种迭代类型的算法,是一种在概率模型中寻找参数最大似然估计或者最大后验估计的算法,其中概率模型依赖于无法观测的隐藏变量。
EM算法流程:
- 初始化分布参数
- 重复下列两个操作直到收敛:
- E步骤:估计隐藏变量的概率分布期望函数
- M步骤:根据期望函数重新估计分布参数
EM算法原理:
给定的m个训练样本 ,样本间独立,找出样本的模型参数 θ ,极大化模型分布的对数似然函数如下:
假定样本数据中存在隐含数据 ,此时极大化模型分布的对数似然函数如下:
令z的分布为 Q(z;θ) ,并且 Q(z;θ)≥0 ,那么有如下公式:
Jensen不等式:
如果函数f为凸函数,那么存在下列公式:
如下图所示:
若 则
根据Jensen不等式的特性,当下列式子的值为常数的时候,l(θ) 函数才能取等号。
EM算法流程:
样本数据 ,联合分布
,条件分布
,最大迭代次数J。
随机初始化模型参数θ的初始值
开始EM算法的迭代处理:
E步:计算联合分布的条件概率期望
M步:极大化L函数,得到
如果 已经收敛,则算法结束,输出最终的模型参数θ ,否则继续迭代处理
EM算法收敛证明
EM算法的收敛性只要我们能够证明对数似然函数的值在迭代的过程中是增加的即可,即证明下式成立:
证明过程如下:
高斯混合模型
GMM(Gaussian Mixture Model,高斯混合模型)是指该算法由多个高斯模型线性叠加混合而成。每个高斯模型称之为component。GMM算法描述的是数据的本身存在的一种分布。
GMM算法常用于聚类应用中,component的个数就可以认为是类别的数量。
假定GMM由k个Gaussian分布线性叠加而成,那么概率密度函数如下:
对数似然函数:
E step:
M step:
对均值求偏导:
对方差求偏导:
对概率使用拉格朗日乘子法求解: