2ノード同一数字AICリング
2ノード同一数字AICリング — 伝統的に Generalized X-Wing / X-Cycle として知られる4セルリング — は、パスとは独立して検証された弱推論で閉じられた2つの同一数字強ノードです。候補命題とリンクが推理を定義します。ハイライトされたセルの数や見慣れた図形ではありません。
2ノード同一数字AICリングとは？
代表的なリングは (A=B)-(C=D) で、ノードの側面間の残り2つの弱推論で閉じられます。各等号は強リンク（XOR）で、数字の2つの位置の少なくとも一方が成立します。各ダッシュは弱推論（NAND）で、両方は成立しません。閉じる弱推論はパスとは独立して検証されなければなりません。
解説付きの実例
2ノード同一数字AICリングの実例：1つの数字の2つの強リンク（XOR）が、経路とは独立に検証された弱推論によって閉じられています。
ステップ 1
これらのセルを確認してください。
ステップ 2
ハイライトされた候補は閉じた Same-Digit AIC Ring (B5=C5)-(C1=B1) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。最後のリンク、B1=5 から B5=5 への戻りは、パスとは独立に成立する弱推論です — それがループを閉じ、端点定理が相補的な強推論を供給するため、リングのすべての弱い辺がちょうど1つのペアになります。 番号付きの含意トレースは交互のリンクを示すためにリングを一方向にたどります。これは閉じた構造を説明するもので、追加の強制仮定ではありません。 1. もし B1 は値 5 を含む、ならば B5 は値 5 を含むことができない (値は列内で1回しか出現できません) 2. もし B5 は値 5 を含まない、ならば C5 は値 5 を含まなければならない (行内の唯一残っている可能な位置) 3. もし C5 は値 5 を含む、ならば C1 は値 5 を含むことができない (値は列内で1回しか出現できません) 4. もし C1 は値 5 を含まない、ならば B1 は値 5 を含まなければならない (ブロック内の唯一残っている可能な位置)
ステップ 3
したがって 値 5 を削除できます: 閉包によりリングのすべての弱い辺がちょうど1つのペアになり、その2つの交互の割り当てのうちちょうど1つが成立します — そしてマークされた各候補は両方で真のリング命題と衝突します。
2ノード同一数字リングは強リンク（XOR）と弱推論（NAND）を交互に並べ、経路とは独立に検証された弱推論によって閉じます。端点定理が閉じるペアを飽和させるため、いずれかの弱辺の両側が見えるリング外のマスからその数字を消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
1つの数字を選び、2つの強ノードを挙げます — 例えば、数字が同じ2つの列に限定される2つの行。閉じるものを含め、側面間の両方の弱い接続を検証します。X字型の図形だけでは何も証明しません。
論理
閉じる弱推論が検証されると、端点定理が閉じるペア間の欠けた強推論を供給し、リング内のすべての弱い辺は相補的な強推論を得ます。その飽和したペアの両側を見るリング外のセルから数字を削除します。リング自体は、どちらの交互の割り当てが解かを選びません。