数独のテクニック · エクストリーム
数独のフォーシングチェーン
フォーシングチェーンは最後の手段となるテクニックで、決まった形のパターンが何も当てはまらないときにアプリが使います。候補が2つのマス、またはグループ内で2つの場所しかない数字を選び、一方を仮定して強制される手のチェーンを追います。矛盾に達したら、もう一方が証明されます。
別名: 矛盾チェーン, Nishio。
なぜ成り立つか
マスの候補が2つだけ、または行、列、ブロック内である数字を置ける場所が2つだけのとき、一方を試し、強制される手をたどって矛盾に至れば、もう一方が正しいと証明できます。
見つけ方
ここには見るべきパターンがなく、それがまさに要点です。
- 二値セル、またはグループ内で場所が2つしかない数字から始めます。そこなら間違った仮定を取り消すのも簡単です。
- 強制される結果だけを追います。2回目の仮定が必要になった瞬間に引き返してください。チェーンが深すぎて役に立ちません。
- 矛盾はもう一方の枝を証明します。矛盾に達せずに終わっても何も証明されないので、結果が最も速く広がる起点を選んでください。
前提となるテクニック
解法の例
これらはアプリのレッスンで使われている盤面です。ヒントと同じように順番にたどってみてください。
パターン答え関連ブロッカー除外
このテクニックには描ける決まった形がありません。アプリは上のすべてのパターンが当てはまらないときにのみこれを使います。