Sudokuシリーズその3

Splr-0.6.0のリリース直前のベンチマークをしながら、息抜きでもっと大きなSudokuを探してみました。

http://www.sudoku-download.net/sudoku_64x64.php

さあこの問題をSplrで解いてみよう。

元データがpdfしかないので人手で取り込み、変換、間違いの修正に3時間掛かって、ようやくSplrの出番。20秒で正解でした。

大きさの割に空欄が少ないのでN=25と比べてそんなに計算量は増えないだろうと思ったのが2桁近く増えてしまった。なかなか勘はあたらないものだなあ。 ちなみに生成されるCNFの大きさはこんな感じ。

• 変数数: 262144 = (2^6)^3 = 1M * 2^(-2)
• 節数: 41048269
• ファイルサイズ: 678MB
• （参考：sudoku25のファイルサイズは14MB）

コミットしなくてよかった。

ということで今日も5時間ほど遊んでしまった。はやく年賀状描かねば。。。