2014算法设计与分析第章.pptVIP

算法设计与分析 第2部分 算法设计策略 第8章 回溯法 8.1 一般方法8.1.1 基本概念 例 0/1背包问题 M，n；wi, pi (x0,x1,x2,x3) 显示约束：xi∈{0，1} 隐式约束： ∑ xiwi≤M 目标函数： ∑ xipi 当n=3时对应的状态空间树树中总结点数2n 例 0/1背包问题 元素a0,a1,…,an-1排序问题 解向量（x1,x2,…,xn-1), 显示约束：xi∈{0,1,…,n-1}且xi≠xj (i≠j) 隐式约束： xi≤xj (i ≤ j) 无目标函数 (13,24,09)树中总结点数n! 8.1.2剪枝函数和回溯法 8.1.3?回溯法的效率分析 8.2 n-皇后 8.2.1? ?问题描述 8.2.2 回溯法求解 8.2.3? n-皇后算法 8.2.4 时间分析 8.3 子集和数 8.3.1? 问题描述 8.3.2 回溯法求解 8.3.3?子集和数算法 8.4 图的着色 8.4.1 问题描述 8.4.2?回溯法求解 8.4.3 图着色算法 8.4.4 时间分析 8. 5? 哈密顿环 8.5.1? 问题描述 8.5.2? 哈密顿环算法 8.6 0/1背包问题 问题：给定M0, wi0, pi0 (0=in), 求一个n元组(x0,x1,…,xn-1), xi∈ {0,1}, 使得∑wixi=M且∑pixi 最大。 解空间中构成一颗子集树，共有2n解状态。 约束条件： xi∈ {0,1} ∑wixi=M 求最优解 目标函数： ∑pixi 8.6 0/1背包问题 n=4的状态空间树 8.6 0/1背包问题 记cw表示当前考虑k-1个物品后，已选入物品的重量 记cp表示当前考虑k-1个物品后，已选入物品的收益 设计约束函数Bk(x0,x1,…,xk)： 第k个物品要选入（xk=1）必须满足： cw+wkM 设计限界函数：剪去不含最优解的分枝 8.6 0/1背包问题 设计限界函数： 中间状态X： 剩余物品k+1,k+2,…,n-1 剩余载重为M’=M-cw 记Y、rp分别表示对应一般 背包问题的最优解和最优解值 Z表示对应0/1背包问题的 任意可行解 Y={yk+1,yk+2,…,yn-1} Z={xk+1,xk+2,…,xn-1} 则有： 8.6 0/1背包问题 限界函数的实现 通过发现的可行解确定当前最优解值L，后续的可行解收益fp，必须不小于L，也就是以L为下界 任一中间状态X：若其上界值bpL，代表其下不含最优解，应剪去以X为根的子树。 限界函数作用示例 M=110, n=8, W=(1,11,21,23,33,43,45,55), P=(11,21,31,33,43,53,55,65) 关键程序 上界函数值 8.7 批处理作业调度(最小平均完成时间) 8.7.1 问题描述 8.7.2 回溯法求解 8.7.3 批处理作业调度算法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 称这种从n个元素的集合中找出满足某些性质的子集的状态空间树为子集树。子集树有2n个解状态，遍历子集树的时间为Ω(2n)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 约束函数： （约定wi为正数按升序排列） Bk(x0,x1,?,xk) 为true，当且仅当 w0,w1,…,wk-1,wk,wk+1,…,wn-1 x0,x1,…,xk-1,xk,xk+1,…,xn-1 下面令 s—部分和 r—剩余和 xk=1 xk=0? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【程序8－5】子集和数的回溯算法 void SumOfSub (float s, int k, float r, int* x, float m, float* w) //s—部分