数独のフォーシングチェーン戦略

フォーシングチェーンは、出発点のすべての可能性を分岐して追跡します。全分岐が同じ結論に達すれば、その結論は必ず真です。

定義と成立条件

開始分岐は可能性を漏れなく含み、各矢印は実際の候補制約で説明できなければなりません。

盤面全体の例

4行の1はR4C4、R4C6、R4C8のいずれかです。3分岐を追うとすべてR1C7=4に到達するため、R1C7に4を確定します。

見つけ方

位置が少ない候補を選び、全分岐を列挙します。各分岐を別々に追い、矛盾または共通結論を記録します。

成立する理由

開始前提の少なくとも1つは真です。すべてが同じ結果を強制するなら、どの前提が真でも結果は変わりません。

似たテクニックとの関係

AICは通常1本の交互チェーン、フォーシングチェーンは複数分岐を比較します。都合のよい分岐だけを調べないでください。

まとめ

全分岐を検証し、証明された矛盾か共通結論だけを採用します。

よくある質問

フォーシングチェーンは推測ですか？

いいえ。すべての論理分岐を検証します。

共通結論とは？

すべての開始分岐が到達する、必ず真の結果です。

フォーシングネットとの違いは？

ネットは各分岐の中でさらに分岐できます。