EM算法(Expectation Maximization Algorithm)详解

EM算法(Expectation Maximization Algorithm)详解EM算法(ExpectationMaximizationAlgorithm)详解主要内容EM算法简介预备知识极大似然估计Jensen不等式EM算法详解问题描述EM算法推导EM算法流程EM算法优缺点以及应用1、EM算法简介  EM算法是一种迭代优化策略,由于它的计算方法中每一次迭代都分两步,其中一个为期望步(E步),另一个为极大步(M步),所以算法被称…

大家好,又见面了,我是你们的朋友全栈君。

EM算法(Expectation Maximization Algorithm)详解

  • 主要内容
    • EM算法简介
    • 预备知识
      • 极大似然估计
      • Jensen不等式
    • EM算法详解
      • 问题描述
      • EM算法推导
      • EM算法流程
    • EM算法优缺点以及应用

1、EM算法简介
  EM算法是一种迭代优化策略,由于它的计算方法中每一次迭代都分两步,其中一个为期望步(E步),另一个为极大步(M步),所以算法被称为EM算法(Expectation Maximization Algorithm)。EM算法受到缺失思想影响,最初是为了解决数据缺失情况下的参数估计问题,其算法基础和收敛有效性等问题在Dempster,Laird和Rubin三人于1977年所做的文章Maximum likelihood from incomplete data via the EM algorithm中给出了详细的阐述。其基本思想是:首先根据己经给出的观测数据,估计出模型参数的值;然后再依据上一步估计出的参数值估计缺失数据的值,再根据估计出的缺失数据加上之前己经观测到的数据重新再对参数值进行估计,然后反复迭代,直至最后收敛,迭代结束。
  EM算法作为一种数据添加算法,在近几十年得到迅速的发展,主要源于当前科学研究以及各方面实际应用中数据量越来越大的情况下,经常存在数据缺失或者不可用的的问题,这时候直接处理数据比较困难,而数据添加办法有很多种,常用的有神经网络拟合、添补法、卡尔曼滤波法等等,但是EM算法之所以能迅速普及主要源于它算法简单,稳定上升的步骤能非常可靠地找到“最优的收敛值”。随着理论的发展,EM算法己经不单单用在处理缺失数据的问题,运用这种思想,它所能处理的问题更加广泛。有时候缺失数据并非是真的缺少了,而是为了简化问题而采取的策略,这时EM算法被称为数据添加技术,所添加的数据通常被称为“潜在数据”,复杂的问题通过引入恰当的潜在数据,能够有效地解决我们的问题。

2、预备知识
  介绍EM算法之前,我们需要介绍极大似然估计以及Jensen不等式。
2.1 极大似然估计
(1)举例说明:经典问题——学生身高问题
  我们需要调查我们学校的男生和女生的身高分布。 假设你在校园里随便找了100个男生和100个女生。他们共200个人。将他们按照性别划分为两组,然后先统计抽样得到的100个男生的身高。假设他们的身高是服从正态分布的。但是这个分布的均值 μ μ 和方差 σ2 σ 2 我们不知道,这两个参数就是我们要估计的。记作 θ=[μ,σ]T θ = [ μ , σ ] T
  问题:我们知道样本所服从的概率分布的模型和一些样本,需要求解该模型的参数。如图1


这里写图片描述

图1


  我们已知的有两个:样本服从的分布模型、随机抽取的样本;我们未知的有一个:模型的参数。根据已知条件,通过极大似然估计,求出未知参数。总的来说:极大似然估计就是用来估计模型参数的统计学方法。

(2)如何估计

  问题数学化:设样本集

X=x1,x2,,xN X = x 1 , x 2 , … , x N
,其中

N=100 N = 100


p(xi|θ) p ( x i | θ )
为概率密度函数,表示抽到男生

xi x i
(的身高)的概率。由于100个样本之间独立同分布,所以我同时抽到这100个男生的概率就是他们各自概率的乘积,也就是样本集

X X
中各个样本的联合概率,用下式表示:



这里写图片描述


  这个概率反映了,在概率密度函数的参数是


θ


θ


时,得到

X X
这组样本的概率。 我们需要找到一个参数


θ


θ


,使得抽到

X X
这组样本的概率最大,也就是说需要其对应的似然函数


L(θ)


L


(


θ


)


最大。满足条件的

θ θ
叫做

θ θ
的最大似然估计量,记为


θ^=argmaxL(θ) θ ^ = a r g m a x L ( θ )



(3)求最大似然函数估计值的一般步骤

  首先,写出似然函数:



这里写图片描述


  然后,对似然函数取对数:



这里写图片描述


  接着,对上式求导,令导数为0,得到似然方程;

  最后,求解似然方程,得到的参数

θ θ
即为所求。


2.2 Jensen不等式

  设

f f
是定义域为实数的函数,如果对于所有的实数


x


x




f(x) f ( x )
的二次导数大于等于0,那么

f f
是凸函数。

  Jensen不等式表述如下:如果


f


f


是凸函数,

X X
是随机变量,那么:


E[f(X)]f(E[X])


E


[


f


(


X


)


]





f


(


E


[


X


]


)


。当且仅当

X X
是常量时,上式取等号。其中,


E[x]


E


[


x


]


表示

x x
的数学期望。

  例如,图2中,实线


f


f


是凸函数,

X X
是随机变量,有0.5的概率是


a


a


,有0.5的概率是

b b



X


X


的期望值就是

a a



b


b


的中值了,图中可以看到

E[f(X)]f(E[X]) E [ f ( X ) ] ≥ f ( E [ X ] )
成立。

  
注:

  1、Jensen不等式应用于凹函数时,不等号方向反向。当且仅当

X X
是常量时,Jensen不等式等号成立。

  2、关于凸函数,百度百科中是这样解释的——“对于实数集上的凸函数,一般的判别方法是求它的二阶导数,如果其二阶导数在区间上非负,就称为凸函数(向下凸)”。关于函数的凹凸性,百度百科中是这样解释的——“中国数学界关于函数凹凸性定义和国外很多定义是反的。国内教材中的凹凸,是指曲线,而不是指函数,图像的凹凸与直观感受一致,却与函数的凹凸性相反。只要记住“函数的凹凸性与曲线的凹凸性相反”就不会把概念搞乱了”。关于凹凸性这里,确实解释不统一,博主暂时以函数的二阶导数大于零定义凸函数,此处不会过多影响EM算法的理解,只要能够确定何时


E[f(X)]f(E[X])


E


[


f


(


X


)


]





f


(


E


[


X


]


)


或者

E[f(X)]f(E[X]) E [ f ( X ) ] ≤ f ( E [ X ] )
就可以。



这里写图片描述

图2

3、EM算法详解
3.1 问题描述
  我们目前有100个男生和100个女生的身高,共200个数据,但是我们不知道这200个数据中哪个是男生的身高,哪个是女生的身高。假设男生、女生的身高分别服从正态分布,则每个样本是从哪个分布抽取的,我们目前是不知道的。这个时候,对于每一个样本,就有两个方面需要猜测或者估计: 这个身高数据是来自于男生还是来自于女生?男生、女生身高的正态分布的参数分别是多少?EM算法要解决的问题正是这两个问题。如图3:


这里写图片描述

图3



3.2 EM算法推导

  样本集

X={
x1,,xm}
X = { x 1 , … , x m }

,包含

m m
个独立的样本;每个样本


xi



x



i




对应的类别

zi z i
是未知的(即上文中每个样本属于哪个分布是未知的);我们需要估计概率模型

p(x,z) p ( x , z )
的参数

θ θ
,即需要找到适合的

θ θ


z z



L(θ)


L


(


θ


)


最大。根据上文
2.1 极大似然估计中的似然函数取对数所得

logL(θ) l o g L ( θ )
,可以得到如下式:



这里写图片描述


其中,(1)式是根据

xi x i
的边缘概率计算得来,(2)式是由(1)式分子分母同乘一个数得到,(3)式是由(2)式根据Jensen不等式得到。

  这里简单介绍一下(2)式到(3)式的转换过程:由于

Qi(z(i))[p(x(i),z(i);θ)Qi(z(i))] ∑ Q i ( z ( i ) ) [ p ( x ( i ) , z ( i ) ; θ ) Q i ( z ( i ) ) ]


p(x(i),z(i);θ)Qi(z(i)) p ( x ( i ) , z ( i ) ; θ ) Q i ( z ( i ) )
的期望,且

log(x) l o g ( x )
为凹函数,根据Jensen不等式(当

f f
是凸函数时,


E[f(X)]f(E[X])


E


[


f


(


X


)


]





f


(


E


[


X


]


)


成立;当

f f
是凹函数时,


E[f(X)]f(E[X])


E


[


f


(


X


)


]





f


(


E


[


X


]


)


成立)可由(2)式得到(3)式。此处若想更加详细了解,可以参考博客
the EM algorithm

  上述过程可以看作是对

logL(θ) l o g L ( θ )
(即

L(θ) L ( θ )
)求了下界。对于

Qi(z(i)) Q i ( z ( i ) )
的选择,有多种可能,那么哪种更好呢?假设

θ θ
已经给定,那么

logL(θ) l o g L ( θ )
的值就取决于

Qi(z(i)) Q i ( z ( i ) )


p(x(i),z(i))] p ( x ( i ) , z ( i ) ) ]
了。我们可以通过调整这两个概率使下界不断上升,以逼近

logL(θ) l o g L ( θ )
的真实值,那么什么时候算是调整好了呢?当不等式变成等式时,说明我们调整后的概率能够等价于

logL(θ) l o g L ( θ )
了。按照这个思路,我们要找到等式成立的条件。根据Jensen不等式,要想让等式成立,需要让随机变量变成常数值,这里得到:


p(x(i),z(i);θ)Qi(z(i))=c p ( x ( i ) , z ( i ) ; θ ) Q i ( z ( i ) ) = c



c c
为常数,不依赖于


z(i)



z



(


i


)




。对此式做进一步推导:由于

z(i)Qi(z(i))=1 ∑ z ( i ) Q i ( z ( i ) ) = 1
,则有

z(i)p(x(i),z(i);θ)=c ∑ z ( i ) p ( x ( i ) , z ( i ) ; θ ) = c
(多个等式分子分母相加不变,则认为每个样例的两个概率比值都是

c c
),因此得到下式:



这里写图片描述


  至此,我们推出了在固定其他参数


θ


θ


后,

Qi(z(i)) Q i ( z ( i ) )
的计算公式就是后验概率,解决了

Qi(z(i)) Q i ( z ( i ) )
如何选择的问题。这一步就是E步,建立

logL(θ) l o g L ( θ )
的下界。接下来的M步,就是在给定

Qi(z(i)) Q i ( z ( i ) )
后,调整

θ θ
,去极大化

logL(θ) l o g L ( θ )
的下界(在固定

Qi(z(i)) Q i ( z ( i ) )
后,下界还可以调整的更大)。这里读者可以参考文章
EM算法


3.3 EM算法流程

  初始化分布参数

θ θ
; 重复E、M步骤直到收敛:

  E步骤:根据参数

θ θ
初始值或上一次迭代所得参数值来计算出隐性变量的后验概率(即隐性变量的期望),作为隐性变量的现估计值:



这里写图片描述


  M步骤:将似然函数最大化以获得新的参数值:



这里写图片描述

4、EM算法优缺点以及应用
  优点:简介中已有介绍,这里不再赘述。
  缺点:对初始值敏感:EM算法需要初始化参数 θ θ ,而参数 θ θ 的选择直接影响收敛效率以及能否得到全局最优解。
  EM算法的应用:k-means算法是EM算法思想的体现,E步骤为聚类过程,M步骤为更新类簇中心。GMM(高斯混合模型)也是EM算法的一个应用,感兴趣的小伙伴可以查阅相关资料。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/149095.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)
blank

相关推荐

  • 图片格式WEBP全面解析[通俗易懂]

    图片格式WEBP全面解析[通俗易懂]前言不管是PC还是移动端,图片一直是流量大头,以苹果公司Retina产品为代表的高PPI屏对图片的质量提出了更高的要求,如何保证在图片的精细度不降低的前提下缩小图片体积,成为了一个有价值且值得探索的事情。但如今对于JPEG、PNG和GIF这些图片格式的优化几乎已经达到了极致,若想改变现状开辟新局面,便要有釜底抽薪的胆量和气魄,而Google给了我们一个新选择…

  • windows 显示进程的命令 TASKLIST 详解

    windows 显示进程的命令 TASKLIST 详解用jstat查看jvm内存的使用的情况时,因为是windows机器,不能使用top命令方便的查出来,进程好在网上搜了一下看到了在windows原来使用的是tasklist特意将tasklist的用法记录下来。原帖的地址是:http://hi.baidu.com/lgh_boffin/blog/item/314b1194fb957c18d21b70b6.html“Taskli

  • python和java哪个值得学-Python和Java学哪个好?大家是怎么选的

    python和java哪个值得学-Python和Java学哪个好?大家是怎么选的Python和Java学哪个好?很多开始学习编程的同学就很难选择,过去几年选择Java无话可说,近年来大家都开始关注人工智能这一方向,都觉得人工智能是未来的趋势,选择Java就会和人工智能失之交臂,确实,但大家要知道,想从事人工智能方面的工作,学的可不只有Python,更需要你会各种复杂的计算,数据分析,推演,超强的思维等等。Java是一门成熟发展20多年编程语言,开发使用率极高,目前java市场…

  • 最小设计流量怎么计算_动态限流算法

    最小设计流量怎么计算_动态限流算法给定一个包含 n 个点 m 条边的有向图,并给定每条边的容量和费用,边的容量非负。图中可能存在重边和自环,保证费用不会存在负环。求从 S 到 T 的最大流,以及在流量最大时的最小费用。输入格式第一行包含四个整数 n,m,S,T。接下来 m 行,每行三个整数 u,v,c,w,表示从点 u 到点 v 存在一条有向边,容量为 c,费用为 w。点的编号从 1 到 n。输出格式输出点 S 到点 T 的最大流和流量最大时的最小费用。如果从点 S 无法到达点 T 则输出 0 0。数据范围2≤n≤50

  • 静态网站(博客)生成器Static Site Generators(SSGs)大集合

    静态网站(博客)生成器Static Site Generators(SSGs)大集合这是一份静态网站生成器的推荐集合,按开发语言或者平台分类和排序,大家各取所需。如果大家有用什么新的静态网站生成器未在本文章中列出,麻烦在评论中说下,我会不断更新该集合。ClojureCryogen-Asimple,static,automatedCMSshippedasatemplateonLeiningen,aClojurebuildtool.misak…

  • 小程序点击复制功能_怎么复制小程序链接

    小程序点击复制功能_怎么复制小程序链接先来说明一下我们需要实现的最终效果:用户点击之后复制页面内容。参考详情一、长按复制:长按复制,在微信小程序内的文字无法长按复制,除了text节点以外,但是要在text标签内加一个“selectable”属性。话不多说,我们直接上代码1.WXML<textselectable=”true”>长按复制<text/>二、一键复制:添加点击事件,绑定…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号