いきさつ

あーPS3買ったのにやりたいゲームないなー

↓

体験版やるか

↓

GT5 prologue体験版も飽きたなー

てか、prologueの体験版かー

GT5は来年12月って.....

↓

レミング........

↓

ぽちゃぽちゃあひるちゃん.............（買った \840）

↓

.................

↓

カズオ........

他の数独ソルバーのアルゴリズム

ところで、これらの（コード公開の）ソルバーには次の共通点があります。

空白マスがたくさんある（＝仮定がたくさん必要な）問題に対しては目に見えて高速に解けるようになります。

直感的には、次の２つのループ回数

（外側）9×9×9×...×9×8×5×2（内側）

と

（外側）2×5×8×9×...×9×9×9（内側）

との違いといいますか。（ループ回数はイメージです）

ループの内側にいくにしたがって、仮定したことによる候補の絞りこみで結構すぐに矛盾があらわになりがちだと思うんですね。なので、最外ループの反復回数が少ないと、わりとすぐに探索木が半分になったりするわけです。