AIC 环
闭合交替推理链:同数字、双值与混合环,其闭合弱推论独立于路径验证。
双节点同数字 AIC 环
四格单数字 AIC 环——X-Wing 环路——带有已验证的闭合弱推论。
继续阅读
三节点同数AIC环
具有验证过的连续环闭合的三个单数字强节点。
继续阅读
分组三节点同数AIC环
包括分组命题的三个强节点,具有验证过的连续环闭合。
继续阅读
同数字 AIC 环
交替强链接与弱链接闭合成连续环路的单数字 AIC 环。
继续阅读
双值 AIC 环
所有强推论都经过双值单元格、由已验证的弱链接闭合的环。
继续阅读
混合 AIC 环
混合双位与双值强链接、由已验证的弱链接闭合的 AIC 环。
继续阅读闭合链:当最后一环咬住第一环
AIC 环是两端相连的交替推理链:最后与第一个强节点之间的闭合弱推论独立于路径本身验证。由于环路没有自由端,端点定理为闭合对提供缺失的强推论,每条弱边都获得互补的强推论,而同时看到弱边两侧的候选数可以被删除。
这里的指南涵盖同数字环——从四格 X-Wing 环路到更长的 L(1)-Ring 结构——以及由单元格节点和分组强节点构成的双值与混合环。这些页面上的每个环都按同一条规则验证:闭合弱链接必须独立于它所闭合的路径存在。