数独の一意性について

数独の解が

一意的に

決まるための

条件があるそうです

それは

最低でも

最初に

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種類を

入れることを

考えれば

解になり得ないものを

含めて

9^{81}\simeq 1.966\times 10^{77}通りで

天文学的数字ですが

無限ではありません

今日は

マニアックな記事となりましたが

今日もですね

最後まで

読んでいただき

毎度

有り難うございます

それでは

また

明日