搜索算法之回溯讲解

         特点：回溯法有通用的解题法之称。用它可以系统的搜索一个问题的所以解或任一解。回溯法是一个既带有系统性又带有跳跃性的搜索算法。它在问题的解空间树中，按深度优先策略，从根节点出发搜索解空间。算法搜索至解空间树的任一结点时，先判断该节点是否包含问题的解。如果肯定不包含，则跳过对以该节点为根的子树的搜索，逐层向其祖先结点回溯。否则，进入该子树，继续按深度优先策略搜索。回溯法求问题的所有解时，要回溯到跟，且根结点的所有子树都已被搜索遍才结束。回溯法求问题的一个解时，只要搜索到问题的一个解就可结束。这种以深度优先方式系统搜索问题解的算法称为回溯法，它适用于解组合数较大的问题。

算法框架：回溯法对解空间作深度优先搜索，

在一般情况下可用递归函数来实现回溯法如下：

void Backtrack(int t) //t表示递归深度，即当前结点在解空间数中的深度。n用来控制递归深度。{
｛

if(t>n)Output(x); //当t>n时，算法已搜索到叶结点。此时，由Output(x)记录或输出得到的可行解x。

else
for(int i=f(n,t);i<=g(n,t);i++) //f(n,t)和g(n,t)分别表示在当前结点处未搜索过的子树的其实编号和终止终止编号
{
x[t]=h(i);
if(Constraint(t)&&Bound(t)) //Constraint(t)&&Bound(t)表示在当前结点处的约束函数和限界函数，分别用于剪去不满足约束的子树和得不到最优解的子树。
Backtrack(t+1);
}
}

迭代回溯：

void IterativeBacktrack()
{
int t=1;
while(t>0)
{
if(f(n,t)<=g(n,t))
{
for(int i=f(n,t);i<g(n,t);i++
{
x[t]=h(i);
if(Constraint(t)&&Bound(t))
{
if(Solution(t)) Output(x);
else t++;
}
}
}
else t--;
}
}

回溯法的两种典型解空间树：

当所给的问题是从n个元素的集合S中找到满足某种性质的子集时。相应的解空间树称为子集树。例如，n个物品的0-1背包问题所相应的解空间树就是一棵子集树。这类子集树通常有2^n个叶节点，其结点总个数为2^(n+1)-1。遍历子集树的任何算法均需O(2^n)的计算时间。搜索子集树的一般算法可描述如下：

void Backtrack(int t)
{
if(t>n) Output(x);
else
for(int i=0;i<=1;i++)
{
x[t]=i;
if(Constraint(t)&&Bound(t)) Backtrack(t+1);
}
}

当所给的问题是确定n个元素满足某种性质的排列时。相应的解空间树称为排列树。排列树通常有n!个叶节点。因此遍历排列树需要O(n!)的计算时间。搜索排列树的算法框架如下：

void Backtrack(int t)
{
if(t>n) Output(x);
else
for(int i=t;i<=n;i++)
{
swap(x[t],x[i]);
if(Constraint(t)&&Bound(t)) Backtrack(t+1);
swap(x[t],x[i]);
}
}