上級
Forcing Chains
候補が真または偽である結果を、すべての道が同じ結論を強制するまでたどる。
フォーシングチェーンは論理的解法の重砲です。マスを選び、その各候補の含意を盤面を通じてたどります。すべての候補がどこかで同じ配置や消去に至るなら、その結論は確実です — 当て推量は不要です。
難しいパズルの終盤の「試行錯誤」の感覚のほとんどは、実は厳密に書き下されるのを待つフォーシングチェーンです。
見つけ方
両候補マスを選びます。最初の候補を仮定して強制される配置を伝播し、結果を記録します。リセットして、2つ目の候補を仮定し、再び伝播します。両方の仮定が同じマスを同じ値（または同じ消去）に強制するなら、その結果は無条件に成立します。
- マスの候補から始める。
- 各々の強制される結果を伝播する。
- すべての分岐にわたる共通の結論が証明される。
当て推量より規律
フォーシングチェーンは分岐ではなく論理です：両方の分岐を念頭に置き、それらが合意するものにだけ作用します。チェーンを書き下すことが、やみくもに数字を試すことから来る誤りを避けます。
解説例
- 両候補マスが{1,4}を示す。
- 1を仮定する：一連のシングルがマスQを8に強制する。
- リセットして4を仮定する：別の一連もマスQを8に強制する。
- 両分岐が合意するので、Qは関係なく8。
- 開始マスを解決せずにQに8を置く。
自分で試す
6
3
2
6
9
3
8
4
7
8
5
4
9
9
8
4
2
3
7
7
1
8
4
5
3
7
Tap a cell, then a number, to practise.
よくある質問
- これはただの当て推量ですか？
- いいえ。すべての分岐を評価し、すべての分岐が共有する結論にだけ作用するので、結果は完全に論理的です。
- いつフォーシングチェーンに頼るべきですか？
- 最後です。シングル、ロックド候補、フィッシュ、ウィング、カラーリングが使い尽くされた後です。
関連テクニック
参考リンク
- Introducing Chains and Links — SudokuWiki.org
- Chains and Loops (Forcing Chains, AIC) — HoDoKu
練習：Forcing Chains
Forcing Chainsを実際の盤面で試そう — メモ・ヒント・4段階の難易度つきの無料パズル。
実際の盤面で試す