唯一矩形 3
Unique Rectangle Type 3
概要:唯一矩形3型(UR Type 3)将两个屋顶格的额外候选数合并视为一个虚拟裸数组。若这些额外候选数与同行/列/宫的其他格子共同形成裸数组,则可从该单元的其余格子中排除相关候选数。
什么是唯一矩形3型?
唯一矩形3型(Unique Rectangle Type 3,简称UR3)是UR家族中最具创造性的变体之一,它将唯一性推理与裸数组(Naked Subset)技法巧妙结合。
结构特征:
- 四格矩形(两行两列,跨越两个宫)
- 两个底部格:候选数恰好为 {A, B}
- 两个屋顶格:候选数为 {A, B} 加上额外候选数(可以不同)
关键洞察:两个屋顶格中,至少有一个填非AB的数字(唯一性推理)。将两个屋顶格的”额外候选数”合并,视为一个虚拟节点——好像这两格的额外候选数被压缩成了一个格子的候选数集合。若这个虚拟集合与同行/列/宫的某些格子共同形成裸数组,就可以执行相应排除。
解题步骤
- 确认UR结构:找到两底部格({A,B})和两屋顶格(含额外候选数),四格成矩形
- 提取额外候选数:从两个屋顶格中去除A和B,得到额外候选数集合
- 虚拟裸数组分析:将两屋顶格合并视为”虚拟格”,看其额外候选数是否与同单元的外部格子形成裸数组
- 应用裸数组排除:若形成裸数组,从该单元其余格子的候选数中排除相关数字
示例详解
识别UR3矩形结构
考虑以下矩形(两屋顶格在同一行):
C1 C5
R4 [候选: 1,6] [候选: 1,6]
R8 [候选: 1,6,3] [候选: 1,6,5]
- R4C1:候选数 {1, 6} — 底部格(A=1, B=6)
- R4C5:候选数 {1, 6} — 底部格
- R8C1:候选数 {1, 6, 3} — 屋顶格,额外候选数:{3}
- R8C5:候选数 {1, 6, 5} — 屋顶格,额外候选数:{5}
唯一性推理:R8C1 和 R8C5 中至少一个不填1和6。合并额外候选数:{3, 5}。
虚拟裸数组:在第8行中,将 R8C1 和 R8C5 视为一个含 {3, 5} 的虚拟裸数对(因为1和6在这两格中是”被唯一性锁定”的)。
若第8行中还有一个格子 R8C9 含候选数 {3, 5},则三者(R8C1额外、R8C5额外、R8C9)形成裸三数组 {3,5}+{3,5}——但实际上虚拟节点只代表两格,与R8C9形成的是裸数对{3,5}。
虚拟裸数对排除
排除结论:若第8行中R8C1和R8C5的额外候选数合并为{3,5},与第8行另一格(含{3,5})共同形成裸数对,则第8行其他格子可排除3和5。
更简洁的案例——若两屋顶格在同行,额外候选数合并为单一数字集 {C}(即两格额外候选数相同),退化为UR2。UR3真正的价值在于额外候选数不同时:
- R8C1额外:{3},R8C5额外:{5}
- 合并虚拟集:{3, 5}
- 若 R8C7 = {3, 5},则第8行形成虚拟裸三数组(UR3格1, UR3格2, R8C7)对应 {3,5}
- 第8行其他格子排除3和5
实用技巧
- 两屋顶格最好在同行或同列:这样虚拟裸数组在同一单元内生效,排除效果明确
- 额外候选数尽量少:UR3在额外候选数总数较少时最有价值,候选数太多则虚拟裸数组难以成立
- 结合裸数对/三数组训练:UR3本质是对裸数组技法的扩展应用,熟悉裸数组是掌握UR3的基础
- 验证宫的跨越:始终确认矩形跨越两个宫,否则UR前提不成立
与其他技法的关系
常见问题
Q:UR3的”虚拟裸数组”概念难以理解,有简单的记忆方法吗?
A:可以这样理解:两个屋顶格”欠”着1和6(因为如果它们都只填1和6就会多解),所以它们必须”贡献”至少一个额外数字给行/列/宫。把这两格的额外候选数合并,视为一个”需要分配的候选数池”。若这个池与外部某些格子恰好形成闭合的裸数组,就能执行排除。
Q:UR3需要两个屋顶格在同一行/列吗?
A:不是必须,但同行/列时最容易应用。若两屋顶格在不同行不同列,需要找到同时包含两格的更大单元(如宫),在该单元内寻找裸数组关系,难度较大。实际解题中,同行/列的UR3最为常见。
在爱九宫数独中练习
打开爱九宫数独 App → 学习 → 大师技法 → 唯一矩形3型,挑战将唯一性推理与裸数组结合的复合技法。建议先充分练习裸数对和裸三数组,再尝试UR3,可以大幅降低理解难度。