[工学]Chapter-4 动态规划.pptVIP

4 动态规划Dynamic Programming 引例：费氏数列 费氏数列是由13世纪的意大利数学家、来自Pisa的 Leonado Fibnacci发现。 费氏数列是由0，1开始，之后的每一项等于前两项之和： 0，1，1，2，3，5，8，13，21，34，55，89，144...... 。 ?这个数列有如下一些特性： 前2个数相加等于第3个数 前1个数除以后一个数越往后越无限接近于0.618 (黄金分割) 相邻的两个比率必是一个小于0.618一个大于0.618 后1个数除以前一个数越往后越无限接近于1.618 … 为何效率低下？ 使用直观的方式分析 解决方法 借助于变量存储中间计算结果，消除重复计算。代码片断如下： 动态规划的基本思想 动态规划的实质是分治和消除冗余，是一种将问题实例分解为更小的、相似的子问题，并存储子问题的解以避免计算重复的子问题，来解决最优化问题的算法策略。 基本步骤： 找出最优解的性质，并刻划其结构特征。 递归地定义最优值。 以自底向上的方式计算出最优值。 根据计算最优值时得到的信息，构造最优解。 矩阵链相乘 给定n个连乘的矩阵M1˙M2 …Mn-1 ˙Mn，问：所需要的最小乘法次数(最优值)是多少次？对应此最小乘法次数，矩阵是按照什么结合方式相乘(最优解)的？ 一个实例 平面凸多边形最优三角划分 平面多边形 由在同一平面上，且不在同一直线上的多条线段首尾顺次连结且不相交所组成的图形称为平面多边形。 平面凸多边形 弦：连接平面多边形的任意两个不同顶点的线段。 平面凸多边形：如果一个平面多边形的任意一条弦，要么在该多边形的内部，要么恰好为该多变形的边，那么，称该平面多边形为凸的。否则，称该平面多变形为凹的。 三角划分 将平面凸多边形分割成互不相交的三角形。 最长公共子序列问题 给定两个定义在字符集∑上的字符串A和B，长度分别为n和m，现在要求它们的最长公共子序列的长度值(最优值)，以及对应的子序列(最优解) 。 子序列 穷举法(Brute-Force)： 找出A字符串所有可能的子序列(2n)； 对于A的每一个子序列， 判断其是否是B的一个子序列,需要的时间为Θ(m) ; 求max;总的时间为Θ (m 2n). 一个实例： 0-1背包问题 给定n个物品{u1,u2,…,un}和一个背包，物品i 的重量为wi，价值为vi，已知背包的承重量为C。问：在不撑破背包的条件下，选择哪些物品装入背包，得到的总价值最大？ 之所以称为0-1 背包问题，是因为一个物品要么装入、要么不装入，这两种状态分别用1 和0 表示。 一个实例 背包的承重量为C=9；给定4个物品，重量(w)分别为2，3，4，5；价值(v)依次为3，4，5，7。问：背包中最多能装的物品的总价值是对少？ 多边形游戏 给定N个顶点的多边形，每个顶点标有一个整数，每条边上标有+(加)或是×(乘)号，并且N条边按照顺时针依次编号为1~N。下图给出了一个N＝4个顶点的多边形。 任务：给定一个多边形，顶点和边已按上述方式进行标注。问：按照游戏规则，最高得分(最优值)是多少？对应该最高得分，按照什么顺序移走边(最优解)？ 输入文件：文件POLYGON.IN中存储了多边形的信息，该文件中有两行数据 ： 第一行是一个整数N 第二行按照 边 顶点 边 顶点 …. 边 顶点 的顺序以此存放了N个顶点和N条边的标注信息。其中字符+表示加法，字符x表示乘法。 例如，下图对应的POLYGON.IN为： 4 + -7 + 4 x 2 x 5 输出文件：文件POLYGON.OUT，该文件中有两行数据 ： 第一行是该游戏可能的最高得分。 第二行列出第一次移走哪条边(可能有多个, 如果是多个，则按照递增顺序排列)，会导致最高得分的出现。 例如，下图对应的POLYGON.OUT为： 33 1 2 思路 Brute-Force方法：时间复杂度为T(n)=Θ(n!) 分析：关键在于乘法运算同号得正，异号得负，如果a和b都是负数，a*b有可能得到一个很大的正数。因此需要同时保存子问题的最大值和最小值。 从顶点i开始，按顺时针长度为L的链的计算结果最小值为Fmin(i,L)，最大值为Fmax(i,L) ，联结第i个顶点和其顺时针方向的下一个顶点(i mod n +1)的边上的运算符记为opr(i)，则可以得到以下递归公式： 注意：第i个顶点沿顺时针方向后的第t个顶点的编号为：( i+(t-1) )mod n +1 公式中(i+t) mod n +1是顶点i顺时针方向后的第个t+1顶点的编号，V(i)