数独のソルバーを作っている。
現時点で中級程度の問題は解けるようになってはいる。
超難解な問題をネットで探して解かせてみる。
リンク先の問題は難しそうだ。
これを解析させると、
これは難しいどころの騒ぎではない。
何一つ確定していない。
こうなってしまうと、新たな解法を追加しなければならないということが解る。
最終兵器は、バックトラック法や背理法といったものになるのだろうが、
それを組み込むのは本当に最後にしたい。
なぜかというと、Javascriptで組んでいるから、
時間の掛かるであろう処理はさせたくないというのが一つだ。
あと、どんな解法を組み込めるだろうか。
ある程度の解法を組み込んだら、公開してみるかな。
ではでは
