唯一矩形 3

Unique Rectangle Type 3

★★★★ 大师

概要:唯一矩形3型(UR Type 3)将两个屋顶格的额外候选数合并视为一个虚拟裸数组。若这些额外候选数与同行/列/宫的其他格子共同形成裸数组,则可从该单元的其余格子中排除相关候选数。

什么是唯一矩形3型?

唯一矩形3型(Unique Rectangle Type 3,简称UR3)是UR家族中最具创造性的变体之一,它将唯一性推理与裸数组(Naked Subset)技法巧妙结合。

结构特征

  • 四格矩形(两行两列,跨越两个宫)
  • 两个底部格:候选数恰好为 {A, B}
  • 两个屋顶格:候选数为 {A, B} 加上额外候选数(可以不同)

关键洞察:两个屋顶格中,至少有一个填非AB的数字(唯一性推理)。将两个屋顶格的”额外候选数”合并,视为一个虚拟节点——好像这两格的额外候选数被压缩成了一个格子的候选数集合。若这个虚拟集合与同行/列/宫的某些格子共同形成裸数组,就可以执行相应排除。

解题步骤

  1. 确认UR结构:找到两底部格({A,B})和两屋顶格(含额外候选数),四格成矩形
  2. 提取额外候选数:从两个屋顶格中去除A和B,得到额外候选数集合
  3. 虚拟裸数组分析:将两屋顶格合并视为”虚拟格”,看其额外候选数是否与同单元的外部格子形成裸数组
  4. 应用裸数组排除:若形成裸数组,从该单元其余格子的候选数中排除相关数字

示例详解

识别UR3矩形结构

1 6 1 6 1 6 3 1 6 5
矩形四角:R4C1和R4C5候选数为{1,6}(底部格,同行),R8C1候选数为{1,6,3},R8C5候选数为{1,6,5}(屋顶格,同在第8行)。两个屋顶格的额外候选数分别为3和5,合并为虚拟集{3,5}。

考虑以下矩形(两屋顶格在同一行):

        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}。

虚拟裸数对排除

1 6 1 6 1 6 3 1 6 5 3 5 3 5 9 3 5
屋顶格额外候选数合并为{3,5}。第8行中R8C7恰好候选数为{3,5},与虚拟集构成裸数对。因此第8行其他格子可排除候选数3和5。例如R8C9含{3,5,9},排除3和5后只剩9。

排除结论:若第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,可以大幅降低理解难度。