4+ 节点 X 链
4+ 节点 X 链是具有四个或更多强推论节点的开放同数字 AIC——X 链家族中超越两节点和三节点形态的一般成员。把它的交替签名写作 (A=B)-(C=D)-...-(Y=Z)：等号是强推论，短横是弱推论。这条链在不先假设任一端点的情况下，证明相容的端点关系 A OR Z。
什么是 X 链？
每个节点都涉及一个数字，是连接穷尽备选的强链接（XOR）：若一侧为假，另一侧必为真。每条边是弱推论（NAND）：其相连两侧不能都真。链可以使用单侧或经过正确论证的分组侧。历史上的强制链与 Nice Loop 描述是另一种框架，而非这里教授的 AIC 证明。
分步示例
X链分步示例：写为强推论与弱推论交替序列，从而证明其两个端点之间的相容或（OR）关系。
第 1 步
考虑这些单元格。
第 2 步
高亮的候选数形成开放的 X-Chain (I6=I1)-(F1=F3)-(C3=C8)-(G8=H9)。每个等号都是强链接（XOR）；每个破折号都是弱推论（NAND）。端点定理证明 I6=1 OR H9=1。
第 3 步
这是类型1同数字消除：H4 能看到两个端点 I6=1 和 H9=1，且链证明 I6=1 或 H9=1 为 1。
开放的同数 AIC 交替使用强链接（XOR）与弱推论（NAND），无需试数假设即可证明两端点之间的相容或关系。当两个端点不同时，该关系支持第 1 类同数共同同侪消去；退化的端点或关系则可直接证明端点本身。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。
如何识别
针对一个数字，列出强推论节点，只用独立有效的弱推论连接相邻节点。将分组边与其代表的每个候选数核对。两个未连接的外侧是端点；目标必须与两端各自代表的所有候选数冲突。
逻辑
若第一个端点 A 为假，每条强链接将假传播为真，每条弱推论将真传播为假，直到远端点 Z 为真。因此 A OR Z 成立，两端点可能都为真。与两端点都冲突的同数字候选数可以删除；当两端点不同侧时，这就是同数字的 Type-1 删除。开放链不会选定唯一的内部赋值。