基礎研究（数独のセオリー）

セオリー４　反照列・行排除法（ライン反照排除法）

これは排除法の一種ですが、やや高度です。
２段の手続きによって決まるからです。
反照は反射を思い浮かべてください。

例１

6
6
2 4 5
6

これは次の２段手続きで決まります。

6
6
2 4 5
6

まず、ピンク上に６が入ることがわかります。その結果両ダブル排除となり、

6
6
2 4 5
6

赤いセルには６しか入らないことがわかります。

のような行排除を反照行排除と名付けます。
なぜ反照かと言いますと、

6 → → → → → → → →
2 4 5
← ← ← ← ← ← ← ← ←

跳ね返っているからです。


例２

6
6
6
2 5
6

今度は３段手続きで決まります。

6
6
6
2 5
6

まずシングル排除によって、薄緑には６が入らないことがわかります。
以下は例１と同じ手順をたどります。

6
6
6
2 5
6

まず、ピンク上に６が入ることがわかります。その結果両ダブル排除となり、

6
6
2 5
6

赤いセルには６しか入らないことがわかります。繰り返します。

を行反照排除と定義します。

例３

6
6
6
5
1 4
6 2
7 9

今度は４段手続きで決まります。

6
6
6
5
1 4
6 2
7 9

シングル行排除によって薄緑に６が入らないことがわかります。

6
6
6
5
1 4
6 2
7 9

すると、オレンジに６が入ることがわかり、列ダブル排除によって

6
6
6
5
1 4
6 2
7 9

薄いピンクに６が入らないことがわかります。なので、よってシングル行排除と反照行排除とダブル列排除によって

6
6
6
5
1 4
6 2
7 9

赤にしか６が入らないことが確定します。

セオリー３へ　セオリー５へ


ナンプレ入門


eclipse java 入門

vba 入門