回溯算法

1.什么是回溯法 ?

回溯法也可以叫做回溯搜索法,它是⼀种搜索的⽅式。
回溯是递归的副产品,只要有递归就会有回溯
所以以下讲解中,回溯函数也就是递归函数,指的都是⼀个函数。 

2.回溯法的效率 :

回溯法并不是什么⾼效的算法。因为回溯的本质是穷举,穷举所有可能,然后选出我们想要的答案,如果想让回溯法⾼效⼀些,可以加⼀些剪枝的操作,但也改不了回溯法就是穷举的本质。
那么既然回溯法并不⾼效为什么还要⽤它呢?
因为没得选,⼀些问题能暴⼒搜出来就不错了,撑死了再剪枝⼀下,还没有更⾼效的解法。

3.回溯法解决的问题 

回溯法,⼀般可以解决如下⼏种问题:

  • 组合问题:N个数⾥⾯按⼀定规则找出k个数的集合
  • 切割问题:⼀个字符串按⼀定规则有⼏种切割⽅式
  • ⼦集问题:⼀个N个数的集合⾥有多少符合条件的⼦集
  • 排列问题:N个数按⼀定规则全排列,有⼏种排列⽅式
  • 棋盘问题:N皇后,解数独等等

另外,会有⼀些同学可能分不清什么是组合,什么是排列?
组合是不强调元素顺序的,排列是强调元素顺序。
例如:{1, 2} 和 {2, 1} 在组合上,就是⼀个集合,因为不强调顺序,⽽要是排列的话,{1, 2} 和 {2, 1} 就是两个集合了。
记住组合⽆序,排列有序,就可以了

4.如何理解回溯法 

回溯法解决的问题都可以抽象为树形结构 。

因为回溯法解决的都是在集合中递归查找⼦集,集合的⼤⼩就构成了树的宽度,递归的深度,都构成的树的深度。
递归就要有终⽌条件,所以必然是⼀颗⾼度有限的树(N叉树)。

5.回溯法模板

回溯三部曲:

在回溯算法中,我的习惯是函数起名字为backtracking,这个起名⼤家随意。
回溯算法中函数返回值⼀般为void。
再来看⼀下参数,因为回溯算法需要的参数可不像⼆叉树递归的时候那么容易⼀次性确定下来,所以⼀般是先写逻辑,然后需要什么参数,就填什么参数。但后⾯的回溯题⽬的讲解中,为了⽅便⼤家理解,我在⼀开始就帮⼤家把参数确定下来。
回溯函数伪代码如下:


回溯函数终⽌条件
既然是树形结构,那么我们在讲解⼆叉树的递归的时候,就知道遍历树形结构⼀定要有终⽌条件。所以回溯也有要终⽌条件。
什么时候达到了终⽌条件,树中就可以看出,⼀般来说搜到叶⼦节点了,也就找到了满⾜条件的⼀条答案,把这个答案存放起来,并结束本层递归。
所以回溯函数终⽌条件伪代码如下:


回溯搜索的遍历过程
在上⾯我们提到了,回溯法⼀般是在集合中递归搜索,集合的⼤⼩构成了树的宽度,递归的深度构成的树的深度。
如图:

注意图中,我特意举例集合⼤⼩和孩⼦的数量是相等的!
回溯函数遍历过程伪代码如下:

for循环就是遍历集合区间,可以理解⼀个节点有多少个孩⼦,这个for循环就执⾏多少次。
backtracking这⾥⾃⼰调⽤⾃⼰,实现递归。
⼤家可以从图中看出for循环可以理解是横向遍历,backtracking(递归)就是纵向遍历,这样就把这棵树全遍历完了,⼀般来说,搜索叶⼦节点就是找的其中⼀个结果了。

分析完过程,回溯算法模板框架如下:

这份模板很重要,后⾯做回溯法的题⽬都靠它了!

6.总结 

本篇我们讲解了,什么是回溯算法,知道了回溯和递归是相辅相成的。接着提到了回溯法的效率,回溯法其实就是暴⼒查找,并不是什么⾼效的算法。然后列出了回溯法可以解决⼏类问题,可以看出每⼀类问题都不简单。最后我们讲到回溯法解决的问题都可以抽象为树形结构(N叉树),并给出了回溯法的模板。

7.题目分类

组合问题 

第77题. 组合

题⽬链接:https://leetcode-cn.com/problems/combinations/

第216题.组合总和III

 
第17. 电话号码的字⺟组合
 
 
第39. 组合总和
 
  第40.组合总和II   (排序去重) 
 
 
分割回⽂串
 
131.分割回⽂串
 
93.复原 IP地址
 
求⼦集问题:
组合问题和分割问题都是收集树的叶⼦节点,⽽⼦集问题是找树的所有节点!
 
第78 . ⼦集
 
 
递增⼦序列 ( 和⼦集问题有点像,但⼜处处是陷阱 )
491. 递增⼦序列 (用到了hsahset去重)
 
90.⼦集II  (排序去重) 
 
 
排列问题
 
46. 全排列
 
  47.全排列 II  (排序去重) 
 
其他问题
 
332.重新安排⾏程(很难)
 
棋盘问题
 
  第51题. N皇后  

 

37. 解数独
 

8.时间复杂度

 
⼦集问题分析:
 
时间复杂度: O(n * 2^n) ,因为每⼀个元素的状态⽆外乎取与不取,所以时间复杂度为 O(2^n) ,构造每⼀组⼦集都需要填进数组,⼜有需要O(n),最终时间复杂度: O(n * 2^n)
空间复杂度: O(n) ,递归深度为 n ,所以系统栈所⽤空间为 O(n) ,每⼀层递归所⽤的空间都是常数 级别,注意代码⾥的result path 都是全局变量,就算是放在参数⾥,传的也是引⽤,并不会新申请内存空间,最终空间复杂度为O(n)
 
排列问题分析:
 
时间复杂度: O(n!) ,这个可以从排列的树形图中很明显发现,每⼀层节点为 n ,第⼆层每⼀个分⽀都延伸了n-1 个分⽀,再往下⼜是 n-2 个分⽀,所以⼀直到叶⼦节点⼀共就是 n * n-1 * n-2 * ..... 1 = n!。  
空间复杂度: O(n) ,和⼦集问题同理。
 
组合问题分析:
 
时间复杂度: O(n * 2^n) ,组合问题其实就是⼀种⼦集的问题,所以组合问题最坏的情况,也不会超过⼦集问题的时间复杂度。
空间复杂度: O(n) ,和⼦集问题同理。
 
N 皇后问题分析:
 
时间复杂度: O(n!) ,其实如果看树形图的话,直觉上是 O(n^n) ,但皇后之间不能⻅⾯所以在搜索的过程中是有剪枝的,最差也就是O n! ), n! 表示 n * (n-1) * .... * 1
空间复杂度: O(n) ,和⼦集问题同理。
 
解数独问题分析:
 
时间复杂度: O(9^m) , m '.' 的数⽬。
空间复杂度: O(n^2) ,递归的深度是 n^2
 
⼀般说道回溯算法的复杂度,都说是指数级别的时间复杂度,这也算是⼀个概括吧!
 
 
 
 
 
 
 
 
 
 
 
 
 
 
  • 0
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值