关于Python中House Robber问题两种赋值方式结果差异的咨询

这是个非常典型的Python赋值机制问题，核心区别在于并行赋值是先计算所有右侧值再统一赋值，而顺序赋值是逐个执行并覆盖变量——这直接影响了House Robber问题里的状态转移逻辑，咱们用你的测试数组[3,5,3]一步步拆解就能看明白。

先搞懂并行赋值的逻辑 #

在这段代码里：

last, now = now, max(last + element, now)

Python会先完成等号右侧所有表达式的计算，把结果存在临时的元组里，再一次性把元组里的值分别赋值给左边的last和now。也就是说，右侧用到的last和now，全都是循环迭代开始前的旧值，不会被中间的赋值操作提前修改。

咱们走一遍[3,5,3]的流程：

• 初始状态：last=0, now=0
• 第一次循环（element=3）：
  右侧先算：now=0，max(0+3, 0)=3 → 临时元组是(0,3)
  赋值后：last=0, now=3（符合逻辑：选第一个3，当前最大是3）
• 第二次循环（element=5）：
  右侧先算：now=3，max(0+5, 3)=5 → 临时元组是(3,5)
  赋值后：last=3, now=5（符合逻辑：选5比选3+5更优，当前最大是5）
• 第三次循环（element=3）：
  右侧先算：now=5，max(3+3,5)=6 → 临时元组是(5,6)
  赋值后：last=5, now=6（正确结果：选第一个3+第三个3，或者第二个5，最大是6）

再看顺序赋值的问题 #

而这段拆分后的代码：

last = now
now = max(last + element, now)

是逐个执行赋值：先把now的旧值赋给last，此时last已经变成了新值；接下来计算max(last + element, now)的时候，用到的last已经是更新后的变量，完全破坏了House Robber的状态转移规则（我们需要用迭代前的last来计算新的now）。

同样走一遍[3,5,3]的流程：

• 初始状态：last=0, now=0
• 第一次循环（element=3）：
  last = now → last=0
now = max(0+3,0)=3 → 结果和并行一致，没问题
• 第二次循环（element=5）：
  last = now → last=3（这里已经把last改成了旧now的值）
  now = max(3+5,3)=8 → 错误！因为按照规则，我们应该用迭代前的last=0来计算0+5=5，再和旧now=3取最大值，结果应该是5，而不是用更新后的last=3加5得到8
• 第三次循环（element=3）：
  last = now → last=8
now = max(8+3,8)=11 → 彻底错误，相当于把所有数都加起来了，完全违背了“不能抢劫相邻房屋”的规则

总结核心差异 #

House Robber的状态转移逻辑本质是：

• 新的now（当前最大金额）= max(抢当前房屋：旧last+当前金额，不抢当前房屋：旧now)
• 新的last = 旧now

并行赋值完美匹配这个逻辑，因为它确保了所有计算都基于赋值前的旧变量；而顺序赋值会提前修改last，导致后续计算用了错误的变量值，最终得到错误结果。

内容的提问来源于stack exchange，提问作者Travis