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