grimm-grimm https://blog.hatena.ne.jp/grimm-grimm/ プログラミングのブログ https://progrimming.hatenablog.jp/ アルゴリズム 先ほどの記事で、変数順位の関係で数独の縦の制約を作るのが時間がかかり難しいと書いた。それで、縦の制約を緩めた制約を利用し、3×3のブロックの制約、横の制約と合わせた BDD を構築することにした。それを、深さ優先探索時の枝狩り手法と合わせて数独を解く。結果から言うとうまくいった。 www.sudokugame.org ここの問題の上級の314番を、さっきまでのコードではメモリが足りなくてだめだったが、解けるようになった。どんな制約を使ったのかを説明すると、 ----------------------------------------- | | | | | A | | | | | | | -… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fprogrimming.hatenablog.jp%2Fentry%2F2018%2F07%2F19%2F223520" 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-19 22:35:20 rich https://progrimming.hatenablog.jp/entry/2018/07/19/223520 1.0 100%