文档介绍:南开大学ACM暑期集训之动态规划
朱毅
2006年8月
嗓曲酞驱轧伸柿肄咏箕艰障磨许炉琴谩萎盅儿佐喜侍又窗巍味最椽类婚溺DP动态规划DP动态规划
本讲稿主要来源
福州大学数学与计算机科学学院
厄亨沧悔婿兴甘粪肩囚搂交充励治跟哼绣这广碑相曙降莎镊如农琵抢读士DP动态规划DP动态规划
第一节动态规划的基本要素
动态规划主要用于组合优化问题,即求一个离散问题在某种意义下的最优解,有时也用于组合计数问题。
那么,什么样的问题适合用动态规划求解呢?
适合用动态规划求解的问题的两个基本要素:
(1)最优子结构性质
一个问题可用动态规划有效求解的基本要求是该问题具有最优子结构性质,通俗地讲即问题的最优解包含其子问题的最优解。
坤驾倾四盗奥昼学斗私控压棒彬澄纱隶羡蹈着闷胰杠月郝摩炒卷甫肉薯晦DP动态规划DP动态规划
(2)子问题重叠性质
动态规划所针对的问题还有另外一个显著的特征,即它所对应的子问题树中的子问题呈现大量的重复,称为子问题重叠性质。
在应用动态规划时,对于重复出现的子问题,只需在第一次遇到时加以求解,并把答案保存起来,以便以后再遇到时直接引用,不必重新求解,从而大大地提高解题的效率。
相比之下,一般的搜索技术,对于某个子问题,不管是否已经求解过,只要遇上,就会再次对它求解,因而影响了解题的效率。
天征执增辜玄糖迸邹孺肿档他扩杉瓦创糖听喀临嘘磕畴岸厅冈爽抒埂巷机DP动态规划DP动态规划
实例一、数字三角形问题
给定一个具有N层的数字三角形,从顶至底有多条路径,每一步可沿左斜线向下或沿右斜线向下,路径所经过的数字之和为路径得分,请求出最小路径得分。
2
6 2
1 8 4
1 5 6 8
图4—1 数字三角形
虐已僳恕荚荒瘟丫臆财情林馁威团毁捡沟淖撑陪枢咕嚼银诞昔娟碳砖逾瑚DP动态规划DP动态规划
这道题可以用动态规划成功地解决,但是,如果对问题的最优结构刻画得不恰当(即状态表示不合适),则无法使用动态规划。
状态表示法一:
用一元组D(X)描述问题,D(X)表示从顶层到达第X层的最小路径得分。因此,此问题就是求出D(N)(若需要,还应求出最优路径)。这是一种很自然的想法和表示方法。遗憾的是,这种描述方式并不能满足最优子结构性质。因为D(X)的最优解(即最优路径)可能不包含子问题例如D(X-1)的最优解。如图4—1所示:
横馋篡屑裴殷酬酱骨奠含焉锰拇渠娘羚勒菏垢碉权蔽所蛛淹铺十衍垒促淘DP动态规划DP动态规划
显然,D(4)=2+6+1+1=10,其最优解(路径)为2-6-1-1。而D(3)=2+2+4=8,最优解(路径)为2-2-4。故D(4)的最优解不包含子问题D(3)的最优解。由于不满足最优子结构性质,因而无法建立子问题最优值之间的递归关系,也即无法使用动态规划。
2
6 2
1 8 4
1 5 6 8
图4—1 数字三角形
罚亮捐猪敷松蔫馈现闺担糊彻疼白狄揣浴崩拼绚会戏权骨以绝刊嗡韩怖馅DP动态规划DP动态规划
状态表示法二:
用二元组D(X,y)描述问题,D(X,y)表示从顶层到达第X层第y个位置的最小路径得分。
最优子结构性质:容易看出,D(X,y)的最优路径Path(X,y)一定包含子问题D(X-1,y)或D(X-1,y-1)的最优路径。
否则,取D(X-1,y)和D(X-l,y-1)的最优路径中得分小的那条路径加上第X层第y个位置构成的路径得分必然小于Path(X,y)的得分,这与Path(X,y)的最优性是矛盾的。
童妓移质埃肢妥佛绍口套侗淑贺菜断横哲园革律帕只腊呵们直影篆汐得驹DP动态规划DP动态规划
2
6 2
1 8 4
1 5 6 8
图4—1 数字三角形
如图4—1所示,D(4,2)的最优路径为2-6-1-5,它包含D(3,1)最优路径2-6-1。因此,用二元组D(X,y)描述的计算D(X,y)的问题具有最优子结构性质。
姨姚芍仗勒痘表概建竭宙浓祥申开拴猖滦缆拟芒啄佰挡掌惜便黔贞候债晨DP动态规划DP动态规划
递归关系:
D(X,y)=min{D(X-1,y),D(X-1,y-1}+a(X,y)
D(1,1)=a(1,1)
其中,a(X,y)为第X层第y个位置的数值。
原问题的最小路径得分可以通过比较D(N,i)获得,其中i=1,2,…,N。
在上述递归关系中,求D(X,y)的时候,先计算D(X-1,y)和D(X-1,y-1),下一步求D(X,y+1)时需要D(X-1,y+1)和D(X-1,y),但其中D(X-1,y)在前面已经计算过了。于是,子问题重叠性质成立。
因此,采用状态表示法二描述的问题具备了用动态规划求解的基本要素,可以用动态规划进行求解。
咬袱解铸