XY 链
XY 链是任意长度的开放 AIC，其强推论节点都是双值单元格。把它的交替签名写作 (a=b)-(b=c)-...-(y=z)：每个等号是单元格内的“恰好一个”关系，每个短横是相关单元格中相同数字之间的弱推论。提供结论的是端点定理，而不是试探性假设。
什么是 XY 链？
在双值单元格 (a=b) 中，强链接（XOR）使恰好一个候选数为真。相邻节点只有当某数字的出边出现与下一个单元格中相同数字互见时才连接，从而产生弱推论（NAND）：两者不能都真。数字在节点内改变，跨过弱推论时保持相同。仅共享数字标签而没有相互可见性，并不能连接链。
分步示例
XY链分步示例：由双值格强推论节点通过同数弱推论相连，证明两端点之间的相容或（OR）关系。
第 1 步
考虑这些单元格。
第 2 步
高亮的候选数形成开放的 XY-Chain (D4:1=2)-(D7:2=9)-(D1:9=4)-(C1:4=3)-(C5:3=1)。每个等号都是强链接（XOR）；每个破折号都是弱推论（NAND）。端点定理证明 D4=1 OR C5=1。
第 3 步
这些是类型1同数字消除：A4 和 D5 都能看到两个端点 D4=1 和 C5=1，且链证明 D4=1 或 C5=1 为 1。
XY链交替使用双值格强链接（XOR）与同数弱推论（NAND），无需试数假设即可证明两端点之间的相容或关系。这一端点关系支持共同同侪消去。这是第 1 类同数消去。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。
如何识别
追踪双值单元格，使每对相邻单元格共享一个数字且两处出现互见。用等号记录单元格节点，用短横记录单元格间的弱推论。暴露的端点候选数可以带不同的数字，端点定理依然成立；这里教授的公共相关删除是同数字情形，即目标同时看到两个端点单元格并失去该数字。
逻辑
若第一个端点为假，其双值强链接使另一个候选数为真。下一条弱推论使相关单元格中对应候选数为假，交替持续到远端点为真。于是至少一个端点含有删除数字，可能两个都含，因此任何同时看到两个端点的候选数都可删除。这是同数字的 Type-1 删除，是 AIC 端点证明，而非强制链矛盾。