AICリング

閉じたチェーン：最後のリンクが最初を噛むとき

AICリングは、両端がつながる交互推論チェーンです。最後の強ノードと最初の強ノードの間の閉じる弱推論は、パス自体とは独立して検証されます。ループに自由端がないため、端点定理が閉じるペア間の欠けた強推論を供給し、すべての弱い辺は相補的な強推論を得て、弱い辺の両側を見る候補は削除できます。

ここでのガイドは同一数字リング — 4セルのX-Wingループからより長いL(1)-Ring構造まで — と、セル型・グループ化強ノードから作られる二値・混合リングを扱います。これらのページのすべてのリングは同じルールで検証されます：閉じる弱リンクは、それが閉じるパスとは独立して存在しなければなりません。