空矩形
Empty Rectangle
概要:空矩形(Empty Rectangle)利用宫内候选数位置的特殊形状——候选数仅出现在某行或某列的局部(留下一个空矩形区域)。结合外部一条强链,推导出特定格子不可能是该候选数,实现精确消除。
什么是空矩形?
空矩形(Empty Rectangle,简称 ERI——Empty Rectangle Inference)是一种结合宫内候选数形状与外部强链的推理技法。
核心概念:空矩形形状
在一个 3x3 宫中,如果某候选数 N 的所有位置都集中在同一行的某些格子(即该宫的某一行有 N,其他行没有 N),或者集中在同一列的某些格子,就会在宫内形成一个”空矩形”——宫内剩余的行x列区域中没有该候选数。
更精确的定义:在宫 B 中,候选数 N 的所有位置满足以下条件之一:
- 所有位置都在同一行(行内分布)
- 所有位置都在同一列(列内分布)
这意味着:如果 N 在宫 B 的某行/列上,其他行/列就不会有 N(形成”空矩形”)。
推理机制
空矩形的推理结合了宫内约束和外部强链:
- 宫 B 中,候选数 N 只出现在第 r 行(行内集中)
- 在宫 B 所在列区段之外,存在一条列强链(N 在某列恰好只有两个位置):设为 P 和 Q
- 若 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 可以消除。
解题步骤
-
找宫内集中分布:扫描每个宫,找某候选数 N 只出现在同一行或同一列的宫
-
确定集中行/列:记录该宫中 N 集中的那一行(或列),设为行 r(或列 c)
-
寻找外部强链:找一条与该宫相关的列强链(N 在某列恰好 2 个位置,其中一个与宫在同列区段,另一个在宫外)
-
连接推理:
- 外部强链的宫内端点(设为格子 P)和宫的集中行 r 确定了一个”交叉点”
- 外部强链的另一端(格子 Q)确定了消除的目标列
-
消除目标:行 r 与格子 Q 所在列的交叉格,可消除候选数 N
示例详解
空矩形:识别L形分布与共轭对
以候选数字 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(同行约束)
空矩形:消除目标
结论: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 → 学习 → 高级技法 → 空矩形,开始专项训练。建议配合双线风筝和摩天楼一起学习,三者都是基于强链的消除技法,互相学习能加深对强链推理的整体理解。