数独中的唯一矩形技巧
什么是唯一矩形?
唯一矩形是一种基于唯一解的技巧,依赖标准数独只有一个解这一前提。四个格子由两行和两列组成矩形的四个角,并且这些角位于两个宫中。如果四个格子都包含相同的两个候选数,就可能通过交换这两个数字得到两种不同的解。
这种产生两个解的结构称为致命矩形。一个有唯一解的数独必须有额外候选数或限制来阻止它。唯一矩形技巧正是利用这些额外信息进行安全排除。
基础的类型一结构
最简单的情况是:三个矩形角只包含候选数1和6,第四个角包含1、6以及额外候选数9。如果从第四个角删除9,四个格子就会拥有完全相同的一对候选数,题目可能产生两个解。
因此,9必须保留在第四个角中。其他唯一矩形类型的额外候选数或共享单位会改变具体排除方式,确认结构前不要直接删除候选数。
如何检查唯一矩形
- 找出由两行两列组成矩形四角的四个格子。
- 确认四角分别位于两个对应的宫中。
- 找出四个格子共有的两个候选数。
- 检查哪些角还包含额外候选数。
- 只执行该类型唯一矩形真正支持的排除。
如果题目允许存在多个解,那么基于唯一性的排除就不成立。
为什么唯一解很重要?
这个技巧并不是说只要四个格子形成矩形,就能直接判断两个候选数的去向。它的逻辑来自排除第二个解。因此,唯一矩形与不依赖唯一解前提的 裸对、X-Wing 等技巧不同。
唯一矩形常见误区
- 四个格子必须满足对应的行、列和宫关系,不能只看起来大致对齐。
- 不同类型的唯一矩形不一定产生相同的排除。
- 不要对可能有多个解的题目使用唯一性逻辑。
- 保留阻止致命矩形的额外候选数或限制,除非具体规则证明它可以删除。
什么时候学习唯一矩形?
建议在熟悉候选数标记、数组和基础鱼形技巧后学习。它适合用于普通排除暂时无法推进的困难盘面。应把它理解为关于可能解的逻辑证明,而不是单纯的图形捷径。
学完后该学什么?
可以将唯一矩形与 XYZ-Wing 对比,观察不同候选数结构如何产生排除。掌握致命矩形后,再继续学习 BUG+1 和其他唯一性变体。