算法框架:回溯法对解空间作深度优先搜索,
在一般情况下可用递归函数来实现回溯法如下:
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]);
}
}