回溯算法理论基础
-
回溯的本质是穷举,其实就是一种暴力解法
-
回溯法,一般可以解决如下几种问题:
- 组合问题:N个数里面按一定规则找出k个数的集合
- 切割问题:一个字符串按一定规则有几种切割方式
- 子集问题:一个N个数的集合里有多少符合条件的子集
- 排列问题:N个数按一定规则全排列,有几种排列方式
- 棋盘问题:N皇后,解数独等等
-
回溯法解决的问题都可以抽象为树形结构。因为回溯法解决的都是在集合中递归查找子集,集合的大小就构成了树的宽度;递归的深度,就构成了树的深度。递归就要有终止条件,所以必然是一棵高度有限的树(N叉树)。
-
回溯法三要素
- 回溯函数模板返回值以及参数:返回值一般为void,函数参数需要通过分析确定。
void backtracking(参数)
- 回溯函数终止条件:什么时候达到了终止条件,树中就可以看出,一般来说搜到叶子节点了,也就找到了满足条件的一条答案,把这个答案存放起来,并结束本层递归。
if (终止条件) { 存放结果; return; }
- 回溯搜索的遍历过程
for (选择:本层集合中元素(树中节点孩子的数量就是集合的大小)) { 处理节点; backtracking(路径,选择列表); // 递归 回溯,撤销处理结果 }
-
整体框架
void backtracking(参数) { if (终止条件) { 存放结果; return; } for (选择:本层集合中元素(树中节点孩子的数量就是集合的大小)) { 处理节点; backtracking(路径,选择列表); // 递归 回溯,撤销处理结果 } }
77. 组合
一、做题感受&第一想法
不会写。
二、学习文章后收获
1.回溯法
- 函数参数:“从n个数中取k个”的n和k;startIndex用于标记下一层for循环的开始处。
- 返回条件:path.size()==k,则将path加入result数组中
- for循环回溯逻辑:for循环从startIndex开始,遍历到n。每层for循环中,首先把当前元素加入path,然后backtracking。回溯返回后,再将元素弹出path。
class Solution {
public:
vector<vector<int>> result;
vector<int> path;
vector<vector<int>> combine(int n, int k) {
backtracking(n,k,1);
return result;
}
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();
}
return;
}
};
2.组合问题的“剪枝”
一般回溯问题剪枝操作都在for循环上做文章。
本题中,for循环改为: for(int i = startIndext;i <= n - (k - path.size()) + 1; i++)
,因为如果i过大,会导致后序回溯可供选择的空间太小,根本不可能最终找到一个长度为k的path!
class Solution {
public:
vector<vector<int>> result;
vector<int> path;
vector<vector<int>> combine(int n, int k) {
backtracking(n,k,1);
return result;
}
void backtracking(int n,int k,int startIndext){
if(path.size() == k){
result.push_back(path);
return;
}
for(int i = startIndext;i <= n - (k - path.size()) + 1; i++){ //剪枝
path.push_back(i);
backtracking(n,k,i + 1);
path.pop_back();
}
return;
}
};