AIC 链
开放式交替推理链（AIC）：作为强推理节点连接的穷举选择，相邻节点由弱推理连接。本组涵盖同数X链和二值单元格XY链。
摩天楼
平行行或列中带有强推理的双节点X链。
继续阅读
2-String Kite
通过宫连接的行和列强推理双节点X链。
继续阅读
双节点X链（空矩形 — 最小）
通用同数签名(A=B)-(C=D)。
继续阅读
空矩形
带有空矩形（ERI）分组强链接的双节点 X 链。
继续阅读
三节点X链
通用L(1)-翼签名(A=B)-(C=D)-(E=F)。
继续阅读
分组三节点X链
具有一个或多个分组侧的通用L(1)-翼。
继续阅读
4+ 节点 X 链
具有四个或更多强推论节点的开放单数字交替推理链（AIC）。
继续阅读
XY 链
经过双值单元格的开放交替推理链。
继续阅读交替推理链如何证明消除
我们将开放式AIC写作(A=B)-(C=D)-...-(Y=Z)。每个等号是穷举选择之间的强推理；如果一侧为假，另一侧为真。每个破折号是弱推理；其连接的两侧不能同时为真。交替这些关系可证明包含性端点析取A或Z；不选择唯一的内部分配。
只有当目标与两个端点所代表的所有候选数都矛盾时才能移除。分组侧是析取，要求每个弱推理上的普遍不相容。摩天楼和双线风筝限制双节点X链的区域签名。长度为3的同数链是签名为(A=B)-(C=D)-(E=F)的L(1)-翼，包括平行线、行列交替和分组形式 — 同一结构的变体，不是单独命名的技巧。基于ERi的子类，如双重空矩形、矩形风筝和桥接空矩形，各自需要不同的链接签名。XY链使用二值单元格节点；XY-翼的等价AIC解释在ALS-XZ翼组中教授。