リージョンフォーシングネット
リージョンフォーシングネットは、領域内の1つの数字のすべての可能な位置を仮定し、それぞれを強ノードと弱い接続の交互を通じてトレースします。すべてのケースが同じ結論を強制する場合、その結論は実際の位置とは独立して成り立ちます。
リージョンフォーシングネットとは？
領域と数字を選び、その数字のすべての可能な位置を列挙します。各位置について、検証済みの強ノードと弱い接続を通じて導かれる帰結をトレースします。すべての列挙された位置が同じ結論を強制する場合、その結論は実際の位置とは独立して成り立ちます。
解説付きの実例
領域強制ネットの実例：ある領域内における1つの数字のすべての残り位置を分岐として試し、すべての分岐で共通する結論のみを適用します。
ステップ 1
これらのセルを確認してください。
ステップ 2
この解法技術で、次の主張を証明します: 1. もし D1 が値 2 を含むなら、F2 は値 3 を含まなければならない 2. もし D4 が値 2 を含むなら、F2 は値 3 を含まなければならない 3. もし D6 が値 2 を含むなら、F2 は値 3 を含まなければならない 列内の他の場所に値2を置けず、結果が同じであるため、F2 は値 3 を含まなければならない と結論できます。 各主張は異なるシンプルなルールのチェーンによって証明されます。チェーンはスタティックであり、チェーンの各ルールは前のルールの結果を覚える必要なく理解できることを意味します。 チェーン 1: 1. もし D1 は値 2 を含む、ならば D1 は値 3 を含むことができない (セルには1つの値しか入りません) 2. もし D1 は値 3 を含まない、ならば F2 は値 3 を含まなければならない (ブロック内の唯一残っている可能な位置) チェーン 2: 1. もし D4 は値 2 を含む、ならば D4 は値 4 を含むことができない (セルには1つの値しか入りません) 2. もし D4 は値 4 を含まない、ならば D1 は値 4 を含まなければならない (列内の唯一残っている可能な位置) 3. もし D1 は値 4 を含む、ならば D1 は値 3 を含むことができない (セルには1つの値しか入りません) 4. もし D1 は値 3 を含まない、ならば F2 は値 3 を含まなければならない (ブロック内の唯一残っている可能な位置) チェーン 3: 1. もし D6 は値 2 を含む、ならば D6 は値 9 を含むことができない (セルには1つの値しか入りません) 2. もし D6 は値 9 を含まない、ならば F6 は値 9 を含まなければならない (ブロック内の唯一残っている可能な位置) 3. もし F6 は値 9 を含む、ならば F6 は値 3 を含むことができない (セルには1つの値しか入りません) 4. もし F6 は値 3 を含まない、ならば F2 は値 3 を含まなければならない (列内の唯一残っている可能な位置)
ステップ 3
したがって、F2 から 値 1 と 9 を削除できます: すべての可能なソース位置が F2 に 3 を含むことを強制し、他の値はそこに入れません。
この実例は定義された推論の有効な一例を示しています。別の盤面で同じ推論を使う前に、起点集合または仮定、すべての分岐が検証されていること、そして適用される結論が全分岐で共有されていることを確認してください。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
各ケースについて、その仮定を書き込み、強ノードと弱い接続を通じて各結論へのパスをトレースします。すべてのケースが結論を強制する場合、それは検証済みの帰結です。1つのケースだけでは不十分です。
論理
すべての列挙された位置が結論を強制する場合、その位置が結論を保持するか矛盾するかに関係なく、結論は保持されなければなりません。すべてのケースが証明する候補からの消去は安全です。