数独の解が
一意的に
決まるための
条件があるそうです
それは
最低でも
最初に
17カ所以上
数字が
埋まっていないと
解が
複数存在するという
ことだそうです
ここで
注意したいのは
17カ所と言っても
1が9コ
2が8コでは
明らかに
解は
一意的には
決まりません
理屈は簡単
例えば
その場合
3と4を
全て入れ替えれば
新しい解が
求められます
従って
こういう操作が
出来ないようにするには
少なくとも
1から9のうち
8コは
17カ所に
含まれていなければ
ならないということに
なります
数独の問題が
どのようにして
作られているのかは
知りませんが
真っ新の状態から
一つ
解を求めよということを
考えてみました
1 2 3 4 5 6 7 8 9
4 5 6 7 8 9 1 2 3
7 8 9 1 2 3 4 5 6
2 3 1 5 6 4 8 9 7
5 6 4 8 9 7 2 3 1
8 9 7 2 3 1 5 6 4
3 1 2 6 4 5 9 7 8
6 4 5 9 7 8 3 1 2
9 7 8 3 1 2 6 4 5
例えば
上記が
ほんの一例
しかし
無限に
解が存在するわけではありません
全部で
何通りあるか
求めるのは
面倒なので
ここでは
上限が
あることだけを
示しておきます
数独のマスの数は
9x9=81
各マスには
1から9の数字
9種類を
入れることを
考えれば
解になり得ないものを
含めて
通りで
天文学的数字ですが
無限ではありません
今日は
マニアックな記事となりましたが
否
今日もですね
最後まで
読んでいただき
毎度
有り難うございます
それでは
また
明日