每日一练：“打家劫舍“（House Robber）问题 II

• 有想要了解打家劫舍初级问题的，可以点击下面链接查看！

  每日一练：“打家劫舍“（House Robber）问题 I

1. 问题

  假设有房屋形成一个环形，即第一个房屋和最后一个房屋也相邻，每个房屋里都存放着一定数量的财宝。相邻的房屋装有相互连通的防盗系统，如果两个相邻的房屋在同一晚上被小偷闯入，系统会自动报警。
  求解的问题是，小偷在不触发警报的情况下，一晚上最多能偷到多少财宝。

2. 解题思路（状态转移方程）

2.1 状态转移方程

  状态转移方程是系统动力学中描述系统状态随时间演变的数学方程。这种方程通常用来表示系统的状态如何从一个时间点转移到下一个时间点。在控制理论、物理系统建模、经济学等领域，状态转移方程是非常常见且重要的概念。
  一般而言，状态转移方程可以用如下的形式表示：

  ·x(t)是系统在时间t的状态向量。
  ·u(t)是在时间t的输入向量。
  ·A是状态转移矩阵，描述系统状态如何随时间演变。
  ·B是输入矩阵，描述输入如何影响状态的演变。
  这个方程表示系统在下一个时间点的状态x(t+1)是当前状态x(t)通过矩阵A的变换加上输入u(t)通过矩阵B的变换得到的。
  在一些应用中，状态转移方程也可能包含时间的影响、随机扰动等因素，具体形式可能会更加复杂。

2.2 解题思路

  为了应用状态转移方程解决这个问题，可以将问题抽象成一个动态规划问题，其中状态表示小偷在每个房屋处的状态。假设有n个房屋，用f()表示小偷在第个房屋时能够获得的最大财物价值。状态转移方程可以表示为:

  f(i)是在第个房屋时能够获得的最大财物价值价值[i是第我个房屋中的财物价值。
  f(i-1)表示小偷选择不盗窃当前房屋，所以能够获得的最大财物价值与前一个房屋的最大财物价值相同。
  F(i-2)+value[i]表示小偷选择盗窃当前房屋，所以能够获得的最大财物价值为前两个房屋的最大财物价值加上当前房屋的财物价值。

  这个状态转移方程反映了一个典型的动态规划问题，通过递推求解，可以找到小偷在整个房屋序列中能够获得的最大财物价值。这个问题的动态规划解法避免了重复计算，提高了效率

3. 代码设计思路

  当处理环形房屋的打家劫舍问题时，我们可以利用动态规划的思想，定义一个动态规划数组 dp，其中 dp[i] 表示前 i 个房屋中小偷能够偷到的最大财宝数量。然后可以利用状态转移方程来更新dp 数组。

  在这个问题中，有两种情况需要考虑：
  1）小偷偷第一个房屋，不偷最后一个房屋：这意味着小偷只能在第二个房屋到最后一个房屋中选择偷窃。这个时候状态转移方程为：
  

  2）小偷不偷第一个房屋，偷最后一个房屋：这意味着小偷只能在第一个房屋到倒数第二个房屋中选择偷窃。这个时候状态转移方程为：
  

3. 代码实现

def rob(nums):
    # 如果输入为空列表，则返回0，表示没有房屋可以抢劫
    if not nums:
        return 0

    # 定义rob_range函数，用于计算在指定范围内的房屋中能够抢到的最大金额
    def rob_range(start, end):
        prev, curr = 0, 0
        # 遍历指定范围内的房屋
        for i in range(start, end + 1):
            # 记录当前位置的最大值，即当前位置的最大金额
            temp = curr
            # 更新当前位置的最大值，考虑是否抢劫当前房屋
            curr = max(prev + nums[i], curr)
            # 更新前一个位置的最大值，为下一次迭代做准备
            prev = temp
        # 返回指定范围内的最大金额
        return curr

    # 返回不抢劫第一间房和不抢劫最后一间房的两种情况的最大值
    return max(rob_range(0, len(nums) - 2), rob_range(1, len(nums) - 1))

# 示例
nums = [2, 3, 2, 5, 7]
result = rob(nums)
print(result)

  1）rob函数是主函数，接受一个代表每个房屋可抢劫金额的列表nums。
  2）在函数开头，检查nums是否为空，如果为空则返回0，因为没有房屋可以抢劫。
  3）rob_range函数是用于计算在指定范围内的房屋中能够抢到的最大金额的辅助函数。
  4）在rob_range函数中，使用动态规划的思想，遍历指定范围内的房屋，计算在每个位置能够抢到的最大金额。
  5）主函数中调用两次rob_range函数，分别表示不抢劫第一间房和不抢劫最后一间房的两种情况。
  最终返回两种情况的最大值，即能够在不触发警报的情况下抢到的最大金额。

4. 动态规划算法

  通常用于求解具有某种最优性质的问题。
  在这类问题中，可能会有许多可行解。每一个解都对应于一个值，希望找到具有最优值的解。
  动态规划算法与分治法类似，其基本思想也是将待求解问题分解成若干个子问题，先求解子问题，然后从这些子问题的解得到原问题的解。与分治法不同的是，适合于用动态规划求解的问题，经分解得到子问题往往不是互相独立的。若用分治法来解这类问题，则分解得到的子问题数目太多，有些子问题被重复计算了很多次。
  如果我们能够保存已解决的子问题的答案，而在需要时再找出已求得的答案，这样就可以避免大量的重复计算，节省时间。
  可以用一个表来记录所有已解的子问题的答案。不管该子问题以后是否被用到，只要它被计算过，就将其结果填入表中。这就是动态规划法的基本思路。具体的动态规划算法多种多样，但它们具有相同的填表格式。

5. 动态规划术语

  阶段：把所给求解问题的过程恰当地分成若干个相互联系的阶段，以便于求解，过程不同，阶段数就可能不同．描述阶段的变量称为阶段变量。在多数情况下，阶段变量是离散的，用k表示。此外，也有阶段变量是连续的情形。如果过程可以在任何时刻作出决策，且在任意两个不同的时刻之间允许有无穷多个决策时，阶段变量就是连续的 。

  状态：状态表示每个阶段开始面临的自然状况或客观条件，它不以人们的主观意志为转移，也称为不可控因素。在上面的例子中状态就是某阶段的出发位置，它既是该阶段某路的起点，同时又是前一阶段某支路的终点。

  无后效性：我们要求状态具有下面的性质：如果给定某一阶段的状态，则在这一阶段以后过程的发展不受这阶段以前各段状态的影响，所有各阶段都确定时，整个过程也就确定了。换句话说，过程的每一次实现可以用一个状态序列表示，在前面的例子中每阶段的状态是该线路的始点，确定了这些点的序列，整个线路也就完全确定。从某一阶段以后的线路开始，当这段的始点给定时，不受以前线路（所通过的点）的影响。状态的这个性质意味着过程的历史只能通过当前的状态去影响它的未来的发展，这个性质称为无后效性。

  决策：一个阶段的状态给定以后，从该状态演变到下一阶段某个状态的一种选择（行动）称为决策。在最优控制中，也称为控制。在许多问题中，决策可以自然而然地表示为一个数或一组数。不同的决策对应着不同的数值。描述决策的变量称决策变量，因状态满足无后效性，故在每个阶段选择决策时只需考虑当前的状态而无须考虑过程的历史 [6] 。
决策变量的范围称为允许决策集合 。

  策略：由每个阶段的决策组成的序列称为策略。对于每一个实际的多阶段决策过程，可供选取的策略有一定的范围限制，这个范围称为允许策略集合 。
  允许策略集合中达到最优效果的策略称为最优策略。
  给定k阶段状态变量x(k)的值后，如果这一阶段的决策变量一经确定，第k+1阶段的状态变量x(k+1)也就完全确定，即x(k+1)的值随x(k)和第k阶段的决策u(k)的值变化而变化，那么可以把这一关系看成(x(k)，u(k))与x(k+1)确定的对应关系，用x(k+1)=Tk(x(k),u(k))表示。这是从k阶段到k+1阶段的状态转移规律，称为状态转移方程 。

  最优化原理：作为整个过程的最优策略，它满足：相对前面决策所形成的状态而言，余下的子策略必然构成“最优子策略”。
  最优性原理实际上是要求问题的最优策略的子策略也是最优。