打家劫舍

难度：中等

你是一个专业的小偷，计划偷窃沿街的房屋。每间房内都藏有一定的现金，影响你偷窃的唯一制约因素就是相邻的房屋装有相互连通的防盗系统，如果两间相邻的房屋在同一晚上被小偷闯入，系统会自动报警。

给定一个代表每个房屋存放金额的非负整数数组，计算你 不触动警报装置的情况下 ，一夜之内能够偷窃到的最高金额。

示例 1：

输入：[1,2,3,1]
输出：4
解释：偷窃 1 号房屋 (金额 = 1) ，然后偷窃 3 号房屋 (金额 = 3)。
     偷窃到的最高金额 = 1 + 3 = 4 。

示例 2：

输入：[2,7,9,3,1]
输出：12
解释：偷窃 1 号房屋 (金额 = 2), 偷窃 3 号房屋 (金额 = 9)，接着偷窃 5 号房屋 (金额 = 1)。
     偷窃到的最高金额 = 2 + 9 + 1 = 12 。

解法一、递归

思路：
根据对题目分析可以发现，此问题可以拆分为多个子问题来解决，由于不是主要推荐解法，不过多叙述。

时间复杂度： $O(2^n)$，其中 $n$ 是数组的长度。
空间复杂度： $O(n)$，其中 $n$ 是数组的长度。空间复杂度取决于递归使用的栈空间。

class Solution:
    def rob(self, nums: List[int]) -> int:
        def maxMoney(index):
            if index == -1:
                return 0
            if index == 0:
                return nums[0]
            return max(maxMoney(index-1), maxMoney(index-2) + nums[index])
        return maxMoney(len(nums)-1)

解法二、去重递归

思路：
此解法是对递归的一个优化，由于递归中存在过多重复计算因素，所以可以采用备忘录的方式进行优化。

时间复杂度： $O(n)$，其中 $n$ 是数组的长度，第一次递归某个值需要调用递归函数。
空间复杂度： $O(n)$，其中 $n$ 是数组的长度，备忘录所占空间。

class Solution:
    def rob(self, nums: List[int]) -> int:
        savelis = [None] * len(nums)
        def maxMoney(index):
            if index == -1:
                return 0
            if index == 0:
                return nums[0]
            if savelis[index-1] is None:
                savelis[index-1] = maxMoney(index-1)
            if savelis[index-2] is None:
                savelis[index-2] = maxMoney(index-2)
            return max(savelis[index-1], savelis[index-2] + nums[index])
        return maxMoney(len(nums)-1)

解法三、动态规划（重点）

思路：
如果你对于动态规划还不是很了解，或者没怎么做过动态规划的题目的话，那么 House Robber （小偷问题）这道题是一个非常好的入门题目。本文会以 House Robber 题目为例子，讲解动态规划题目的四个基本步骤。

动态规划的的四个解题步骤是：

• 定义子问题
• 写出子问题的递推关系
• 确定 DP 数组的计算顺序
• 空间优化（可选）

下面我们一步一步地进行讲解。

步骤一：定义子问题
稍微接触过一点动态规划的朋友都知道动态规划有一个“子问题”的定义。什么是子问题？子问题是和原问题相似，但规模较小的问题。例如这道小偷问题，原问题是“从全部房子中能偷到的最大金额”，将问题的规模缩小，子问题就是“从 $k$ 个房子中能偷到的最大金额”，用 $f(k)$ 表示。

可以看到，子问题是参数化的，我们定义的子问题中有参数 $k$。假设一共有 $n$ 个房子的话，就一共有 $n$ 个子问题。动态规划实际上就是通过求这一堆子问题的解，来求出原问题的解。这要求子问题需要具备两个性质：

• 原问题要能由子问题表示。例如这道小偷问题中，$k=n$ 时实际上就是原问题。否则，解了半天子问题还是解不出原问题，那子问题岂不是白解了。
• 一个子问题的解要能通过其他子问题的解求出。例如这道小偷问题中，$f(k)$ 可以由 $f(k-1)$ 和 $f(k-2)$ 求出，具体原理后面会解释。这个性质就是教科书中所说的“最优子结构”。如果定义不出这样的子问题，那么这道题实际上没法用动态规划解。

小偷问题由于比较简单，定义子问题实际上是很直观的。一些比较难的动态规划题目可能需要一些定义子问题的技巧。

步骤二：写出子问题的递推关系

这一步是求解动态规划问题最关键的一步。然而，这一步也是最无法在代码中体现出来的一步。在做题的时候，最好把这一步的思路用注释的形式写下来。做动态规划题目不要求快，而要确保无误。否则，写代码五分钟，找 bug 半小时，岂不美哉？

我们来分析一下这道小偷问题的递推关系：

假设一共有 $n$ 个房子，每个房子的金额分别是 $H_0,H_1,\dots ,H_{n-1}$，子问题 $f(k)$ 表示从前 $k$ 个房子（即 $H_0,H_1,\dots ,H_{k-1}$ 中能偷到的最大金额。那么，偷 $k$ 个房子有两种偷法：

$k$ 个房子中最后一个房子是 $H_{k-1}$ 。如果不偷这个房子，那么问题就变成在前 $k-1$ 个房子中偷到最大的金额，也就是子问题 $f(k-1)$。如果偷这个房子，那么前一个房子 $H_{k-2}$ 显然不能偷，其他房子不受影响。那么问题就变成在前 $k-2$ 个房子中偷到的最大的金额加上 $H_{k-1}$ 的金额。两种情况中，选择金额较大的一种结果。
f ( k ) = m a x { f ( k − 1 ) , H k − 1 + f ( k − 2 ) } f(k)=max\{f(k−1),H_{k−1} +f(k−2)\} f(k)=max{f(k−1),Hk−1​+f(k−2)}

在写递推关系的时候，要注意写上 $k=0$ 和$k=1$ 的基本情况：

• 当 $k=0$ 时，没有房子，所以 $f(0)=0$ 。
• 当 $k=1$ 时，只有一个房子，偷这个房子即可，所以 $f(1)=H_0$ 。

这样才能构成完整的递推关系，后面写代码也不容易在边界条件上出错。

步骤三：确定 DP 数组的计算顺序

在确定了子问题的递推关系之后，下一步就是依次计算出这些子问题了。在很多教程中都会写，动态规划有两种计算顺序，一种是自顶向下的、使用备忘录的递归方法，一种是自底向上的、使用 dp 数组的循环方法。不过在普通的动态规划题目中，99% 的情况我们都不需要用到备忘录方法，所以我们最好坚持用自底向上的 dp 数组。

DP 数组也可以叫”子问题数组”，因为 DP 数组中的每一个元素都对应一个子问题。如下图所示，dp[k] 对应子问题 $f(k)$，即偷前 $k$ 间房子的最大金额。

那么，只要搞清楚了子问题的计算顺序，就可以确定 DP 数组的计算顺序。对于小偷问题，我们分析子问题的依赖关系，发现每个 $f(k)$ 依赖 $f(k-1)$ 和 $f(k-2)$。也就是说，dp[k] 依赖 dp[k-1] 和 dp[k-2]，如下图所示。

那么，既然 DP 数组中的依赖关系都是向右指的，DP 数组的计算顺序就是从左向右。这样我们可以保证，计算一个子问题的时候，它所依赖的那些子问题已经计算出来了。

确定了 DP 数组的计算顺序之后，我们就可以写出题解代码。

时间复杂度： $O(n)$，其中 $n$ 是数组的长度。
空间复杂度： $O(n)$，其中 $n$ 是数组的长度，DP 数组所占空间。

class Solution:
    def rob(self, nums: List[int]) -> int:
    
	    # 子问题：
	    # f(k) = 偷 [0..k) 房间中的最大金额
	
	    # f(0) = 0
	    # f(1) = nums[0]
	    # f(k) = max{ rob(k-1), nums[k-1] + rob(k-2) }
	    
        length = len(nums)
        dp = [0, nums[0]] + [None] * (length - 1)
        for i in range(2, length+1):
            dp[i] = max(dp[i-1], dp[i-2]+nums[i-1])
        return dp[length]

解法四、动态规划空间优化（重点）

思路：
空间优化是动态规划问题的进阶内容了。对于初学者来说，可以不掌握这部分内容。

空间优化的基本原理是，很多时候我们并不需要始终持有全部的 DP 数组。对于小偷问题，我们发现，最后一步计算 $f(n)$ 的时候，实际上只用到了$f(n-1)$ 和 $f(n-2)$ 的结果。$n-3$ 之前的子问题，实际上早就已经用不到了。那么，我们可以只用两个变量保存两个子问题的结果，就可以依次计算出所有的子问题。下面的动图比较了空间优化前和优化后的对比关系：

时间复杂度： $O(n)$，其中 $n$ 是数组的长度。
空间复杂度： $O(1)$。

class Solution:
    def rob(self, nums: List[int]) -> int:
        p1, p2 = 0, 0
        
        # 每次循环，计算“偷到当前房子为止的最大金额”
        for i in nums:
	        # 循环开始时，p2 表示 dp[k-1]，p1 表示 dp[k-2]
	        # dp[k] = max{ dp[k-1], dp[k-2] + i }
            p1, p2 = p2, max(p2, p1 + i)
            # 循环结束时，p2 表示 dp[k]，p1 表示 dp[k-1]
            
        return p2

来源：力扣（LeetCode）
题目来源链接：https://leetcode.cn/problems/house-robber
动态规划思路链接：https://leetcode.cn/problems/house-robber/solutions/138131/dong-tai-gui-hua-jie-ti-si-bu-zou-xiang-jie-cjavap/