代码随想录Day 39|打家劫舍问题，leetcode题目：198.打家劫舍、213.打家劫舍Ⅱ、337.打家劫舍Ⅲ

提示：DDU，供自己复习使用。欢迎大家前来讨论~

题目

题目一：198.打家劫舍

[198. 打家劫舍](https://leetcode.cn/problems/combinations/)

解题思路：

初次接触这类问题时，可能会对如何决策感到困惑：是选择偷窃当前房屋还是跳过。

但深入思考后，是否偷窃当前房屋实际上取决于前一个房屋和前两个房屋的偷窃情况。

**这种决策与之前状态之间的依赖关系，**正是动态规划递推公式的核心所在。

通过建立这种依赖关系，我们可以逐步构建出最优解。

打家劫舍问题就是动态规划解决的经典例子，它展示了如何通过分析状态之间的相互影响来找到最优解。

动规五部曲分析如下：

1. 确定dp数组（dp table）以及下标的含义

dp[i]：考虑下标i（包括i）以内的房屋，最多可以偷窃的金额为dp[i]。

2. 确定递推公式

决定dp[i]的因素就是第i房间偷还是不偷。

• 偷第i房间，那么dp[i] = dp[i - 2] + nums[i] ，相邻房间不能偷，所以是i - 1 - 1= i - 2

• 不偷第i房间，那么dp[i] = dp[i - 1]，即考 虑i-1房，（注意这里是考虑，并不是一定要偷i-1房）。

• 最后dp[i]取最大值，即dp[i] = max(dp[i - 2] + nums[i], dp[i - 1]);

3. dp数组如何初始化

从递推公式dp[i] = max(dp[i - 2] + nums[i], dp[i - 1]);可以看出，递推公式的基础就是dp[0] 和 dp[1]

从dp[i]的定义上来讲，dp[0] 一定是 nums[0]，dp[1]就是nums[0]和nums[1]的最大值（相邻只能选择一个偷）即：dp[1] = max(nums[0], nums[1]);

代码如下：

vector<int> dp(nums.size());
dp[0] = nums[0];
dp[1] = max(nums[0], nums[1]);

4. 确定遍历顺序

dp[i] 是根据dp[i - 2] 和 dp[i - 1] 推导出来的，那么一定是从前到后遍历！（要利用到前面的数组）

代码如下：

for (int i = 2; i < nums.size(); i++) {
    dp[i] = max(dp[i - 2] + nums[i], dp[i - 1]);
}

5. 举例推导dp数组

以示例二，输入[2,7,9,3,1]为例。

红框dp[nums.size() - 1]为结果。

以上分析完毕，C++代码如下：

class Solution {
public:
    int rob(vector<int>& nums) {
        if (nums.size() == 0) return 0;
        if (nums.size() == 1) return nums[0];
        vector<int> dp(nums.size());
        dp[0] = nums[0];
        dp[1] = max(nums[0], nums[1]);
        for (int i = 2; i < nums.size(); i++) {
            dp[i] = max(dp[i - 2] + nums[i], dp[i - 1]);
        }
        return dp[nums.size() - 1];
    }
};

• 时间复杂度: O(n)
• 空间复杂度: O(n)

小结：打家劫舍是DP解决的经典题目，这道题也是打家劫舍入门级题目

题目二：213.打家劫舍II

213. 打家劫舍 II

解题思路：

这道题目和198.打家劫舍 (opens new window)是差不多的，唯一区别就是成环了。

将题目进行分解：

对于一个数组，成环的话主要有如下三种情况：

• 情况一：考虑不包含首尾元素

• 情况二：考虑包含首元素，不包含尾元素

• 情况三：考虑包含尾元素，不包含首元素

在处理数组问题时，虽然需要考虑包含数组尾部元素的情况（情况三），但并不是说必须选择尾部元素。

选择的关键在于最大化结果，而不是盲目包含特定元素。 对于情况三，取nums[1] 和 nums[3]就是最大的。

而情况二 和 情况三 都包含了情况一了，所以只考虑情况二和情况三就可以了。

分析到这里，本题其实比较简单了。 剩下的和198.打家劫舍 (opens new window)就是一样的了。

代码如下：

// 注意注释中的情况二情况三，以及把198.打家劫舍的代码抽离出来了
class Solution {
public:
    int rob(vector<int>& nums) {
        if (nums.size() == 0) return 0;
        if (nums.size() == 1) return nums[0];
        int result1 = robRange(nums, 0, nums.size() - 2); // 情况二
        int result2 = robRange(nums, 1, nums.size() - 1); // 情况三
        return max(result1, result2);
    }
    // 198.打家劫舍的逻辑
    int robRange(vector<int>& nums, int start, int end) {
        if (end == start) return nums[start];
        vector<int> dp(nums.size());
        dp[start] = nums[start];
        dp[start + 1] = max(nums[start], nums[start + 1]);
        for (int i = start + 2; i <= end; i++) {
            dp[i] = max(dp[i - 2] + nums[i], dp[i - 1]);
        }
        return dp[end];
    }
};

• 时间复杂度: O(n)
• 空间复杂度: O(n)

题目三： 337.打家劫舍 III

[337. 打家劫舍 III](https://leetcode.cn/problems/letter-combinations-of-a-phone-number/)

解题思路

当前讨论的树结构问题与“打家劫舍”系列问题（如LeetCode的198和213题）在本质上是类似的，都是关于选择和决策的问题。

树的遍历：对于树的问题，首先需要确定遍历方式。可以选择深度优先搜索（前序、中序、后序遍历）或广度优先搜索（层序遍历）。

1. 遍历顺序的选择：本题需要使用后序遍历，这是因为后序遍历先处理子节点，再处理当前节点，符合题目中通过递归函数返回值来计算下一步的需求。

2. 决策点：与“打家劫舍”问题一样，本题的关键在于决定是否“抢劫”（或选择）当前节点。如果选择了当前节点，那么它的子节点就不能被选择；如果没有选择当前节点，那么可以考虑选择其子节点。

总结：理解树的遍历方式和如何根据子节点的状态来决定当前节点的决策是解决这类问题的关键。后序遍历提供了一种自然的解决方案，因为它允许我们先解决子问题，再根据子问题的解来解决当前问题。

暴力递归

代码如下：

class Solution {
public:
    int rob(TreeNode* root) {
        if (root == NULL) return 0;
        if (root->left == NULL && root->right == NULL) return root->val;
        // 偷父节点
        int val1 = root->val;
        if (root->left) val1 += rob(root->left->left) + rob(root->left->right); // 跳过root->left，相当于不考虑左孩子了
        if (root->right) val1 += rob(root->right->left) + rob(root->right->right); // 跳过root->right，相当于不考虑右孩子了
        // 不偷父节点
        int val2 = rob(root->left) + rob(root->right); // 考虑root的左右孩子
        return max(val1, val2);
    }
};

• 时间复杂度：O(n^2)，这个时间复杂度不太标准，也不容易准确化，例如越往下的节点重复计算次数就越多
• 空间复杂度：O(log n)，算上递推系统栈的空间

当然以上代码超时了，这个递归的过程中其实是有重复计算了。

计算了root的四个孙子（左右孩子的孩子）为头结点的子树的情况，又计算了root的左右孩子为头结点的子树的情况，计算左右孩子的时候其实又把孙子计算了一遍。

记忆化递推

所以可以使用一个map把计算过的结果保存一下，这样如果计算过孙子了，那么计算孩子的时候可以复用孙子节点的结果。

代码如下：

class Solution {
public:
    unordered_map<TreeNode* , int> umap; // 记录计算过的结果
    int rob(TreeNode* root) {
        if (root == NULL) return 0;
        if (root->left == NULL && root->right == NULL) return root->val;
        if (umap[root]) return umap[root]; // 如果umap里已经有记录则直接返回
        // 偷父节点
        int val1 = root->val;
        if (root->left) val1 += rob(root->left->left) + rob(root->left->right); // 跳过root->left
        if (root->right) val1 += rob(root->right->left) + rob(root->right->right); // 跳过root->right
        // 不偷父节点
        int val2 = rob(root->left) + rob(root->right); // 考虑root的左右孩子
        umap[root] = max(val1, val2); // umap记录一下结果
        return max(val1, val2);
    }
};

• 时间复杂度：O(n)
• 空间复杂度：O(log n)，算上递推系统栈的空间

动态规划

在上面两种方法，其实对一个节点 偷与不偷得到的最大金钱都没有做记录，而是需要实时计算。

而动态规划其实就是使用状态转移容器来记录状态的变化，这里可以使用一个长度为2的数组，记录当前节点偷与不偷所得到的的最大金钱。

这道题目算是树形dp的入门题目，因为是在树上进行状态转移，我们在讲解二叉树的时候说过递归三部曲，那么下面我以递归三部曲为框架，其中融合动规五部曲的内容来进行讲解。

1. 确定递归函数的参数和返回值

一个节点 偷与不偷的两个状态所得到的金钱，那么返回值就是一个长度为2的数组。

参数为当前节点，代码如下：

vector<int> robTree(TreeNode* cur) {

其实这里的返回数组就是dp数组。

所以dp数组（dp table）以及下标的含义：下标为0记录不偷该节点所得到的的最大金钱，下标为1记录偷该节点所得到的的最大金钱。

所以本题dp数组就是一个长度为2的数组！

在递归过程中，系统会自动为每一层递归保存其参数，因此即使使用长度为2的数组来记录每个节点的偷与不偷状态，也能通过递归调用和系统栈的自然保存机制来正确处理树中每个节点的状态。

2. 确定终止条件

在遍历的过程中，如果遇到空节点的话，很明显，无论偷还是不偷都是0，所以就返回

if (cur == NULL) return vector<int>{0, 0};

这也相当于dp数组的初始化

3. 确定遍历顺序

首先明确的是使用后序遍历。 因为要通过递归函数的返回值来做下一步计算。

通过递归左节点，得到左节点偷与不偷的金钱。

通过递归右节点，得到右节点偷与不偷的金钱。

代码如下：

// 下标0：不偷，下标1：偷
vector<int> left = robTree(cur->left); // 左
vector<int> right = robTree(cur->right); // 右
// 中

4. 确定单层递归的逻辑

• 如果是偷当前节点，那么左右孩子就不能偷，val1 = cur->val + left[0] + right[0];

• 如果不偷当前节点，那么左右孩子就可以偷，至于到底偷不偷一定是选一个最大的，所以：val2 = max(left[0], left[1]) + max(right[0], right[1]);

最后当前节点的状态就是{val2, val1}; 即：{不偷当前节点得到的最大金钱，偷当前节点得到的最大金钱}

代码如下：

vector<int> left = robTree(cur->left); // 左
vector<int> right = robTree(cur->right); // 右

// 偷cur
int val1 = cur->val + left[0] + right[0];
// 不偷cur
int val2 = max(left[0], left[1]) + max(right[0], right[1]);
return {val2, val1};

5. 举例推导dp数组

以示例1为例，dp数组状态如下：（注意用后序遍历的方式推导）

最后头结点就是 取下标0 和 下标1的最大值就是偷得的最大金钱。

递归三部曲与动规五部曲分析完毕，C++代码如下：

class Solution {
public:
    int rob(TreeNode* root) {
        vector<int> result = robTree(root);
        return max(result[0], result[1]);
    }
    // 长度为2的数组，0：不偷，1：偷
    vector<int> robTree(TreeNode* cur) {
        if (cur == NULL) return vector<int>{0, 0};
        vector<int> left = robTree(cur->left);
        vector<int> right = robTree(cur->right);
        // 偷cur，那么就不能偷左右节点。
        int val1 = cur->val + left[0] + right[0];
        // 不偷cur，那么可以偷也可以不偷左右节点，则取较大的情况
        int val2 = max(left[0], left[1]) + max(right[0], right[1]);
        return {val2, val1};
    }
};

• 时间复杂度：O(n)，每个节点只遍历了一次
• 空间复杂度：O(log n)，算上递推系统栈的空间

小结：

树形动态规划并不神秘，它只是将动态规划和贪心算法的概念扩展到了树结构上。理解树的遍历方式是解决这类问题的关键。

1. 树形DP的本质：
   • 树形动态规划是动态规划在树结构上的应用，核心在于递归地在树上推导状态转移公式。
2. 树形DP的遍历方式：
   • 与传统的在数组上进行动态规划不同，树形DP需要对树进行遍历，这通常涉及到深度优先搜索（DFS）或广度优先搜索（BFS）。

---

总结

打家劫舍问题是一个经典的动态规划问题，通常用来描述在一系列房屋中进行选择以最大化收益的场景，同时遵守一定的约束（如不能连续偷窃相邻的房屋）。

1. 状态定义：
   • 定义 dp[i] 为考虑到第 i 个房屋时，能够偷窃到的最大金额。
2. 状态转移方程：
   • 状态转移考虑两种情况：偷窃当前房屋（dp[i] = dp[i-1] + nums[i]，其中 nums[i] 是第 i 个房屋的金额）和不偷窃当前房屋（dp[i] = dp[i-1]）。
   • 因此，dp[i] = max(dp[i-1], dp[i-2] + nums[i])，这表示可以选择偷窃当前房屋（此时不能偷窃前一个房屋）或者不偷窃当前房屋。
3. 边界条件：
   • 初始化 dp[0] 为 0，表示没有房屋时的金额为 0。
   • dp[1] 为第一个房屋的金额，表示只有第一个房屋可以偷窃时的最大金额。