递归与回溯算.ppt

递归与回溯算法 回溯法的基本思想为： 在按某种搜索策略的搜索过程中，在某种状态，继续往前搜索已经确定不会得到正确答案的情况下，我们可以返回上一搜索状态，去沿新的可能性继续搜索。要回溯到上一状态，则说明我们在前进中的状态必须保存下来，我们采用“栈”来存放。 基本思路：若已有满足约束条件的部分解，不妨设为（x1,x2,x3,……xi），in,则添加x(i+1)属于s(i+1)，检查(x1,x2,……,xi,x(i+1))是否满足条件，满足了就继续添加x(i+2)、s(i+2)，若所有的x(i+1)属于s(i+1)都不能得到部分解，就去掉xi，回溯到(xi,x2,……x(i-1))，添加那些未考察过的xi属于si，看其是否满足约束条件，为此反复进行，直至得到解或证明无解。 回溯法的特点为： 1.搜索策略：符合递归算法，问题解决可以化为子问题，算法类似，规模减小。 2.控制策略：当遇到失败的搜索状态，需要返回上一状态，沿另外的路径搜索。 3.数据结构：用数组保存搜索过程中的状态、路径。 参考结构： procedure try(i:integer); var begin if in then 输出结果 else for j:=下界 to 上界 do begin x[i]:=h[j]; if 可行{满足限界函数和约束条件} then begin 置值；try(i+1); 取消置值；end; end; end; 算法框架： 1.针对所给问题，定义问题的解空间； 2.确定易于搜索的解空间结构； 3.以深度优先的方式搜索解空间，并且在搜索过程中用剪枝避免无效搜索； 4.递归回溯：由于回溯法是对解空间的深度优先搜索，因此在一般情况下可用递归函数来实现回溯法 。 下面是放置第i个皇后的的递归算法： procedure try(i:integer)； {搜索第i行皇后的位置} var j:integer; begin if i=n+1 then 输出方案； for j:=1 to n do if 皇后能放在第i行第j列的位置 then begin 放置第i个皇后； 对放置皇后的位置进行标记； try（i+1） 对放置皇后的位置释放标记； end; end; N皇后问题的递归算法的程序如下： program N_Queens; const maxn= 10; {最多皇后数} var A:array [1..maxn] of boolean; {同列-竖线被控制标记} b:array [2..maxn * 2] of boolean;{i+j和相等-左下到右上斜线被控制标记} c:array [1–maxn..maxn–1] of boolean;{j-i差相等-左上到右下斜线被控制标记} x: array [1..maxn] of integer;　 {记录皇后的解} total:longint; 　 {解的总数} n: integer; {皇后个数} procedure out; {输出方案} var i: integer; begin inc(total); write(total: 3, ‘:’); for i:= 1 to n do write(x[i]: 3); writeln; end; procedure try(i: integer); {搜索第i个皇后的可行位置} var j: integer; begin if i= n+1 then out; {N个皇后都放置完毕，则输出解} for j:= 1 to n do if a[j] and b[j + i] and c[j – i] then begin x[i] := j; a[j] :=false; b[j + i] :=false; c[j – i] :=false; try(i + 1); {搜索下一皇后的位置} a[j] := true; b[j + i] :=true; c[j – i] :=true;