198. House Robber

[fhiyo]

https://leetcode.com/problems/house-robber/description/

[hayashi-ay]

素直に2変数使うほうが読みやすいかなと思もいました。自分は2周してようやく何をしているかが分かりました。

[fhiyo]

なるほど、ありがとうございます。
漸化式を配列で表したときの末尾2つ、というイメージで書いていたのであまり読みにくい発想なかったんですが、その考え方を共有できないと分かりにくくなるかもと思いました。
変数名ちょっと迷うんですが、左から順に更新するイメージでlast_max_money, second_last_max_moneyとかですかね...更新するときは

for i in range(2, len(nums)):
    max_money = max(last_max_money, second_last_max_money + nums[i])
    second_last_max_money = last_max_money
    last_max_money = max_money

みたいな。

[liquo-rice]

Invariant
Initial:
max_money_so_far: [max_money[0], max_money[1]]
loop i start:
max_money_so_far: [max_money[i - 2], max_money[i - 1]]
loop i end:
max_money_so_far: [max_money[i - 1], max_money[i]]
After loop:
max_money_so_far: [max_money[n - 2], max_money[n - 1]]

[fhiyo]

そうですね、そのイメージでした。

[liquo-rice]

Loop invariantをコメントに入れたら、分かりやすくなりそうでしょうか。（max_moneyはどこかで定義する）

        max_money_so_far = [nums[0], max(nums[:2])] # max_money_so_far: [max_money[0], max_money[1]]
        for i in range(2, len(nums)):
            # max_money_so_far: [max_money[i - 2], max_money[i - 1]]
            prev = max_money_so_far[1]
            max_money_so_far[1] = max(max_money_so_far[1], max_money_so_far[0] + nums[i])
            max_money_so_far[0] = prev
            # max_money_so_far: [max_money[i - 1], max_money[i]]

[oda]

so_far はこの場合はそりゃそうだろう感がありませんか。
この場合の特徴は、最後を使う場合、使わない場合ですかね。

[hayashi-ay]

こちらが自然な気がします。再帰を使う場合はTop Downのアプローチが向いていると思います。②はBottom Upだけど再帰を使っていて見慣れなかったです。

[shining-ai]

このコードだと len(nums) == 1を特別扱いする必要はないと思いました。

[fhiyo]

たしかに...！気づきませんでした、ありがとうございます。
でもこのコードで漸化式の初項しかない入力が来たときに、max_money_so_farに値を2つ入れるのちょっと違和感あります...特別な場合を無理やり同じ処理にまとめているというか。