回溯算法的一般模式

求问题所有解

INPUT: 集合X1 ,X2,…,Xn的清楚地或隐含的描述
OUTPUT: 解向量v=(x1 ，x2，…, xi )， 0≤i≤n
      1.   v ←( ) // 为解向量赋初始值
      2.   k ←1
      3.   While k≥1
      4.         While Xk没有被穷举
      5.                 xk ←Xk中下一个元素;将xk加入v
      6.                 If v为最终解  then  输出当前解
      7.                 Else if  v是部分解   then   k ←k+1
      8.          End while
      9.          xk←初始值；     
    10.          k←k-1
    11.   endwhile

求判定类问题

INPUT: 集合X1 ,X2,…,Xn的清楚地或隐含的描述
OUTPUT: 解向量v=(x1 ，x2，…, xi )， 0≤i≤n
      1.   v ←( )    // 为解向量赋初始值
      2.  flag ←false
      3.  k ←1 
      4.  While k≥1
      5.       While Xk 没有被穷举
      6.            xk ←Xk中下一个元素;将xk加入v
      7.            If v为最终解  then set flag←true
                        且从两个while循环退出 
      8.          Else if v是部分解 then k ←k+1
      9.      End while
     10.     xk←初始值；k←k-1
     11.  endwhile
     12.  if flag=true then 输出c
     13.  else 输出“没有解”