双节点同数字 AIC 环
双节点同数字 AIC 环——传统上称为 Generalized X-Wing / X-Cycle 的四格环——用独立于路径验证的弱推论闭合两个同数字强节点。定义推理的是候选数命题与链接，而不是高亮单元格的数量或熟悉的图形。
什么是双节点同数字 AIC 环？
一个代表性环是 (A=B)-(C=D)，由节点两侧之间剩余的两条弱推论闭合。每个等号是强链接（XOR）——该数字的两个位置至少有一个成立；每个短横是弱推论（NAND）——不能都成立。闭合弱推论必须独立于路径验证。
分步示例
双节点同数AIC环分步示例：同一数字的两条强链接（XOR）由独立于路径验证的弱推论闭合。
第 1 步
考虑这些单元格。
第 2 步
高亮的候选数形成闭合的 Same-Digit AIC Ring (B5=C5)-(C1=B1)。每个等号都是强链接（XOR）；每个破折号都是弱推论（NAND）。最后一个链接，B1=5 回到 B5=5，是一条独立于路径成立的弱推论 — 它闭合环路，端点定理提供其互补的强推论，因此环的每条弱边都变成恰好一对。 编号的推理轨迹沿一个方向遍历环以展示交替链接；它说明闭合结构，并非额外的强制假设。 1. 如果 B1 包含 值 5，那么 B5 不能包含 值 5 (该值在列中只能出现一次) 2. 如果 B5 不包含 值 5，那么 C5 必须包含 值 5 (行中唯一剩余的可能位置) 3. 如果 C5 包含 值 5，那么 C1 不能包含 值 5 (该值在列中只能出现一次) 4. 如果 C1 不包含 值 5，那么 B1 必须包含 值 5 (宫中唯一剩余的可能位置)
第 3 步
因此可以移除 值 5：闭合使环的每条弱边变成恰好一对，其两个交替赋值中恰有一个成立 — 每个标记的候选数在两种情况下都与一个为真的环命题冲突。
双节点同数环交替使用强链接（XOR）与弱推论（NAND），并通过独立于路径验证的弱推论闭合。端点定理使闭合对饱和，因此可以从环外任何同时看到某条弱边两侧的格子中移除该数字。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。
如何识别
选一个数字，列出两个强节点——例如该数字被限制在相同两列的两行。验证其两侧之间的两条弱连接，包括闭合的那条；仅靠 X 形图形不能证明任何东西。
逻辑
闭合弱推论验证后，端点定理为闭合对提供缺失的强推论，使环中每条弱边都获得互补的强推论。从环外任何同时看到某个饱和对两侧的单元格中删除该数字；环本身从不选择哪一种交替赋值是解。