首页故事
EN中文
← 棋与故事数独 / RULES & CONTEXT

数独高阶解法:四边形法则(X-Wing)与三链列推导

跳出基础单数与数对的视野,深入几何级候选数排除法:通过严格的共轭对逻辑,掌握跨行列删除候选数的数学原理。

文章目录
01

从局部约束到全局链条的飞跃

在解决中等难度以上的标准 9×9 数独时,绝大多数玩家都会遇到一个瓶颈:所有的单元格都填满了候选数,但盘面上既没有单候选数(Naked Singles),也没有某一宫内的单数(Hidden Singles),甚至没有显性数对。

此时,依靠单个单元格或单一行列的孤立视角已经无法推进。我们需要将目光转向“多行或多列之间的几何联动”。X-Wing(四边形法则,又称 X 翼)便是进阶高阶数独的第一块基石。它不是凭空猜测,而是基于严密的双值逻辑反证法。

02

X-Wing 的严格定义与几何结构

X-Wing 的定义非常明确: 1. 寻找某个特定候选数字(设为数字 N); 2. 在棋盘的两条不同“基准行”(如第 2 行和第 7 行)中,数字 N 恰好都只出现在相同的两列中(如第 4 列和第 8 列); 3. 这四个目标单元格刚好构成了一个规则的矩形四边形顶点。

为什么这被称为 X-Wing?因为连接这四个顶点的两条对角线呈现出一个“X”形。在这两行中,数字 N 必须且只能在这两列的其中一个格子里出现。这意味着只存在两种可能的分组: - 组合 A:第 2 行填在第 4 列,第 7 行填在第 8 列; - 组合 B:第 2 行填在第 8 列,第 7 行填在第 4 列。

◇
亲手验证这个想法。

进入对应棋盘,试走一步,再回到文章。

打开练习棋盘
03

核心排除推导:为什么可以删除整列的多余候选?

注意上述推理的决定性结论:无论最终是组合 A 还是组合 B 成立,第 4 列与第 8 列都必定已经被数字 N 占据了一个位置!

根据数独“每列数字 1–9 只能出现一次”的基本铁律,在这两列中,除了这四个顶点之外的任何其他单元格,都绝对不可能再是数字 N!

因此,我们可以自信地将第 4 列和第 8 列中除这四个顶点以外的所有格子中的数字 N 候选彻底删除。删除后应重新扫描单数和数对;不保证每次排除都立即产生可填写的数字。前提是候选记录完整正确,这里的行列分布是条件示例,不是一张完整数独题面。

04

从 X-Wing 到 Swordfish(三链列)的自然拓展

一旦掌握了 X-Wing 的两行两列原理,理解更高阶的 Swordfish(剑鱼 / 三链列)就水到渠成了: - X-Wing 是 2 行 2 列的联动; - Swordfish 则是 3 行 3 列的联动。即某个候选数在 3 条基准行中,其分布被限制在相同的 3 条列内(每行可包含 2 到 3 个候选)。 - 其排除结论完全一致:该候选数在对应的 3 条列中,除了这组顶点格子之外,其余位置的同数字候选数统统可以删除。

寻找这类形态时,切忌肉眼散漫乱看。正确的技巧是按数字从 1 到 9 逐个过滤候选数分布,专门寻找那些在某两行或某三行仅出现两次的“强关联”,从而迅速定位四边形。

例如某数字在第 1 行只出现在第 2、5 列,第 4 行只在第 5、8 列,第 7 行只在第 2、8 列:三行的三个该数字必定分配到三个不同的列,因此这三列的其他行可以删除该候选。若其中一行还存在第 9 列的候选,原先三列封闭的条件就不成立。也不要仅搜索每行恰好两个候选,否则会漏掉包含三个候选的剑鱼。

停下来,自己判断一次

在一个以两行为基准构建的 X-Wing 结构中,被删除的候选数位于哪里?

查看答案与理由

位于对应的两条列上,除了构成四边形顶点的 4 个格子之外的所有其他格子中。

继续学习

欢迎纠错,请注明段落以及希望我们核对的来源。 联系编辑 ↗

BEYOND THE NEXT MOVE

进阶精讲:说清下一步的理由

所有故事 ↗