また少し数独ジェネレータで実験してみた。ランダムに数字を抜き取るのではなく、対称性を考慮したほうがいいのではないか。なぜなら多くの人間が作る問題は左右、上下、あるいは反転、それらの組み合わせである回転対称などの対称性を持っていることが多い…

以下にある数独ソルバーを使って生成した問題に別解がないかチェックしてみた。http://codesnippets.joyent.com/posts/show/567シンプルなアプローチで100問中7問程度、対称性アプローチで100問中10問程度の割合で別解ありの問題となってしまっていたようだ…