ダウンロード (Vector)
数独の問題を入力すると答えを教えてくれます。対角線についても1～9が1つずつ入るルールを適用した対角線数独も解けます。数字が重複して矛盾がある場合、色を着けて教えてくれます。また、入れられる数字の候補を表示します。 解答を見つけるアルゴリズムは総当りです。これは同じ解き方をしたコンソールプログラムのソースです。
解が1つに決まる問題の内、最も少ない初期ヒント数は17のものが見つかっていることを知りました。16のものも総当りで探せるのではと思いましたが、チェックすべき組み合わせは数字の入れ替えとマス全体の回転、反転による組み合わせの増加分を除いても膨大になります。その後アイルランドの数学者が初期ヒント数が16の問題は存在しないと証明したと知りました。