前言
再没对递归了解之前,递归一直我的噩梦,对于写递归代码一直都是无从下手,但当理解了递归之后,才惊叹到,编程真的是一门艺术。在 01 世界里,递归是极其重要的一种算法思想,不可能绕的开。这一章我们从调用栈、图解、调试、用递归写链表的方式,再进一步巩固上一章链表的同时,也更进一步理解递归这种算法思想。
什么是递归?
《盗梦空间》大家应该都看过,那么你可以把递归想象成电影里的梦境,当在这一层没有得到答案时,就进入下一层的梦境,直到在最后一层找到了答案,然后返回到上一层梦境,逐层返回直到现实世界,递归结束。所以递归二字描述的其实是解决问题的两个过程,首先是递,然后是归。而递与归之间的临界点,又可以叫做递归终止条件,意思是我们告诉计算机:行了,别递了,开始归的过程吧您嘞。
函数调用栈
为了更好的理解递归,函数调用栈这个前提还是得先弄明白了,我们首先来看下这段程序`:
function a() { b(); console.log('a')}function b() { c(); console.log('b')}function c() { console.log('c');}a(); // c b a
简单先说下 JavaScript 的执行机制,当遇到函数执行时,会为其创建一个执行上下文,然后压入一个栈结构内,当这个函数执行完成之后,就会从栈顶弹出,这是引擎追踪函数执行的一个机制。再看上述代码时,执行 a 函数,就将 a 推入调用栈,但是 a 函数还没执行完时又遇到了 b 函数的执行,所以又将 b 函数推入调用栈,再 b 函数里又执行了 c 函数,所以就向调用栈里推入 c 函数。在 c 函数里打上断点后,我们可以在浏览器的调用栈里看到三个函数最终入栈的顺序:
出栈的时机是当前栈顶的函数执行完毕时,就弹出,所以最终打印的顺序是 c b a 。
其实递归函数的调用是相同的,只要没到递归的终止条件,就一直将相同的函数压入栈,这也就是递的过程。当遇到了终止条件后,就开始从栈顶弹出函数,当递归函数的系统栈全部弹出,归的过程结束后,整个递归也就结束。
如何写递归代码
举一个例子,求解字符串的逆序,如 abcd 返回 dcba ,请使用递归。
- 拆解重复逻辑子问题
既然是求 abcd 的逆序,拆解后那就是求解 d 加上剩下 abc 的逆序;求解 abc 的逆序,那就又是求解 c 加上 ab 的逆序,直到问题被拆解到不能拆解为止。
- 找到递归终止条件
没有终止条件的递归会无限递归下去,直至爆栈,所以我们要给递归函数设置一个终止条件,满足条件后,就不要再递下去了。很明显这个题目的终止条件是当字符串长度为 1 时就不用拆解了,为了兼容传入空字符串,可以将终止条件设置为字符串为空时。
- 使用套路
递归也是有套路的,如果勤加练习,并没有太难,这里再附上一个编写递归函数的基本步骤:
function recursion(params) { 1. 递归终止条件 (避免无限递归) 2. 当前函数层逻辑处理 (递归函数的主要处理逻辑) 3. 进入下一层函数 (再次执行递归函数) 4. 处理当前层函数其他逻辑 (可能有这一步,也可能没有)}
所以代码如下,稍微详细些↓:
function reverseStr(s) { if (s === "") { // 终止条件 return ""; } const lastC = s[s.length - 1]; // 字符串的最后一位 const otherC = s.slice(0, -1); // 除去最后一位的其他字符串 return lastC + reverseStr(otherC); // 进入递归下一层}
还是使用画图的方式,更方便的一目了然其内部执行逻辑。
如何调试递归代码
人的大脑是习惯平铺直叙的,所以这也是递归代码难理解的地方。而计算机擅长的确是重复,那么如何调试递归程序就很重要,这里分享几个我经常会使用到小技巧。
- 最小示例代入 debugger 法
例如求解的字符串的逆序,就代入 abc ,然后在递归的函数的内部打上断点,一层层去看当前层的变量变化是否符合处理逻辑。
- console.log 大法
在递归函数的内部直接在每个关键节点输出需要观测的变量变化,看是否符合逻辑。
- 借助浏览器调用栈
借助 debugger ,在进入的递归函数层数足够深了之后,切换系统栈 Call Stack 里的递归层数,并通过 Local 查看该层变量的值,查看对应的参数的情况。
使用递归解决链表问题
链表和树都是非常适合学习并理解递归算法的示例,所以之后全部都会使用递归,也是为之后更难理解的回溯打好基础。
再解决链表问题时,如果没有思路,可以用 纸和笔把指针指向的过程画下来 ,然后再尝试从里面找到重复子问题会很有帮助。
206. 反转链表↓
反转一个单链表输入: 1->2->3->4->5->NULL输出: 5->4->3->2->1->NULL
上一章使用循环,这次尝试使用递归解决。因为是链表,所以思路是改变指针的指向。子问题就是让最后一个节点指向它之前的节点。首先还是递的过程,我们需要递到最后一个节点。然后开始归,让它的指针指向倒数第二个节点即可,所以要知道倒数第二个节点,然而原先倒数第二个节点正指着倒数第一节点了,此时它们就会形成一个互指的环,最后再让倒数第二个节点指向空即可,断开环。
代码如下:
var reverseList = function (head) { if (head === null || head.next === null) { return head } const node = reverseList(head.next) // 最后一个节点 head.next.next = head // 让3指向2、让2指向1。 head.next = null // 让2指向空、让1指向空。 return node};
83. 链表去重↓
给定一个排序链表,删除所有重复的元素,使得每个元素只出现一次。输入: 1->1->2输出: 1->2输入: 1->1->2->3->3输出: 1->2->3
有了链表反转的技巧后,再解这个题目就很容易了,还是递归到底,因为我们知道倒数一个节点和倒数第二个节点,所以再归的过程里,如果倒数两个节点的值相同,则倒数第二个指向它的下下个节点即可。这个相对简单,再理解了反转后,使用之前的递归调试法去理解相信一点都不难,就不画图了。
var deleteDuplicates = function (head) { if (head === null || head.next === null) { return head } const ret = deleteDuplicates(head.next) // 递归到底去,因为递归的终结条件,ret就是最后一个节点 // 而此时head就是倒数第二个节点 if (ret.val === head.val) { head.next = ret.next // 倒数第二个节点指向它的下下个节点 } return head};
21. 合并两个有序链表↓
将两个升序链表合并为一个新的升序链表并返回。新链表是通过拼接给定的两个链表的所有节点组成的。 输入:1->2->4, 1->3->4输出:1->1->2->3->4->4
首先还是拆解子问题,子问题是最小值的节点拼接上剩余已经合并好的两个链表。例如 1 指向的就是 23 与 124 拼接好的结果;剩下的最小节点还是 1 ,那么剩下的 1 指向的就是 23 与 24 拼接好的结果。继续拆解直达问题不能拆解为止,如果某一个节点已经到头,那么说明另一个链表所有的值都比这个链表大,直接返回即可。代码如下:
var mergeTwoLists = function (l1, l2) { if (l1 == null) { // l1到了头,说明l2接下来都比l1最大值还大 return l2 } if (l2 == null) { // 同理 return l1 } if (l1.val > l2.val) { l2.next = mergeTwoLists(l1, l2.next) // 则l2换下一个更大节点来比较 return l2 // 当前小节点指向拼接好的结果后,返回 } else { l1.next = mergeTwoLists(l1.next, l2) // 同理换更大的节点来比较 return l1 // 同理 }};
24. 两两交换链表中的节点↓
给定一个链表,两两交换其中相邻的节点,并返回交换后的链表。你不能只是单纯的改变节点内部的值,而是需要实际的进行节点交换。 1->2->3->4, 返回 2->1->4->3.
如果尝试用纸和笔画出过程,就很容易发现子问题,让第一个节点指向第二个节点之后已经交换好的链表,然后让第二个节点指向之前的节点。
var swapPairs = function (head) { if (head === null || head.next === null) { //判断head.next是为了防止链表节点个数是奇数 return head } const firstNode = head // 链表的第一个节点 const secondNode = head.next // 链表的第二个节点 firstNode.next = swapPairs(secondNode.next) // 第一个节点指向第二个节点之后已经交换好的链表 secondNode.next = firstNode // 第二个节点指向第一个节点 return secondNode // 返回第二个节点作为新的头节点};
快慢指针解决链表问题
有些复杂的链表问题内的子问题可能需要用上,也是解决部分链表问题的一种小技巧。
876. 链表的中间结点↓
给定一个带有头结点 head 的非空单链表,返回链表的中间结点。如果有两个中间结点,则返回第二个中间结点。1->2->3->4->5返回3->4->5
设置两个指针,慢指针一次走一步,快指针一次走两步,当快指针走完时,正好慢指针在链表的中间。
var middleNode = function (head) { let slow = head // 慢指针 let fast = head // 快指针 while (fast !== null && fast.next !== null) { fast = fast.next.next // 走两步 slow = slow.next // 走一步 } return slow // 走完后慢指针指向中间节点};
141. 环形链表↓
给定一个链表,判断链表中是否有环。为了表示给定链表中的环,我们使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。如果 pos 是 -1,则在该链表中没有环。输入:3->2->0->-4,pos=1。 输出:true。尾部链接到下标1的位置,为有环。输入:3->2->0->-4,pos=-1。输入:false。尾部没有链接,没环。
快指针一次走两步,慢指针一次走一步,如果这个链表是循环的,快慢指针总会相遇;如果是直线行驶,没有环的话,快指针就会走到空。
var hasCycle = function (head) { let slow = head let fast = head while(fast !== null && fast.next !== null) { slow = slow.next fast = fast.next.next if (slow === fast) { // 相遇了 return true } } return false};
19. 删除链表的倒数第N个节点↓
给定一个链表,删除链表的倒数第 n 个节点,并且返回链表的头结点。给定一个链表: 1->2->3->4->5, 和 n = 2.当删除了倒数第二个节点后,链表变为 1->2->3->5.说明:给定的 n 保证有效。进阶尝试:你能尝试使用一趟扫描实现吗?
首先删除链表第 n 个节点,则需要找到它之前的节点,让它之前的节点跨过要删除的节点即可。
然后问题是怎么一趟扫描找到倒数第 n 个节点之前的节点?我们还是可以使用快慢指针的方式,需要删除倒数第几个,就让快指针多走几步,快指针把先走的几步走完后,快慢指针一起走,快指针到了头,慢指针停留的位置正好就是待删除节点之前的节点。
最后删除该节点,返回链表头节点即可。代码如下:
var removeNthFromEnd = function (head, n) { const dummy = new ListNode() // 设置一个虚拟节点,统一边界处理 dummy.next = head let slow = dummy // 因为要找的是待删除之前节点的缘故 let fast = dummy.next // 让快指针事先就领先一步 while (fast !== null) { if (n > 0) { // 先把领先的走完 n-- fast = fast.next } else { // 然后一起走 fast = fast.next slow = slow.next // 走完后慢指针正好在待删除节点之前 } } const delNode = slow.next slow.next = delNode.next // 移除待删除节点 delNode.next = null return dummy.next // 返回头节点};
最后
写递归也没什么其他的技巧,无非就是多练、多画、多想、多调试。下一章将开始介绍树结构,正好有一个与链表和树都相关的问题,大家可以尝试解决。 [本章github源码](https://github.com/huxiaocheng/be-a-programmer)
力扣 109. 有序链表转换二叉搜索树给定一个单链表,其中的元素按升序排序,将其转换为高度平衡的二叉搜索树。
如果你现在也想学习前端开发技术,在学习前端的过程当中有遇见任何关于学习方法,学习路线,学习效率等方面的问题,你都可以加入到我的Q群中:前114中6649后671,里面有许多前端学习资料以及2020大厂面试真题 点赞、评论、转发 即可免费获取,希望能够对你们有所帮助。