2019-10-19 Egisonで数独 その2 Egison 4*4のミニ数独で考えることにする。 問題を小さくする事が、解決への第一歩だ。 図のように、横方向・縦方向・ブロック方向に分割して、 (矢印の方向は、1,2,3,4で構成されている) それらの解候補の共通集合を取れば良いのではないか。 なにい、解が複数ある! このアルゴリズムも駄目なのか?! うまくいってないですけど、ひとまず置きます。 19/11/27追記 問題を調べなおした結果、 元々解が複数あるものだという事が分かりました。 プログラムに問題は無い様です。