Otter_O https://blog.hatena.ne.jp/Otter_O/ 取り急ぎブログです https://otter-o.hatenadiary.org/ Haskell Profile Optimization 数独ソルバー効率化第2回です…今回も20％程度の効率化なのですが内容が面白みにかけるのでさらっと…数独では一つのマスの値が決定したときにそのマスと依存関係にあるマスの制約条件が厳しくなります。時にはそれだけで値が決定してしまうこともあるわけです。 一つのマスについて3種類の依存関係があって、例えば一番左上のマス（０，０）は x軸：[(0, y) | y 3x3: delete (0, 0) [(x, y) | x のマスと依存関係があるのですが、上の3つの式の結果はお互いにダブっている部分があるので、それを取り除くと合計20のマスと依存関係があることがわかります。今回のソルバーでは依存関係を座… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fotter-o.hatenadiary.org%2Fentry%2F20080908%2F1220864120" title="Data.List.unionは結構重そう - 取り急ぎブログです" 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 2008-09-08 17:55:20 rich https://otter-o.hatenadiary.org/entry/20080908/1220864120 1.0 100%