研究例題２その６

皆さん、どこが確定するかわかりますか。

どうしてでしょうか。

ここに出ている数字はすべて、
住んでいる住所が１つに確定してるか、
単位(いくつかのセルの集まり)であるかの違いはありますが、
それぞれの単位やセルの住人であることが判明しています。
すると、このブロックでまだ姿を現していない人は、数字の２です。
したがって、どのセルであるかは確定しませんが、２は

ここの住人であることがわかります。
すると、薄緑の候補７と２のみになります。
どちらであるかが、わかれば確定です。

ここで、セオリー６の矛盾確定法を使います。

７ｏｒ２の排除から、薄緑色と薄茶色のセルは同じであることがわかります。ここで、

が、２であるとすると、薄茶色も２ということなり、

矛盾が起きます。したがって、

の住人は２であることが確定します。
つまり、『犯人は７か２である。２であるとすると

薄茶色も２である。すると、同じ列に２が２つ存在することになり、
矛盾するので犯人は７であることが確定する。』
という論理です。

今の矛盾法は、次のように説明した方がわかりやすいですね。

２の行排除から、２は薄茶色の住人ではない。
薄茶色と薄緑の住人は同じであるから、薄緑に２は住んでいない。
薄緑の住人の候補は、２または７でしたが、２の可能性が否定されて、
薄緑の住人が７に確定するというわけです。

どうです。極上の推理劇を見ているように、見事に犯人を絞り込むことに成功しました。
数独って面白いでしょう。

排除法によるリスト絞り込みと矛盾法を組み合わせることによって、
さらに、セルに数字が埋まっていきます。
そろそろ、一気呵成に埋まり始めるでしょうか。

その５へ　その７へ