3ノード同一数字AICリング
3ノード同一数字AICリング — 伝統的に(3 Strong Links) X-Loopとしてリストされ、シグネチャL(1)-リングのテクニック — は、有効な弱推論で接続された3つの単一数字強リンクノードを使用し、その閉鎖リンクはパスとは独立して検証されます。候補の命題と接続が推論を定義します。マークされたマスの数や見慣れた絵ではありません。
3ノード同一数字AICリングとは？
代表的なリングは(A=B)-(C=D)-(E=F)で、最後の側から最初の側への弱推論で閉じられます。各等号はその数字の2つの網羅的な位置間の強リンク（XOR）を示し、各ダッシュは弱推論（NAND）— 両方ではない — を示します。連続したリングを形成するには、閉鎖する弱推論をパスとは独立して検証しなければなりません。
解説付きの実例
3ノード同一数字AICリングの実例：3つの強リンク（XOR）が、経路とは独立に検証された弱推論によって閉じられています。
ステップ 1
これら6つのセルを確認してください。
ステップ 2
2 のハイライトされた候補は閉じた3ノードリング (A4=B6)-(I6=I9)-(C9=A8) を形成します。各等号は ブロック 4, 列 9 と ブロック 7 の2つの論理側の間の強リンク (XOR) です: ちょうど一方の側が 2 を含み、側は1つのセルでもセルのグループでもありえます。 各ダッシュは 行 6, 行 9 と 列 1 を通る弱推論 (NAND) です: 2つのリンクされた側は両方 2 を含むことはできません。列 1 を通るダッシュはパスとは独立に検証されます — それがリングを閉じ、端点定理がその相補的な強推論を供給し、リングのすべての弱い辺がちょうど1つのペアになります。
ステップ 3
したがって任意の赤い 2 を削除できます。それはリングの強リンクの領域の外側にあり、少なくとも1つの接続領域 (行 6, 行 9 と 列 1) でハイライトされたすべての 2 を見ています — つまりそこの弱い辺の両側です。閉じたリングはその辺をちょうど1つにするため、その端の1つが常に真であり、赤い候補を除外します。
3ノード同一数字リングは強リンク（XOR）と弱推論（NAND）を交互に並べ、経路とは独立に検証された弱推論によって閉じます。端点定理が閉じるペアを飽和させるため、リング上のすべての弱辺が相補的な強推論を獲得し、それら飽和ペアの両側が見える任意のマスからその数字を消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
1つの数字を選び、3つの強ノード — それぞれその数字の2つの位置間の強リンク（XOR） — を列挙し、両方の弱い接続を確認します。次に閉鎖する弱推論を確認します。幾何学的な閉鎖だけでは不十分です。
消せる理由
Aが偽なら、強リンクがBを真にし、弱いエッジがCを偽にし、伝播が続きます。D真、E偽、F真。検証された閉鎖弱推論により、端点定理は閉鎖ペア間の欠けた強推論を提供するため、リング内のすべての弱いエッジが相補的な強推論を得ます — これらの飽和ペアの両側を見るすべてのマスからその数字を取り除きます。