十一、回溯法框架

1. n皇后问题

procedure try(i:byte);
var j:byte;
begin
  if i=n+1 then begin print;exit;end;
    for j:=1 to n do
      if a[i] 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[i+j]:=true; c[j-i]:=true;
   end;
end;

2.Hanoi Tower  汉诺塔

h(n)=2*h(n-1)+1
h(1)=1
初始所有铜片都在a柱上
procedure hanoi(n,a,b,c:byte); {将第n块铜片从a柱通过b柱移到c柱上}
begin
   if n=0 then exit;
   hanoi(n-1,a,c,b); {将上面的n-1块从a柱通过c柱移到b柱上}
   write(n,’moved from’,a,’to’,c);
   hanoi(n-1,b,a,c);{ 将b上的n-1块从b柱通过a柱移到c柱上
end;

初始铜片分布在3个柱上，给定目标柱goal
h[1..3,0..n]存放三个柱的状态，now与nowp存最大的不到位的铜片的柱号和编号,h[I,0]存第I个柱上的个数。

Procedure move(k,goal:integer); {将最大不到位的k移到目标柱goal上}
Begin
If k=0 then exit;
For I:=1 to 3 do
  For j:=1 to han[I,0] do
   If h[I,j]=k then begin now:=I;nowp:=j; end; {找到k的位置}
If now<>goal then begin  {若未移到目标}
  Move(k-1,6-now-goal);  {剩下的先移到没用的柱上}
  Writeln(k moved from now to goal);
  H[goal,h[goal,0]+1]:=h[now,nowp]; h[now,nowp]:=0;
  Inc(h[goal,0]); dec(h[now,0]);
  Move(k-1,goal); {剩下的移到目标上}
End;