DFS 搜索:对一个问题的解空间用树来表示, 并且用DFS的方法来遍历这个解空间。
回溯:就是DFS搜索+剪枝。尝试分步的去解决一个问题。在分步解决问题的过程中,当它通过尝试发现现有的分步答案不能得到有效的正确的解答的时候,它将取消上一步甚至是上几步的计算,再通过其它的可能的分步解答再次尝试寻找问题的答案。目的是找出满足约束条件的所有解。
general Backtracking algorithm:
Backtracking(int a[], int k, data input)
{
if (is_a_solution(a, k, input))
{
process_solution(a, k, input)
}
{
k = k+1;
construct_candidates(a, k, input, c, &numc);
for(i=0; i<numc, i++)
{
a[k]=c[i];
Backtracking(a, k, input);
}
}
}
分支界定:用BFS search或DFS Search的方法来遍历这个解空间。分支限界法类似于回溯法,也是一种在问题的解空间树T上搜索问题解的算法。但在一般情况下,分支限界法与回溯法的求解目标不同。回溯法的求解目标是找出T中满足约束条件的所有解,而分支限界法的求解目标则是找出满足约束条件的一个解,或是在满足约束条件的解中找出使某一目标函数值达到极大或极小的解,即在某种意义下的最优解。