算法之回溯

概要

回溯法（探索与回溯法）是一种选优搜索法，又称为试探法，按选优条件向前搜索，以达到目标。但当探索到某一步时，发现原先选择并不优或达不到目标，就退回一步重新选择，这种走不通就退回再走的技术为回溯法，而满足回溯条件的某个状态的点称为“回溯点”。

基本思想

在回溯法中，每次扩大当前部分解时，都面临一个可选的状态集合，新的部分解就通过在该集合中选择构造而成。这样的状态集合，其结构是一棵多叉树，每个树结点代表一个可能的部分解，它的儿子是在它的基础上生成的其他部分解。树根为初始状态，这样的状态集合称为状态空间树。

回溯的实现

运用回溯法解题的关键要素有以下三点：
(1) 针对给定的问题，定义问题的解空间；
(2) 确定易于搜索的解空间结构；
(3) 以深度优先方式搜索解空间，并且在搜索过程中用剪枝函数避免无效搜索。

递归实现

void BackTrace(int t) {
if(t>n)
Output(x);
else
for(int i = f (n, t); i <= g (n, t); i++ ) { //f下限 g上限
x[t] = h(i); //节点取值
if(Constraint(t) && Bound (t)) //Constraint(t)约束条件 Bound (t)界限条件
BackTrace(t+1);
}
}

递归为什么能实现回溯：递归使用的是栈结构，后进先出。当达到可行解或是当前节点不满足条件，就会向上一次解递归，以此达到回溯的目的。

迭代实现

void IterativeBackTrace(void) {
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− −;
}
}

迭代通过中间状态的转换来实现回溯。