世界一難しい数独その２

次回の続きで世界一難しい数独を解いてみます。

ステップ４－１
ここからは仮定に仮定を重ねて解答を探していきます。
基本的に２つまで候補を絞れているところを、一方だと仮定して解いていき、正解か不正解かわかるところまでやっていきます。
そして正解なら終わりだし、不正解なら仮定が間違っていたことになるので２つの候補のもう片一方で確定させます。
まず、ステップ４でわかった６か７の入るマスの片一方を７とします（図中の橙色のマス）。ここを選ぶと２つ同時に確定できるので効率的だと思うからです。確定していない仮定の数字は緑色で埋めていきます。
そして、候補を絞ったり確定（あくまで仮定上の）できるものを埋めていきます。


ステップ４－１－１
ステップ４－１では正解・不正解まで到達できませんでしたので、また新たに仮定して（図中右側の橙色のマスの１）解いていきます。
今度は最後まで解けました。しかし、最後に候補が１つもないマスなどができてしまいました。これは不正解です。


ステップ４－１－２
ステップ４－１－１の仮定は間違っていたので、もう片一方で試します。


ステップ４－１－２－１
正解・不正解まで到達しなかったのでさらにもうひとつ仮定します。


ステップ４－１－２－１－１
不正解まで到達したのでこの仮定は間違っています。


ステップ４－１－２－１－２
ステップ４－１－２－１－１の仮定は間違っていたので、最後にした仮定をもう片一方で試します。


ステップ４－１－２－１－２－１
正解・不正解まで到達しなかったので、もうひとつ仮定します。
そして不正解に到達しました。


ステップ４－１－２－１－２－２
不正解だったので、最後の仮定をもう片一方で試します。
正解・不正解まで到達しませんでした。


ステップ４－１－２－１－２－２－１
さらにもうひとつ仮定し、不正解まで到達しました。


ステップ４－１－２－１－２－２－２
不正解だったので、最後の仮定をもう片一方で試します。
それでもまた不正解へ到達しました。
これにより、ステップ４－１－２－１の仮定は間違っていることがわかりました。


長い・・・次回へ続きます。

タグ：数独