コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Egisonで数独 その2

4*4のミニ数独で考えることにする。
問題を小さくする事が、解決への第一歩だ。

f:id:righ1113:20191019055823j:plain

図のように、横方向・縦方向・ブロック方向に分割して、
(矢印の方向は、1,2,3,4で構成されている)
それらの解候補の共通集合を取れば良いのではないか。

なにい、解が複数ある!
このアルゴリズムも駄目なのか?!

うまくいってないですけど、ひとまず置きます。




19/11/27追記
問題を調べなおした結果、
元々解が複数あるものだという事が分かりました。
プログラムに問題は無い様です。