同一数字AICリング
双方向Xサイクルは、3つ以上の強推論ノードを持ち、強推論と弱推論が交互になり、閉鎖する弱い接続が独立して検証される同一数字AICリングです。リングが完全になると、弱い接続が相補的な強い関係を得て、リングはその数字の飽和した論理構造として機能します。
同一数字AICリングとは？
リングは、連続するノードが有効な弱い接続を持ち、閉鎖が独立した弱い接続検証に合格するオープンAICに似たシーケンスをトレースします。その後、各弱い接続にその欠けた相補的な強い関係を与え、リングを各数字がちょうど1回現れる飽和構造にします。
解説付きの実例
同一数字AICリングの実例：1つの数字の強リンクと弱推論が、経路とは独立に検証された弱推論によって閉じた構造をなしています。
ステップ 1
これらのセルを確認してください。
ステップ 2
ハイライトされた候補は閉じた Same-Digit AIC Ring (B1=B9)-(E9=E6)-(I6=G5)-(G2=C2) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。最後のリンク、C2=5 から B1=5 への戻りは、パスとは独立に成立する弱推論です — それがループを閉じ、端点定理が相補的な強推論を供給するため、リングのすべての弱い辺がちょうど1つのペアになります。 番号付きの含意トレースは交互のリンクを示すためにリングを一方向にたどります。これは閉じた構造を説明するもので、追加の強制仮定ではありません。 1. もし C2 は値 5 を含む、ならば B1 は値 5 を含むことができない (値はブロック内で1回しか出現できません) 2. もし B1 は値 5 を含まない、ならば B9 は値 5 を含まなければならない (列内の唯一残っている可能な位置) 3. もし B9 は値 5 を含む、ならば E9 は値 5 を含むことができない (値は行内で1回しか出現できません) 4. もし E9 は値 5 を含まない、ならば E6 は値 5 を含まなければならない (列内の唯一残っている可能な位置) 5. もし E6 は値 5 を含む、ならば I6 は値 5 を含むことができない (値は行内で1回しか出現できません) 6. もし I6 は値 5 を含まない、ならば G5 は値 5 を含まなければならない (ブロック内の唯一残っている可能な位置) 7. もし G5 は値 5 を含む、ならば G2 は値 5 を含むことができない (値は列内で1回しか出現できません) 8. もし G2 は値 5 を含まない、ならば C2 は値 5 を含まなければならない (行内の唯一残っている可能な位置)
ステップ 3
したがって 値 5 を削除できます: 閉包によりリングのすべての弱い辺がちょうど1つのペアになり、その2つの交互の割り当てのうちちょうど1つが成立します — そしてマークされた各候補は両方で真のリング命題と衝突します。
同一数字リングは強リンク（XOR）と弱推論（NAND）を交互に並べ、経路とは独立に検証された弱推論によって閉じます。端点定理が閉じるペアを飽和させるため、弱辺の両側が見える任意のマスからその数字を消去できます（リング自体が交互の割り当てのどちらが解であるかを選ぶことはありません）。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
ある数字について、強ノードを特定し、リングをトレースし、各弱い接続 — 閉鎖を含む — をその接続された候補の実際の矛盾から確認します。リングが検証されると、消去のために飽和ペアとして扱います。
論理
リングが検証されると、弱い接続ペアのどちらの側も領域のその数字を保持できます。その数字をその2マスに予約します。各強ノードの両側は、そのノード領域内のその数字の唯一の可能な位置でもあります。したがって、リングの外のこれらの領域から、そして弱い接続ペアの両側を見るすべてのマスからその数字を取り除きます。