BaySky雑記帳

奥深い数独

数独は微妙で奥深い。自作の数独問題には無数（数万？数十万？）の正解が存在するようです。フィンランドの科学者Arto Inkala博士が考案した数独プログラム「9 by 9 Sudoku Solver」を利用して、「解」を求めてみる（Solve）と正解が１個表示されます。果たして正解が何個あるのかチェック（Check Unique Solution）してみると、余りにも多すぎて制限時間（３０秒）内に割り出しきれません。そこで、少し変化させた次の数独問題は、正解が何と５,８７０個も存在すると判定されました。 更に少し変化させた次の数独問題は、正解が７０個存在すると判定されました。もう少し変化させた次の数独問題は、正解が４個存在すると判定されました。そして、更に少し変化させた次の数独問題は、正解が１個だけ存在すると判定されました。問題の難易度は、上記のいずれもが難題（Hard）と判定されました。