递归算法实战：汉诺塔与合并两个有序链表详解

因为 A 中最后处理的是最大的盘子，所以在移动过程中不存在大盘子在小盘子上面的情况。 则本题可以被解释为：

1. 对于规模为 n 的问题，我们需要将 A 柱上的 n 个盘子移动到 C 柱上。
2. 规模为 n 的问题可以被拆分为规模为 n-1 的子问题：
   • 将 A 柱上的上面 n-1 个盘子移动到 B 柱上。
   • 将 A 柱上的最大盘子移动到 C 柱上，然后将 B 柱上的 n-1 个盘子移动到 C 柱上。
3. 当问题的规模变为 n=1 时，即只有一个盘子时，我们可以直接将其从 A 柱移动到 C 柱。

需要注意的是，步骤 2.b 考虑的是总体问题中的子问题 b 情况。在处理子问题的子问题 b 时，我们应该将 A 柱中的最上面的盘子移动到 C 柱，然后再将 B 柱上的盘子移动到 C 柱。在处理总体问题的子问题 b 时，A 柱中的最大盘子仍然是最上面的盘子，因此这种做法是通用的。

C++ 算法代码

class Solution {
public:
    void hanota(vector<int>& A, vector<int>& B, vector<int>& C) {
        dfs(A, B, C, A.size());
    }

    void dfs(vector<int>& x, vector<int>& y, vector<int>& z, int n) {
        if(n == 1) { // 递归结束条件：x 柱中只有一个盘子，直接放到 z 柱即可
            z.push_back(x.back());
            x.pop_back();
            return;
        }
        // 先将 n-1 个盘中利用 z 柱放到 y 柱上
        dfs(x, z, y, n-1);
        // 再将 x 柱中最底下的盘中放到 z 柱上
        z.push_back(x.back());
        x.pop_back();
        // 最后将 y 柱上 n-1 个盘子利用 x 柱放到 z 柱上
        dfs(y, x, z, n-1);
        return;
    }
};

算法总结及流程解析

2. 合并两个有序链表

题目链接

21. 合并两个有序链表 - 力扣（LeetCode）

题目描述

题目示例

解法 (递归)

算法思路

1. 递归函数的含义：交给你两个链表的头结点，你帮我把它们合并起来，并且返回合并后的头结点；
2. 函数体：选择两个头结点中较小的结点作为最终合并后的头结点，然后将剩下的链表交给递归函数去处理；
3. 递归出口：当某一个链表为空的时候，返回另外一个链表。

注意注意注意：链表的题一定要画图，搞清楚指针的操作！

C++ 算法代码

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode() : val(0), next(nullptr) {}
 *     ListNode(int x) : val(x), next(nullptr) {}
 *     ListNode(int x, ListNode *next) : val(x), next(next) {}
 * };
 */
class Solution {
public:
    ListNode* mergeTwoLists(ListNode* list1, ListNode* list2) {
        // 递归的结束条件为当其中一个链表走到头，返回另一个链表当前递归位置
        if(list1 == nullptr) {
            return list2;
        }
        if(list2 == nullptr) {
            return list1;
        }
        if(list1->val > list2->val) {
            // list1 的头节点更小，则将 list1->next 和 list2 放入该函数中实现两个链表的合并
            // 合并后就变成有序的了，返回的结点再于 list1 头节点相连则完成了合并
            // 具体 list1->next 和 list2 放入函数后怎么合并成有序我不管
            // 我相信函数能帮我实现出来，这也就是宏观视角看待递归
            list2->next = mergeTwoLists(list1, list2->next);
            return list2;
        } else {
            // 同理 list2 的头节点更小也是如此
            list1->next = mergeTwoLists(list1->next, list2);
            return list1;
        }
    }
};

算法总结及流程解析