7回溯算法.pptVIP

搜索算法---回溯 一、回溯的概念 从问题的某种可能情况出发，搜索所有能到达的可能情况，然后以其中一种可能的情况为新的出发点，继续向下探索 当所有可能情况都探索过且都无法到达目标的时候，再回退到上一个出发点，继续探索另一个可能情况 这种不断回头寻找目标的方法称为“回溯法”。 回溯搜索 回溯是一种模拟人类思维过程的算法思想。它的基本方法是： 按照深度优先的顺序向下一层扩展结点；扩展到某一层时，若已无法继续扩展且仍未找到解，则退回到父结点，从父结点的下一个分支开始，按同样的策略继续扩展……，直到找到问题的解或证明无解。 二、回溯的一般描述 program 程序名； const maxdepth=xxx; type statetype=****; {状态类型定义} var stack:array[1..maxdepth] of statetype; {存当前路径} total:integer; {路径数} procedure make(k:integer); {递归搜索以stack[k]为初始接点的所有路径} var i:integer; {子节点个数} begin if stack[k-1]是目标状态 then begin total:=total+1; 输出当前路径stack[1]..stack[k-1]; exit; {回溯（如果只需要一条路径，则exit改为halt即可）}} end; for i:=算符最小值 to 算符最大值 do begin 算符i作用于生成stack[k-1]产生子状态stack[k]; if stack[k]满足约束条件 then make(k+1);{若不满足，则通过for循环换一个算符扩展；递归返回该处时，系统自动恢复调用前的栈指针和算符；在通过for 循环换一个算符扩展。注：若在扩展stack[k].state时使用过全局变量，则应插入若干条语句，恢复这些全局变量在递归前的值} end; end; 三、回溯的一般步骤 首先需要为问题定义一个解空间（solution space），这个空间必须至少包含问题的一个解； 然后我们需要组织解空间，以便它能被容易地搜索。典型的组织方法是图或树。 最后对这个空间即可按深度优先的方法从开始节点进行搜索。 例1、四皇后问题 四皇后问题的递归实现---回溯法 例2、数字排列问题 例４．四色问题（初赛试题） 数字排列问题的递归实现 骑士游历问题的递归实现 四色问题的递归实现 二种方式的区别: 回溯法的剪枝 测试2 、棋盘覆盖 测试3.排队购票 测试4.错排问题 const maxn=10; var a:array[1..maxn*2] of integer; n,num:integer; procedure try(k,n0,n1:integer); var i,j:integer; begin if( )then begin inc(num); write(No.,num, ); for i:=1 to 2*n do write(a[i]:2); writeln; ( ); end; if(n0=n1)and(n0n)then begin a[k]:=0; try( ); end; 　　if( )and(n0n)then 　 begin 　 for i:=0 to 1 do 　 begin 　a[k]:=i; 　 if i=0 then try(k+1,n0+1,n1) 　 else try(k+1,n0,n1+1); 　 end; 　end; 　　 if (