算法设计与分析回溯法.docVIP

第七章 回 溯 法 §1. 回溯法的基本思想 回溯法有“通用的解题法”之称。应用回溯法解问题时，首先应该明确问题的解空间。一个复杂问题的解决往往由多部分构成，即，一个大的解决方案可以看作是由若干个小的决策组成。很多时候它们构成一个决策序列。解决一个问题的所有可能的决策序列构成该问题的解空间。解空间中满足约束条件的决策序列称为可行解。一般说来，解任何问题都有一个目标，在约束条件下使目标达优的可行解称为该问题的最优解。在解空间中，前k项决策已经确定的所有决策序列之集称为k定子解空间。0定子解空间即是该问题的解空间。 例1．旅行商问题: 某售货员要到若干个城市去推销商品。已知各个城市之间的路程（或旅费）。他要选定一条从驻地出发，经过每个城市一遍，最后回到驻地的路线，使得总的路程（或总旅费）最小。 我们用一个带权图G(V, E)来表示，顶点代表城市，边表示城市之间的道路。图中各边所带的权即是城市间的路程（或城市间的旅费）。 则旅行商问题即是：在带权图G中找到一条路程最短的周游路线，即 权值之和最小的Hamilton圈。 如果假定城市A是驻地。则推销员从A地出发，第一站有3种选择：城市B、C或城市D；第一站选定后，第二站有两种选择：如第一站选定B，则第二站只能选C、D两者之一。当第一、第二两站都选定时，第三站只有一种选择：比如，当第一、第二两站先后选择了B和C时，第三站只能选择D。最后推销员由城市D返回驻地A。推销员所有可能的周游路线可由下面的图反映出来。 例2．定和子集问题： 已知一个正实数的集合 和正实数M．试求A的所有子集S，使得S中的数之和等于M。 这个问题的解可以表示成0/1数组，依据是否属于S，分别取值1或0。故解空间中共有2n个元素。它的树结构是一棵完全二叉树。 例3． 4皇后问题: 在4×4棋盘上放置4个皇后，要使得每两个之间都不能互相攻击，即任意两个皇后都不能放在同一行、同一列及同一对角线上。 将4个皇后分别给以1到4的编号，这个问题的解决就是要安排4个皇后的位置。因而，每个决策序列由4个决策组成：P1，P2，P3，P4，这里Pk代表安排第k个皇后的位置，因而有16种可能。该问题的解空间有164个决策序列。这时的约束条件是: 任意两个皇后均不能位于同一行、同一列及同一个对角线上。注意到这个解空间比较大，从中有哪些信誉好的足球投注网站可行解较为困难。现在把约束条件中的“任意两个皇后均不在同一行” 也放在问题中考虑，即：将4个皇后放在4×4棋盘的不同行上，使得每两个皇后均不能位于同一列、同一对角线上。则解空间中共有44个决策序列，因为此时可以假定第k个皇后处于第k行上。此时的约束条件为：任意两个皇后均不能位于同一列及同一个对角线上。事实上，我们还可以用另一种方法描述，使得解空间进一步缩小。将问题陈述为：将4个皇后放在4×4棋盘的不同行、不同列上，使得任意两个皇后均不能处在同一对角线上。这时的解空间应当由4！个决策序列构成。因为此时每个决策序列实际上对应于{1, 2, 3, 4}的一个排列。我们可以用树来描述解空间。 从例3来看，解空间的确定与我们对问题的描述有关。如何组织解空间的结构会直接影响对问题的求解效率。这是因为回溯方法的基本思想是通过有哪些信誉好的足球投注网站解空间来找到问题的可行解以至最优解。当所给的问题是从n个元素的集合S中找出满足某种性质的子集时，相应的解空间树称为子集合树。此时，解空间有个元素，遍历子集树的任何算法均需的计算时间。如例2。当所给的问题是确定n个元素的满足某种性质的排列时，相应的解空间树称为排列树，此时，解空间有个元素。遍历排列树的任何算法均需计算时间，如例1和例3。本章只讨论具有上两类解空间树的求解问题。 确定了解空间的组织结构后，回溯法就从开始顶点（解空间树的根顶点）出发，以深度优先的方式有哪些信誉好的足球投注网站整个解空间。这个开始顶点就成为一个活顶点，同时也成为当前的扩展顶点。在当前的扩展顶点处，有哪些信誉好的足球投注网站向纵深方向移至一个新顶点。这个新顶点就成为一个新的活顶点，并且成为当前的扩展顶点。如果在当前的扩展顶点处不能再向纵深方向移动，则当前的扩展顶点就成为死顶点。此时应往回移动（回溯）至最近一个活顶点处，并使这个活顶点成为当前扩展顶点。回溯法即以这种工作方式递归地在解空间中有哪些信誉好的足球投注网站，直至找到要求的解或解空间中已无活结点时为止。事实上，当我们将问题的有关数据以一定的方式存储好以后（例如，旅行商问题存储赋权图的邻接矩阵、定和子集问题是存储已知的n+1个数、4皇后问题用整数对(i,j)表示棋盘上各个位置），不必先建立一个解空间树，然后再有哪些信誉好的足球投注网站该树寻找所需要的解。回溯法实际上在有哪些信誉好的足球投注网站的同时逐步生成解空间树（实际只需要一部分）。也就是说，对于实际问题我们不必要有哪些信誉好的足球投注网站整个解空间。为了使搜