一.简介
1.1 概念
回溯法的本质上是穷举,是一种组织得井井有条的、能避免不必要重复搜索的穷举式搜索算法;基本思想是:从一条路往前走,能进则进,不能进则退回来,换一条路再试。它可以系统的搜索一个问题的所有解和任意解,是一种既带有系统性又带有跳跃性的搜索算法,有“通用的解题法”之称。
适用场景:当遇到某一类问题时,它的问题可以分解,但是又不能得出明确的动态规划或是递归解法,此时可以考虑用回溯法解决此类问题。回溯法的优点在于其程序结构明确,可读性强,易于理解,而且通过对问题的分析可以大大提高运行效率。但是,对于可以得出明显的递推公式迭代求解的问题,还是不要用回溯法,因为它花费的时间比较长(不到万不得已,不要用回溯法,费时)
1.2 实现
可以看作树的遍历(前中后序)+剪枝函数。
回溯法是穷举,那么必然会得到一个问题的全部解,进而又可以得到一个问题的最优解。这两点也正是回溯法的适用范围
这两种不同的情况又引出了两个属于,约束函数和限界函数。两者都属于剪枝函数,不同点在于约束函数是用来过滤不符合条件的解,限界函数用来过滤非最优解。
抽象 | 具体 | 意义 |
---|---|---|
剪枝函数 | 约束函数 | 得到全部解 |
剪枝函数 | 限界函数 | 得到最优解 |
二、递归和回溯
回溯用递归实现
递归是一种算法结构,回溯是一种算法思想;一个递归就是在函数中调用函数本身来解决问题;回溯就是通过不同的尝试来生成问题的解,有点类似于穷举,但是和穷举不同的是回溯会“剪枝”,意思就是对已经知道错误的结果没必要再枚举接下来的答案了,比如一个有序数列1,2,3,4,5,我要找和为5的所有集合,从前往后搜索我选了1,然后2,然后选3 的时候发现和已经大于预期,那么4,5肯定也不行,这就是一种对搜索过程的优化。
三、DFS和回溯
四、基本思想及实现
(1)首先要将问题转化,得出解空间树。这棵树的每条完整路径都代表了一种解的可能。通过深度优先搜索这棵树,枚举每种可能的解的情况;从而得出结果。但是回溯法搜索解空间树时,通常采用两种策略来避免无效搜索,提高回溯法的搜索效率。
//伪代码
void Backtrack(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);//h(i)当前扩展节点处第i个可选值
if (Constraint(t) && Bound(t))
Backtrack(t + 1);
}
}
}
(2)回溯法的实现步骤
通过读题完成下面三个步骤:
1)描述解的形式,定义一个解空间,它包含问题的所有解。
2)构造状态空间树。
3)构造约束函数(用于杀死节点)。
然后就要通过深度优先搜索思想完成回溯,完整过程如下:
1)设置初始化的方案(给变量赋初值,读入已知数据等)。
2)变换方式去试探,若全部试完则转(7)。
3)判断此法是否成功(通过约束函数),不成功则转(2)。
4)试探成功则前进一步再试探。
5)正确方案还未找到则转(2)。
6)已找到一种方案则记录并打印。
7)退回一步(回溯),若未退到头则转(2)。
8)已退到头则结束或打印无解
五、子集树和排列数
子集树和排列数是回溯法解题时常用的两个典型的解空间树
子集树
所给的问题是从n个元素的集合S中找出满足某种性质的子集时,相应的解空间成为子集树。
如0-1背包问题,从所给重量、价值不同的物品中挑选几个物品放入背包,使得在满足背包不超重的情况下,背包内物品价值最大。它的解空间就是一个典型的子集树。
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);
}
}
}
在这想到了图的遍历的深度 优先搜索算法,对比一下
深度优先搜索基本模型(其实和子集树模板一样)
void dfs(int step) {
//判断边界
//尝试每一种可能
for (int i=1;i<=n;i++){
//继续下一步
dfs(step+1);
}
//返回
}
例题----01背包、图的M着色
待完善
排列树
所给的问题是确定n个元素满足某种性质的排列时,相应的解空间就是排列树。
如旅行售货员问题,一个售货员把几个城市旅行一遍,要求走的路程最小。它的解就是几个城市的排列,解空间就是排列树。
void Backtrack(int t) { //t 表示集合 S 的第 t 个元素
if (t > n)
output(x);
else
for (int i = t; i <= n; i++) { //第t 个元素与其后面的所有元素进行交换位置
swap(x[t], x[i]);
if (constraint(t) && bound(t)){
backtrack(t + 1);
}
swap(x[t], x[i]);
}
}
例题---------n皇后问题
待完善...
六、约束函数和限界函数区别
约束函数用于选取满足条件的一个解
而界限函数用于剪除不可能存在解的节点
if(tw+w[i]<=W)
{
x[i]=1;
dfs(tw+w[i],rw-w[i],x,i+1);
}
if(tw+rw>W)
{
x[i]=0;
dfs(tw,rw-[i],x,i+1); //rw 为剩下的整数和
}