_ スパコンで作ったという難しい数独問題、大昔に書いた 自作ソルバーに解かせてみたら、実は人間が簡単に解けちゃうぜ、の問題が34秒、簡単に解けちゃうから作りなおしたぜ、が4.3秒、作りなおしたぜその2、が0.07秒だった。作りなおすたびに簡単になってるじゃないか…。まあ、人間が解くのと力ずくで計算で解くのとではだいぶ違うのかもしれんけど。そこで紹介されている過去に作られたという難問は、(a) の2010年版が 0.09秒、(b) 2012年版が 2.6秒だったので、これらより難しいのはたしかなようだが、それでもたいした計算量ではない。
_ 速い言語を使ってるわけでも高速化するためのテクニックを駆使してるわけでもないダサいソルバーなので、真面目に作ったソルバーならたぶん一瞬で解けるんじゃないかな。
_ 何が言いたいかというと、数独は計算で解かせてしまうと、問題を作る側より解く側の圧勝になっておもしろくもなんともないぞ、ということ。