算法分析与设计5-回溯法.pptVIP

实例思考 实例思考 回溯法的基本思想 问题解的表示：回溯法将一个问题的解表示成一个n元式(x1,x2,…,xn)的形式。 显示约束：对分量xi的取值限定。 隐示约束：为满足问题的解而对不同分量之间施加的约束。 解空间：对于问题的一个实例，解向量满足显式约束条件的所有多元组，构成了该实例的一个解空间。 回溯法的基本思想 回溯法通常将问题解空间组织成“树”结构，通过采用系统的方法隐含搜索解空间树，从而得到问题解。 回溯法的基本做法是搜索，是一种组织得井井有条的，能避免不必要搜索的穷举式搜索法。 搜索策略：深度优先、广度优先、函数优先、广度深度结合等 结点分支判定条件： 满足约束条件：分支扩展解向量 不满足约束条件：回溯到当前结点的父结点 回溯法的基本思想 结点状态： 白结点（尚未访问） 灰结点（正在访问以该结点为根的子树） 黑结点（以该结点为根的子树遍历完成） 存储：当前路径 回溯法在搜索解空间时，通常采用两种策略（剪枝函数）避免无效搜索： 约束函数：在扩展结点处剪去不满足约束条件的子树 界限函数：在扩展结点处剪去得不到最优解的子树 回溯法的使用条件 回溯法适用于搜索问题和优化问题。 必要条件：多米诺性质 设P(x1,x2,…,xi)是关于向量x1,x2,…,xi的某个性质，那么P(x1,x2,…,xi+1)真蕴含P(x1,x2,…,xi) 为真，即 P(x1,x2,…,xi+1) → P(x1,x2,…,xi) (0in) (n为向量维数) 回溯法的设计要素 针对问题定义解空间： 问题解向量 解向量分量取值集合 构造解空间树 判断问题是否满足多米诺性质 搜索解空间树，确定剪枝函数 确定存储搜索路径的数据结构 回溯法的设计要素 两类典型的解空间树 子集树：当所给的问题是从n个元素的集合S中找出满足某种性质的子集时，相应的解空间树称为子集树。子集树通常有2n个叶结点 排列树：当所给的问题是确定n个元素满足某种性质的排列时，相应的解空间树称为排列树。排列树通常有n!个叶结点。 回溯法的设计要素 回溯方法—递归 回溯法的设计要素 回溯方法—迭代 应用实例—装载问题 应用实例—装载问题 应用实例—装载问题 应用实例—装载问题 实例计算过程 应用实例—批处理作业调度 应用实例—批处理作业调度 应用实例—批处理作业调度 应用实例—符号三角形问题 应用实例—符号三角形问题 应用实例—n后问题 应用实例—n后问题 应用实例—4后问题实例计算过程 应用实例—n后问题 应用实例—0-1背包问题 应用实例—0-1背包问题 应用实例—最大团问题 应用实例—最大团问题 应用实例—最大团问题 应用实例—最大团问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—图的m着色问题 应用实例—旅行售货员问题 应用实例—旅行售货员问题 应用实例—旅行售货员问题 应用实例—旅行售货员问题 应用实例—圆排列问题 应用实例—电路板排列问题 应用实例—连续邮资问题 应用实例—连续邮资问题 应用实例—连续邮资问题 应用实例—连续邮资问题 回溯法的效率分析 回溯算法的效率在很大程度上依赖于以下因素： 产生x[k]的时间； 满足显约束的x[k]值的个数； 计算约束函数constraint的时间； 计算上界函数bound的时间； 满足约束函数和上界函数约束的所有x[k]的个数。 好的约束函数能显著地减少所生成的结点数。但这样的约束函数往往计算量较大。因此，在选择约束函数时通常存在生成结点数与约束函数计算量之间的折衷。 回溯法的效率分析 一般情况下，在搜索试探时选取x[i]的值顺序是任意的。但在其它条件相当的前提下，让可取值最少的x[i]优先，可能取得较好效率。 回溯法的效率分析 回溯法的平均效率估计 Summary Discuss 给定无向连通图G和m种不同的颜色。用这些颜色为图G的各顶点着色，每个顶点着一种颜色。是否有一种着色法使G中每条边的2个顶点着不同颜色。 这个问题是图的m可着色判定问题。若一个图最少需要m种颜色才能使图中每条边连接的2个顶点着不同颜色，则称这个数m为该图的色数。 求一个图的色数m的问题称为图的m可着色优化问题。 平面图的四色猜想。 解向量：(x1, x2, … , xn)表示顶点i所着颜色x[i] 可行性约束函数：顶点i与已着色的相邻顶点颜色不重复。 问题解空间可表示为一颗高度为n+1的完全m叉树。解空间树的第i（1 ≤ i ≤ n）层每个节点都有m个儿子，每个儿子相应于x[i]的m个可能着色之一。第n+1层节点均为叶节点。 void Color::Backtrack(int t) { i