回溯算法(高见元)概要课件.pptVIP

第五章回溯法5.1回溯算法基本思想湖北经济学院计科系回溯法是一种通用的解决问题的办法，本质上就是一种穷举，并且是一种避免重复的穷举。nn所有回溯算法与走迷宫具有相同的本质。1

迷宫问题回溯：往回退，追根溯源。求解的目标:确定每一个十字路口的选择，最后走出迷宫。2

问题的解空间树n问题的解向量：回溯算法希望一个问题的解能够表示成一个n元式(x1,x2,…,xn)的形式。湖北经济学院计科系解空间树：由解元素x1,x2…xn取不同值所构n成组合(或排列)序列，迷宫中xi表示第i个十字路口做出的选择。x1Eg.n=3时的0-1背包问题解空间树为左图所示二叉树x2x3显式约束：对分量xi的取值限定。隐式约束：为满足问题的解对不同分量之间施加的约束。3

n回溯算法的本质：确定问题的解空间树后，深度优先遍历此空间树。但是往往问题的解空间树是无法完全存储的（eg），所以遍历有它的特点。湖北经济学院计科系通常情况下的处理策略是：一边生成解空间树，一边遍历。n4

解空间树的生成方法n深度优先的解空间树生成法：从根结点R开始（R是第一个扩展结点），生成它的一个儿子结点C(即确定了x1)；然后以C作为新的扩展结点，在完成了以C为根的子树的穷尽搜索之后(即递归，是在x1保持不变的情况下，分别求解x2…xn的所有可能组合)，将R重新变成扩展结点（即回溯到R结点处），继续生成R的下一个儿子（即让x1取另外一个值，直至没有值可取即会回退到R的父结点，此时以R为根的树遍历结束）。湖北经济学院计科系n扩展结点：一个准备生成其儿子的结点5

n回溯算法正是按深度优先解空间树生成法，结点生成到哪里，就遍历到哪里。n此过程可以表达成如下递归形式和非递归形式。递归形式的表达：湖北经济学院计科系nBackTrack(k)//当前已经具备k-1个解元素，准备求Xk{if(x1,x2,…,x)是问题的解输出；k-1else{计算第k个解元素的候选集合Sk;//S相当于第k个十字路口的选择kwhile(S!=空)k{x=S中的一个元素；//X已求出kkkS=S-{x}；kkkBackTrack(k+1);//递归进一步求Xk+1}}//while结束，即表示第k个路口已穷举完}6

n非递归形式的表达：湖北经济学院计科系BackTrack(X){计算解向量X的第一个元素x1的候选集合S1；k=1;//S1即第一个十字路口处没有走过的支路While(k0){whileSk!=空{Xk=Sk中的一个元素；//第k个路口已确定Sk=Sk-{Xk};//已走过的支路不会重复走if(X=(x1,x2,…xk)是问题的解)输出；k++;计算候选集合Sk;}k--;//回溯，即回退到第k-1个十字路口}}7

n例如：输出1~n的全排列，递归表达如下（pailie0.c）nvoidf(intk)//已经具备X1~Xk-1,函数目的：求解X[k]n{inti;nif(k-1==n)//找到问题的一个解n{coutendlThe++count:;湖北经济学院计科for(i=1;in+1;i++)coutX[i]“”;}//输出解向量nnelsefor(i=1;in+1;i++)//候选集为1~n中没有用过的数nif(!used[i])//used[i]=0表示i没有使用过，否则已使用系nn{X[k]=i;此处有多种写法，写成限界函数判断Xk能否取i)最好used[i]=1;//i已经使用过(xianjie(k,i),f(k+1);//递归求Xk+1nnnuese[i]=0;//f(k+1)结束表示解空间树中第k层子树遍历完n}//即X1~Xk确定为某种组合的所有可能排列结果都已输//出，例如{1,2,3,4},{1,2,4,3}即为x1,x2确定为1,2的所有可n能n}//排列结果，所以f(k+1)结束后，会在X1~Xk-1不变的情况//下，看看除了i以外Xk还有没有其它可用的值8

非递归的算法过程如下voidf1(void)湖北经济学院计科系{k=1;from=1;I=1;while(k0){for(;in+1;i++)if(!used[i]k=n){X[k]=I;used[i]=1;if(k==n)输出;k++;}k--;i=X[k]+1;//回溯的处理，让第X[k]的取值范围变为I~n，实际上就是X[k]+1~n}}9

n采用这种思路框架来设计程序的好处：湖北经济学院计科系1）保证回溯思路的正确性，并且减轻回溯过程的思考工作。一律看成是求解向量X的过程。2）把限界函数分离出来，便于程序的编写和调试，每一个问题的约束条件都不一样，但是