プログラムでナンプレを解こうとしたら長旅が始まった話3 完

前回

前回解けなかったナンプレ。

しばらく考えたけど解けそうにもないので、9x9の要素ごとに切り分けて考えていく。

左上の9x9を、候補として残る値を表示してみた（*が未確定）。

こうしてみると、右下の3x3部分が「他の9x9と連結する」部分で確定しているにも関わらず候補が多く残っているのがわかる。ヒントが足りておらず、解がいくつかあるパターンなのだと思う。連結部分が確定しているので他への影響はないので、仮置きで解いてしまう。

他の部分も見るとわかるが、候補値が非常に多く残っている。この大きさで仮置きしても解けない要因。

これを解くためには先ほどと同じように9x9で解いていくこと。9x9だと解はいくつかあるため一旦解いて当てはめて別の9x9が解けなかったら仮置きが間違ってたと評価しつつ進めていく。

そんなこんなで、矛盾が出ないよう仮置きしつつ解き進めるとようやく全体が解けた。

プログラムでビッと決まらず残念ではあるが、解けたことに満足。

以上。