回溯算法很抽象,如果没有接触过的话很难学。回溯是一种搜索的方式,是递归的副产品,有递归必然会产生回溯。因此,在本文中回溯函数和递归函数指的是同一个函数。
一、理论基础
1.回溯法的效率:回溯法其实是一种暴力搜索法,穷举所有可能,并不是什么高效算法。有些问题能暴力搜索出来就很不错了。
2.回溯法一般可以解决以下问题
组合问题:N个数里面按一定规则找出k个数的集合
切割问题:一个字符串按一定规则有几种切割方式
子集问题:一个N个数的集合里有多少符合条件的子集
排列问题:N个数按一定规则全排列,有几种排列方式
棋盘问题:N皇后,解数独等
3.如何理解回溯法:
所有的回溯法都可以理解为一个树形结构,回溯就是一个递归的过程,递归一定是有终止条件的。回溯法说到底是在一个集合中寻找子集,集合的大小构成树的宽度,递归的深度构成树的深度,递归有终止条件,所以一定是一棵N叉树
这一块初学者不好理解(我确实不理解),日后卡哥会在每道题都画个图讲解的。
4.回溯法的模板
回溯法三部曲:
void backtracking(参数)//回溯法参数一开始并不好确定,建议先写逻辑
{
if(终止条件){
存放结果;
return;
}
for(选择:处理本层集合中元素,树中结点孩子的数量就是集合的大小){
处理结点;
backtracking(路径,选择列表);//递归
}
}
这份模板很重要,后面做回溯法的题目就靠它了!
for循环就是遍历集合区间,可以理解一个节点有多少个孩子,这个for循环就执行多少次。
backtracking这里自己调用自己,实现递归。
大家可以从图中看出for循环可以理解是横向遍历,backtracking(递归)就是纵向遍历,这样就把这棵树全遍历完了,一般来说,搜索叶子节点就是找的其中一个结果了。
二、LeetCode77 组合
给定两个整数 n 和 k,返回 1 ... n 中所有可能的 k 个数的组合。
再不掌握STL就真的寸步难行了......幸好我还有个Word
class Solution {
private:
vector<vector<int>> result; // 存放符合条件结果的集合
vector<int> path; // 用来存放符合条件结果
void backtracking(int n, int k, int startIndex) {
if (path.size() == k) {
result.push_back(path);
return;
}
for (int i = startIndex; i <= n; i++) {
path.push_back(i); // 处理节点
backtracking(n, k, i + 1); // 递归
path.pop_back(); // 回溯,撤销处理的节点
}
}
public:
vector<vector<int>> combine(int n, int k) {
result.clear(); // 可以不写
path.clear(); // 可以不写
backtracking(n, k, 1);
return result;
}
};
对比一下回溯法三部曲的格式,是不是很像?
代码中有几处需要注意的点:
首先递归回溯时为什么是i+1而不是StartIndex+1?
为什么要撤销处理过的结点?
三、回溯算法求组合问题剪枝操作
我们可以发现,当起始位置之后的元素个数不满足我们需要的元素个数,那我们就可以删除,修改起始位置来控制循环次数。在本题中,for循环里i是起始位置,我们就可以令i=n-(k-path.size())+1;
已经选择的元素个数:path.size();
还需要选择的个数:k-path.size();
所以i至多为n-(k-path.size())+1;