分组三节点同数AIC环

分步示例

成组三节点同数AIC环分步示例：同数成组强节点由独立于路径验证的弱推论闭合。

第 1 步

考虑这 7 个单元格。

第 2 步

3 的高亮候选数形成闭合的三节点环 (C7=B9 和 B7)-(B4=F4)-(F3=C3)。每个等号是 宫 7, 行 4 和 行 3 中两个逻辑侧之间的强链接（XOR）：两侧中恰好一侧包含 3，且一侧可以是一个单元格或一组单元格。 当一侧被分组时，框线勾勒出该组的单元格，单个连接符将该框线连到另一侧逻辑侧 — 整个连接符是一条分组强链接，没有单个单元格被强制。 每个破折号是通过 列 2, 列 6 和 列 3 的弱推论（NAND）：两个相连侧不能都包含 3。通过 列 3 的破折号独立于路径得到验证 — 它闭合环，因此端点定理提供其互补的强推论，环的每条弱边都变成恰好一对。

第 3 步

因此任何红色的 3 都可以移除。它位于环的强链接区域之外，并在至少一个连接区域（列 2, 列 6 和 列 3）中看到每个高亮的 3 — 即那里弱边的两侧。闭合的环使该边成为恰好一对，因此其端点之一始终为真并排除红色候选数。

成组同数环要求每条弱边都满足普遍不相容性：成组侧仅在其代表的全部候选出现均为假时才为假。一旦闭合弱推论得到验证，端点定理即会饱和闭合对，而消去目标仅在与相连两侧所代表的全部候选数均冲突时才有效。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。