grimm-grimm https://blog.hatena.ne.jp/grimm-grimm/ プログラミングのブログ https://progrimming.hatenablog.jp/ アルゴリズム 昨日の制約を分割する手法でうまくいったが、ならもっと制約を分割したらどうなるのか試した。そうしたら逆に遅くなった。横の制約と3×3のブロックの制約を合わせた BDD へ統合するのにちょうどいい大きさに制約を分割する必要があって、昨日がたまたまうまくいったらしい。昨日の手法での時間を計ったら難しい問題を解くのに100秒ぐらいかかっている。時間がかかっているのは、3×3のブロックの1段目と2段目の縦の制約や2段目と3段目の縦の制約を大本の BDD に統合するところ。1段目と3段目の縦の制約は5秒ぐらいなので他よりも大分短い。他の問題は、大体10～15秒以内に解けている。必ずしも最上級の問題が時間が… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fprogrimming.hatenablog.jp%2Fentry%2F2018%2F07%2F20%2F194108" title="BDD で数独ソルバーを作るメモ３ - プログラミングのブログ" 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 2018-07-20 19:41:08 rich https://progrimming.hatenablog.jp/entry/2018/07/20/194108 1.0 100%