空矩形

Empty Rectangle

★★★ 高级

概要:空矩形(Empty Rectangle)利用宫内候选数位置的特殊形状——候选数仅出现在某行或某列的局部(留下一个空矩形区域)。结合外部一条强链,推导出特定格子不可能是该候选数,实现精确消除。

什么是空矩形?

空矩形(Empty Rectangle,简称 ERI——Empty Rectangle Inference)是一种结合宫内候选数形状外部强链的推理技法。

核心概念:空矩形形状

在一个 3x3 宫中,如果某候选数 N 的所有位置都集中在同一行的某些格子(即该宫的某一行有 N,其他行没有 N),或者集中在同一列的某些格子,就会在宫内形成一个”空矩形”——宫内剩余的行x列区域中没有该候选数。

更精确的定义:在宫 B 中,候选数 N 的所有位置满足以下条件之一:

  • 所有位置都在同一行(行内分布)
  • 所有位置都在同一列(列内分布)

这意味着:如果 N 在宫 B 的某行/列上,其他行/列就不会有 N(形成”空矩形”)。

推理机制

空矩形的推理结合了宫内约束和外部强链:

  1. 宫 B 中,候选数 N 只出现在第 r 行(行内集中)
  2. 在宫 B 所在列区段之外,存在一条列强链(N 在某列恰好只有两个位置):设为 P 和 Q
  3. 若 P 与宫 B 在同列(P 在宫 B 的列区段内,与宫 B 的行候选数形成交叉)

推理:

  • 若 Q = N → 消除完毕(Q 已确定)
  • 若 Q ≠ N → P = N(列强链)→ 宫 B 内 N 不在 P 所在列的其他行 → 宫 B 的 N 必须在第 r 行 → 第 r 行与 Q 的列交叉点不能是 N

因此:第 r 行与 Q 列的交叉格(若能同时看到 P 和外部强链另一端)中的候选数 N 可以消除。

解题步骤

  1. 找宫内集中分布:扫描每个宫,找某候选数 N 只出现在同一行或同一列的宫

  2. 确定集中行/列:记录该宫中 N 集中的那一行(或列),设为行 r(或列 c)

  3. 寻找外部强链:找一条与该宫相关的列强链(N 在某列恰好 2 个位置,其中一个与宫在同列区段,另一个在宫外)

  4. 连接推理

    • 外部强链的宫内端点(设为格子 P)和宫的集中行 r 确定了一个”交叉点”
    • 外部强链的另一端(格子 Q)确定了消除的目标列
  5. 消除目标:行 r 与格子 Q 所在列的交叉格,可消除候选数 N

示例详解

空矩形:识别L形分布与共轭对

8 6 2 5 1 7 1 3 4 7 9 5 8 7 9 1 6 2 3 2 1 3 5 4 6 7 8 9 4 5 6 8 9 3 1 2 7 9 8 3 1 2 4 5 6 3 2 1 6 8 9 7 5 6 4 7 9 3 5 1 8 5 6 4 8 4 4 2 4 7 1 4 7
数字4在第7宫(第7-9行,第4-6列)中呈L形分布:R7C6(绿色上)和 R9C4、R9C6(绿色下)。除此之外该宫无其他候选4。同时在第3行中,4只出现在C6和C9两处(蓝色共轭对),形成强链。

以候选数字 6 为例:

宫内分析

中左宫(行 4-6,列 1-3)中,候选数 6 的位置:

  • R4C1 和 R4C3 含候选数 6
  • 第 5、6 行的列 1-3 区域中没有候选数 6

候选数 6 在中左宫中只出现在第 4 行,满足行内集中条件。

外部强链

第 1 列中候选数 6 恰好出现 2 次:R4C1 和 R8C1,构成列强链

连接推理

  • 若 R8C1 ≠ 6 → R4C1 = 6(列强链)→ 第 4 行其余格不含 6
  • 若 R8C1 = 6 → R8C7 ≠ 6(同行约束)

空矩形:消除目标

8 6 2 5 1 7 1 3 4 7 9 5 8 7 9 1 6 2 3 2 1 3 5 4 6 7 8 9 4 5 6 8 9 3 1 2 7 9 8 3 1 2 4 5 6 3 2 1 6 8 9 7 5 6 4 7 9 3 5 1 8 5 6 4 8 4 4 2 4 7 1 4 7 3 4 4
推理:如果 R3C6=4,则第6列已有4,宫内4被推入第9行(R9C4或R9C6),第9行已有4 → R9C9不能为4。如果 R3C6≠4,则共轭对迫使 R3C9=4,同列 → R9C9不能为4。两种情况下 R9C9 都不可能是4,消除之。

结论:R8C7 可消除候选数 6

实用技巧

  • 先找宫内集中格:扫描每个宫,寻找候选数只出现在同一行或同一列的情况。这种宫就是空矩形的基础

  • 集中行/列是”导线”:宫内集中的那一行(或列)就像一根”导线”,连接宫内强链和外部强链

  • 与双线风筝对比双线风筝要求宫内只有行链和列链各一个端点;空矩形允许宫内端点有多个位置(只要集中在同行/列),结构更灵活

  • 画图辅助:在纸上画出宫的 3x3 格,标出候选数 N 的位置,直观看出”空矩形”区域,然后寻找外部强链

  • 先简化盘面:空矩形通常在候选数较少时发挥作用。先用基础技法消除候选数,再寻找空矩形结构

与其他技法的关系

  • 前置技法X-Wing——理解行/列强链是学习空矩形的前提
  • 姐妹技法双线风筝——同样结合一个宫的约束和外部强链,但双线风筝要求宫内只有孤立的两个端点,空矩形允许宫内有多个候选位置(集中在同行/列)
  • 姐妹技法摩天楼——同样是两条强链的组合,区别在于连接方式

空矩形、双线风筝、摩天楼是三种”两步强链”技法,共同构成中高级数独的核心消除工具。

常见问题

Q:宫内候选数分布在 L 形、T 形是什么意思?

A:宫内候选数的所有位置集中在某行与某列的交叉区域时,会形成 L 形或 T 形(或更简单的直线)。关键是:这些位置必须满足”所有位置都在同一行”或”所有位置都在同一列”这一条件,才能形成有效的空矩形。L 形、T 形等描述只是直观形象,精确条件是行内或列内集中。

Q:空矩形中的”空矩形”到底指哪个区域?

A:指宫内没有该候选数的区域。例如,若宫内候选数 N 只在第 4 行,那么第 5、6 行的 9 个格子(与列 1-3 的交叉)就构成”空矩形”——这个矩形区域内没有 N。技法因此得名。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 高级技法 → 空矩形,开始专项训练。建议配合双线风筝摩天楼一起学习,三者都是基于强链的消除技法,互相学习能加深对强链推理的整体理解。