solve: 139.Word Break

[t9a-dev]

問題: 139. Word Break
次に解く問題: 322. Coin Change
ファイルの構成: ./src/bin/<各ステップ>.rs

[naoto-iwase]

お疲れさまです。

（いつもなんですが）思考過程のログが非常に丁寧でとても良いなぁと感じました。こちらまで勉強になります。

DPを中心にコメントさせていただきました。

[naoto-iwase]

これは、word_dictのループに入る前にチェックできることであり、実際そうした方がパフォーマンスで有利だと思います。

[naoto-iwase]

あえてif-continueを選ばれたということだと思いますが、その後に行うsegmentable_words[i + word.len()] = trueはif節の不成立に密接に関連しているので、単に、

if peeked_word == word {
    segmentable_words[i + word.len()] = true;
}

の方が素直に感じます。これはif !segmentable_words[i] { break; }を外に出すことを前提にした提案ですね。

[naoto-iwase]

この実装においてsegmentable_words[i]の真偽は、「sのi番目より左がword_dictで分割可能」という意味になりますね。

この実装を自然言語で端的に述べると、「segmentable_words[i]がtrueかつs.get(i..i + word.len())のスライスがword_dictにあるならば、segmentable_words[i + word.len()]もtrue」ですよね。i + word.len()番目はスライスの右隣であることがやや直感的でないと感じるかもしれません。

そしてこのとき、segmentable_words[0]は、「sの0番目より左がword_dictで分割可能か」なので、「空文字列はword_dictで分割可能か」であり、それはtrueとなりますね。

[naoto-iwase]

これはいわゆる「配るDP」ですね。自分のソリューションを見返すと「貰うDP」で書いてました。
一応DPは実装方法がこの2つあることは知っておくと良い気がします。ちなみにこれらは競プロ用語らしいです。

「配るDP」は、たぶん競技プログラミング同好会用語です。探したら秋葉拓哉のスライドが出てきました。
https://www.slideshare.net/slideshow/ss-3578511/3578511#58

https://discord.com/channels/1084280443945353267/1226508154833993788/1307700721138929759

https://docs.google.com/document/d/11HV35ADPo9QxJOpJQ24FcZvtvioli770WWdZZDaLOfg/edit?tab=t.0#heading=h.ic8466had15a

[naoto-iwase]

i + word.len()はこの下でも出てくるのでendなどと名付けておくと読みやすいかもしれません。

[naoto-iwase]

以上のレビューコメントを反映した実装例を書いてみますね。

for i in 0..s.len() {
    if !segmentable_words[i] {
        continue;
    }

    for word in &word_dict {
        let end = i + word.len();
        if end > s.len() {
            continue;
        }
        
        if &s[i..end] == word {
            segmentable_words[end] = true;
        }
    }
}

let Some(peeked_word) = s.get(i..i + word.len()) else { continue; }のところは、i + word.len() <= s.len()と言い換えられます。DPもi + word.len()で登録していることから、この二重ループ内全体をend = i + word.len()を主役に据えて書くことで一貫性が高まると個人的に感じたのでそのように変更してみました。