分组三节点X链
分组三节点X链 — 传统上列为Grouped 3 Strong Links — 是具有分组选择的L(1)-翼，签名为(A=B)-(C=D)-(E=F)。至少一个逻辑侧代表多个同数候选数。三个强推理和两个弱推理证明包含性端点关系A或F。
什么是分组三节点X链？
分组侧是析取：当至少一个所代表的候选数为真时为真，仅当所有所代表的候选数都为假时为假。每个等号是连接两个穷举逻辑侧的强链（XOR）；每个破折号是弱推理（NAND），要求其连接侧所代表的候选数之间的普遍不相容。
分步示例
数字7的一个成组L(1)-翼：第5行、第3宫和第8行提供三个强节点。在第8行中，候选数被限制在由边框圈出的两格成组侧 E8 或 F8 内——当其中至少一个成员包含7时，该侧为真。第7列和第8列中的两条弱推论连接各节点，证明端点 E5 OR（E8 或 F8）：G5 同时看到 E5 和两个组成员，因此不能包含7。
第 1 步
考虑这 7 个单元格。
第 2 步
行 5, 宫 3 和 行 8 中 7 的高亮候选数形成一个签名为 (A=B)-(C=D)-(E=F) 的分组三节点X链。每个等号是两个穷举逻辑侧之间的强链接（XOR）；一侧可以是一个单元格或一组单元格。分组侧在其至少一个成员为真时为真，仅当其所有成员为假时为假。 两个破折号是通过 列 7 和 列 8 的独立有效的弱推论（NAND约束）：一个连接侧上代表的每个候选数都与另一侧上代表的每个候选数冲突。通过每条强链接的假到真传播和通过每条弱推论的真到假传播证明端点析取 (E5) 或 (E8 和 F8)。至少一个外部逻辑侧包含 7，可能两者都是。
第 3 步
这是类型1同数字消除：任何红色的 7 都可以移除，因为它看到两个外部逻辑侧上的每个候选数：(E5)；以及 (E8 和 F8)。它们已证明的包含OR意味着至少一侧包含 7，可能两者都是。
当每条强链接（XOR）均穷尽且每条弱推论（NAND）均普遍有效时，成组签名 (A=B)-(C=D)-(E=F) 证明 A OR F。消去目标必须与两个端点侧所代表的每一个候选数都相冲突。这是第 1 类同数消去。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。
如何发现它
对于一个数字，识别三个具有允许的行-宫或列-宫分组的有据强推理节点，并逐成员确认弱推理B-C和D-E。外侧逻辑侧A和F是端点；目标仅在与两侧所代表的每个候选数都矛盾时有效。
消去的依据
从外侧A为假开始，真/假状态通过(A=B)-(C=D)-(E=F)传播并以F为真结束。因此A或F成立，两侧可能都为真。目标候选数仅在与两个端点侧的每个成员都矛盾时才能移除 — 同数类型1消除。