AIC 环

闭合交替推理链:同数字、双值与混合环,其闭合弱推论独立于路径验证。

闭合链:当最后一环咬住第一环

AIC 环是两端相连的交替推理链:最后与第一个强节点之间的闭合弱推论独立于路径本身验证。由于环路没有自由端,端点定理为闭合对提供缺失的强推论,每条弱边都获得互补的强推论,而同时看到弱边两侧的候选数可以被删除。

这里的指南涵盖同数字环——从四格 X-Wing 环路到更长的 L(1)-Ring 结构——以及由单元格节点和分组强节点构成的双值与混合环。这些页面上的每个环都按同一条规则验证:闭合弱链接必须独立于它所闭合的路径存在。