三节点同数AIC环
三节点同数AIC环 — 传统上列为(3 Strong Links) X-Loop，签名L(1)-环的技巧 — 使用三个由有效弱推理连接的单数字强链节点，其闭合链接独立于路径验证。是候选数命题和连接定义推理，而不是标记单元格的数量或熟悉的图形。
什么是三节点同数AIC环？
代表性的环是(A=B)-(C=D)-(E=F)，由从最后一侧回到第一侧的弱推理闭合。每个等号标记该数字两个穷举位置之间的强链（XOR）；每个破折号标记弱推理（NAND）— 不同时为真。要形成连续环，闭合弱推理必须独立于路径验证。
分步示例
三节点同数AIC环分步示例：三条强链接（XOR）由独立于路径验证的弱推论闭合。
第 1 步
考虑这 6 个单元格。
第 2 步
2 的高亮候选数形成闭合的三节点环 (A4=B6)-(I6=I9)-(C9=A8)。每个等号是 宫 4, 列 9 和 宫 7 中两个逻辑侧之间的强链接（XOR）：两侧中恰好一侧包含 2，且一侧可以是一个单元格或一组单元格。 每个破折号是通过 行 6, 行 9 和 列 1 的弱推论（NAND）：两个相连侧不能都包含 2。通过 列 1 的破折号独立于路径得到验证 — 它闭合环，因此端点定理提供其互补的强推论，环的每条弱边都变成恰好一对。
第 3 步
因此任何红色的 2 都可以移除。它位于环的强链接区域之外，并在至少一个连接区域（行 6, 行 9 和 列 1）中看到每个高亮的 2 — 即那里弱边的两侧。闭合的环使该边成为恰好一对，因此其端点之一始终为真并排除红色候选数。
三节点同数环交替使用强链接（XOR）与弱推论（NAND），并通过独立于路径验证的弱推论闭合。端点定理使闭合对饱和，因此环上的每条弱边都获得互补的强推论，任何同时看到任一饱和对两侧的格子都可以移除该数字。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。
如何发现它
选择一个数字，枚举三个强节点 — 每个是该数字两个位置之间的强链（XOR） — 并确认两个弱连接。然后确认闭合弱推理；仅几何闭合是不够的。
消去的依据
如果A为假，强链使B为真，弱边使C为假，传播继续 — D真、E假、F真。闭合弱推理经过验证后，端点定理为闭合对之间提供缺失的强推理，因此环中的每个弱边都获得互补的强推理 — 将该数字从看到这两个饱和对两侧的所有单元格中移除。