グループ化3ノード同一数字AICリング
グループ化3ノード同一数字AICリング — 伝統的に(3 Strong Links) Grouped X-Loopとしてリストされ、シグネチャL(1)-リング — は、少なくとも1つのノード側が候補出現のグループを表す、閉じた3ノード同一数字AICです。グループは、表された出現の少なくとも1つが真なら真で、表されたすべての出現が偽の場合にのみ偽です。
グループ化3ノード同一数字AICリングとは？
グループ化されたノードは、各側に表されたすべての候補出現を挙げなければなりません。その強い関係は、少なくとも片側が真であると述べます。別のノードへの弱推論は、最初のグループを真にし得るすべての出現が接続された命題と非両立の場合にのみ有効です。
解説付きの実例
グループ化3ノード同一数字AICリングの実例：同一数字のグループ化強ノードが、経路とは独立に検証された弱推論によって閉じられています。
ステップ 1
これら7つのセルを確認してください。
ステップ 2
3 のハイライトされた候補は閉じた3ノードリング (C7=B9 と B7)-(B4=F4)-(F3=C3) を形成します。各等号は ブロック 7, 行 4 と 行 3 の2つの論理側の間の強リンク (XOR) です: ちょうど一方の側が 3 を含み、側は1つのセルでもセルのグループでもありえます。 側がグループ化されている場合、フレームがグループのセルを囲み、単一のコネクタがそのフレームをもう一方の論理側に結びます — コネクタ全体が1つのグループ化された強リンクであり、個々のセルは強制されません。 各ダッシュは 列 2, 列 6 と 列 3 を通る弱推論 (NAND) です: 2つのリンクされた側は両方 3 を含むことはできません。列 3 を通るダッシュはパスとは独立に検証されます — それがリングを閉じ、端点定理がその相補的な強推論を供給し、リングのすべての弱い辺がちょうど1つのペアになります。
ステップ 3
したがって任意の赤い 3 を削除できます。それはリングの強リンクの領域の外側にあり、少なくとも1つの接続領域 (列 2, 列 6 と 列 3) でハイライトされたすべての 3 を見ています — つまりそこの弱い辺の両側です。閉じたリングはその辺をちょうど1つにするため、その端の1つが常に真であり、赤い候補を除外します。
グループ化同一数字リングでは、すべての弱辺において全称的な非両立性が求められます。グループ化された側は、そこに含まれるすべての候補出現が偽であるときにのみ偽となります。閉じる弱推論が検証されると端点定理が閉じるペアを飽和させ、連結された両側が表すすべての候補と競合する対象のみが有効な消去となります。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
ある数字について、行-ブロックまたは列-ブロックの交差または指定された領域制限が残した候補グループを特定します。完全なノードシーケンスを描き、各弱い接続で各グループメンバーをテストします。マスの数や視覚的な形だけではリングを正当化しません。
消せる理由
強推論を通じて偽を伝播させて反対側を真にし、弱推論を通じて真を伝播させて接続された命題を偽にします。グループのすべてのメンバーが真になれないからといって、グループが偽だと決して推論しないでください。完全なシーケンスまたは閉鎖が証明された後にのみ、端点またはリングの結論を適用します。