フォーシングチェーン
フォーシングチェーンは、仮定を通じて2つのオープンAICパスをトレースする強制推論ネットです。各パスは、真または偽のいずれかの開始状態を割り当て、強ノードと弱い接続の交互を通じて進みます。両方のパスが同じ結論を強制するとき、その結論は開始仮定とは独立して成り立ちます。
フォーシングチェーンとは？
フォーシングチェーンは、2つのオープンAICパスで構成される強制推論ネットです。仮定は開始状態を割り当て、各パスは検証済みの強ノードと弱い接続を通じて進みます。両方のパスが結論を強制する場合、それは開始仮定とは独立して成り立ちます。
解説付きの実例
強制チェーンの実例：単一の候補仮定から強制される含意をたどり、矛盾を導きます。
ステップ 1
これらのセルを確認してください。
ステップ 2
含意のチェーンを通じて、B1 は値 1 を含まなければならない ことが示されます。 1. もし B1 は値 1 を含まない、ならば B1 は値 2 を含まなければならない (セル内の唯一残っている可能な値) 2. もし B1 は値 2 を含む、ならば A1 は値 2 を含むことができない (値はブロック内で1回しか出現できません) 3. もし A1 は値 2 を含まない、ならば A1 は値 3 を含まなければならない (セル内の唯一残っている可能な値) 4. もし A1 は値 3 を含む、ならば A8 は値 3 を含むことができない (値は列内で1回しか出現できません) 5. もし A8 は値 3 を含まない、ならば A8 は値 9 を含まなければならない (セル内の唯一残っている可能な値) 6. もし A8 は値 9 を含む、ならば A7 は値 9 を含むことができない (値はブロック内で1回しか出現できません) 7. もし A7 は値 9 を含まない、ならば D7 は値 9 を含まなければならない (行内の唯一残っている可能な位置) 8. もし D7 は値 9 を含む、ならば D7 は値 1 を含むことができない (セルには1つの値しか入りません) 9. もし D7 は値 1 を含まない、ならば D9 は値 1 を含まなければならない (ブロック内の唯一残っている可能な位置) 10. もし D9 は値 1 を含む、ならば D9 は値 4 を含むことができない (セルには1つの値しか入りません) 11. もし D9 は値 4 を含まない、ならば F9 は値 4 を含まなければならない (ブロック内の唯一残っている可能な位置) 12. もし F9 は値 4 を含む、ならば F1 は値 4 を含むことができない (値は列内で1回しか出現できません) 13. もし F1 は値 4 を含まない、ならば F1 は値 2 を含まなければならない (セル内の唯一残っている可能な値) 14. もし F1 は値 2 を含む、ならば B1 は値 2 を含むことができない (値は行内で1回しか出現できません) 15. もし B1 は値 2 を含まない、ならば B1 は値 1 を含まなければならない (セル内の唯一残っている可能な値)
ステップ 3
したがって、B1 から 値 2 を削除できます: チェーンは B1 が 1 を含まなければならないことを証明し、他の値はそこに入れません。
この実例は定義された推論の有効な一例を示しています。別の盤面で同じ推論を使う前に、起点集合または仮定、すべての分岐が検証されていること、そして適用される結論が全分岐で共有されていることを確認してください。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
開始仮定を書き込み、2つのパスのそれぞれについて交互の強ノードと弱い接続を列挙します。結論は、真の割り当てと偽の割り当ての両方が同じ帰結を生成する場合にのみ有効です。
消せる理由
両方のパスが結論を強制する場合、仮定が結論を含むか矛盾するかに関係なく、その結論は適用されます。消去は両方のパスが検証した候補に対して行われます。1つのパスだけでは不十分です。