分组 X 环是在普通 X 环上的一次升级:节点不再必须是单个格。同一个数字的两三个格,只要挤在宫与行或列相交的地方,就可以作为一个节点。这一处改动,能把许多走进死胡同的链变成闭合的环。
X 环是针对一个数字的环,链接在强链和弱链之间交替。强链表示两端至少有一端为真;弱链表示两端至多有一端为真。沿着闭合的环交替排列,这个环就会约束整个盘面。
_组_是你的数字在某个宫与线相交处的格的集合,即宫与行或列重叠的两三个格。组的表现与单个节点完全一样,因为“数字在这个组的某处”是一个非真即假的命题。当组与另一个节点恰是数字在某个区域里仅有的两处时,它们之间是强链;只要共处一个区域,就是弱链。
X 环的三条规则原样适用:
当一个数字在大多数区域里只剩两三个位置,而你总找到差一点闭合的链时再找。数字被限制在一行或一列内的宫,就是原材料,它们正是你需要的组。
| 普通 X 环 | 分组 X 环 | |
|---|---|---|
| 节点 | 一个格 | 一个格或一个组 |
| 组的位置 | 无 | 宫与行或列相交处 |
| 强链的来源 | 区域里的两个位置 | 两个位置,把一个组算作一个 |
| 使用的规则 | 1、2、3 | 1、2、3,不变 |
数字 4。宫 4 的 4 只在 F1 和组 D3、E3、F3 里,这个组都在第 3 列。看链接如何从 F1 经过这个组和 A3 到达 A5,以及环最后落在哪里。
这条链有三个链接:
读作 F1 = 组,组 - A3,A3 = A5。如果 F1 不是 4,组就是,于是 A3 不是,所以 A5 是。无论哪种情况,F1 或 A5 之一是 4。F5 在行 F 里看到 F1,在第 5 列里看到 A5,所以两条弱链在 F5 相遇。这就是规则 3,也是这个环在那里不连续的原因:F5 不能是 4。
连续的情形(规则 1)要求每个链接一路交替。这里环在 F5 处断开,而这个断点恰恰产生了排除。
分组 X 环属于极限技巧。它最早在大师题目中变得必要,并一直有用到传奇难度,那里单数字逻辑往往是不需要完整强制网的最后手段。