a-san https://blog.hatena.ne.jp/a-san/ a-sanの日記 https://a-san.hatenadiary.org/ http://d.hatena.ne.jp/a-san/20090623#p1 ガーベージコレクションでよく使われる、Mark&Sweep法がこの問題に使えるのに気づきました。 攻略法がわかれば、あとは実装して終わり。 マークをつける代わりに、たどったところは集合として扱いました。 言語は久しぶりにHaskellを使ってみました。 {- 状態遷移で、到達しない状態を求める。 ガーベージコレクションの Mark & Sweep法と同じアルゴリズムを使っている。 -} import Data.Set as Set hiding (filter, map) -- 状態遷移 -- 0 は開始状態。 -… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fa-san.hatenadiary.org%2Fentry%2F20090626%2Fp2" title=" 不正な状態遷移を見つけるアルゴリズム - a-sanの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-06-26 00:00:01 rich https://a-san.hatenadiary.org/entry/20090626/p2 1.0 100%