9.贪心法与动态规划.pdf

贪心法和动态规划 七月算法 邹博 2015年5月5日 认识论  认识事物的方法：概念、判断、推理  推理中，又分为归纳、演绎。  重点考察归纳推理的具体方法。  形式化表述：  已知：问题规模为n 的前提A  求解/ 求证：未知解B/ 结论B  记号：用A 表示“ 问题规模为n 的已知条件” n 4月算法在线班 2/52 对归纳推理的理解  若将问题规模降低到0 ，即已知A ，很容易计算或 0 证明B ，则有：A →B 0  同时，考察从A 增加一个元素，得到A1 的变化过 0 程。即：A →A ； 0 1  进一步考察A →A ，A →A ……A →A 1 2 2 3 i i+1  这种方法是(严格的) 归纳推理，常常被称作数学归纳法。  此时，由于上述推导往往不是等价推导(Ai和Ai+1 不是互 为充要条件) ，导致随着i 的增加，有价值的前提信息越来 越少；为避免这一问题，采取如下方案：  {A }→A ，{A A }→A …… {A A …A }→A 1 2 1 2 3 1 2 i i+1  相对应的，修正后的方法依然是(严格的) 归纳推理，有时 被称作第二数学归纳法。 4月算法在线班 3/52 对归纳推理的理解  基本归纳法：对于A ，只需考察前一个状态A 即可完成整个推 i+1 i 理过程，它的特点是只要状态A 确定，则计算A 时不需要考察 i i+1 更前序的状态A …A ，在图论中，常常称之为马尔科夫模型； 1 i-1  高阶归纳法：相应的，对于A ，需考察前i个状态集{A …A i+1 1 i- A }才可完成整个推理过程，往往称之为高阶马尔科夫模型； 1 i  在计算机算法中，高阶马尔科夫模型的推理，叫做“ 动态规 划” ，马尔科夫模型的推理，对应“ 贪心法” 。 4月算法在线班 4/52 说明  无论动态规划还是贪心法，都是根据A[0 …i]计算 A[i+1] 的过程  —— 计算A[i+1]不需要A[i+2] 、A[i+3] ……，  —— 一旦计算完成A[i+1] ，再后面计算A[i+2] 、 A[i+3] ……时，不会更改A[i+1] 的值。  这即无后效性。  鉴于无后效性的原因，可以这