唯一矩形

数独中的唯一性假设

一个正确构造的数独谜题有且仅有一个解。如果你能识别出一种候选配置会导致多个解，那么这种配置是不可能的。至少有一个候选配置是错误的，你可以将其排除。 唯一矩形家族将此原理应用于四个单元格组成的矩形，这四个单元格跨越两个行、两个列，且恰好位于两个宫内。

数独 中的致命模式是什么？

致命模式是一种配置，如果允许数字互换，将产生第二个有效解。四个单元格形成一个矩形，跨越恰好两个宫，且全部只包含{X, Y}，就会造成这种歧义。两种排列都满足所有约束条件。这在有效谜题中是被禁止的。 两个宫的要求确保了这种互换对所有行、列、宫类型都不可见。

唯一矩形设置：地板和屋顶

地板单元格恰好包含 {X, Y}。屋顶单元格包含 {X, Y} 以及额外的数字。这些额外的数字是逃生路径，可防止出现致命模式。 目标：证明屋顶单元格不能同时仅包含 {X, Y}。由于致命模式被禁止，至少有一个屋顶 单元格 必须解析为非 X 或 Y 的值。

唯一矩形类型1: 一个额外的角落

三个角是双值 {X, Y}。第四个角是 {X, Y} 加上其他值。如果第四个角是 X 或 Y，就会形成致命模式。因此，从第四个角中排除 X 和 Y。难度等级 6（困难）。

唯一矩形类型2: 共享额外候选数

两个地板单元 {X, Y}。两个屋顶单元 {X, Y, Z}。至少一个屋顶必须是 Z。从同时看到两个屋顶单元的单元中消除 Z。难度等级 6（困难）。

唯一矩形类型3: 假裸subset

两个屋顶单元格在 {X, Y} 之外具有不同的额外数字。这些额外数字与其他共享屋中的单元格组成伪裸集合。难度等级 7（非常困难）。

唯一矩形类型4: 共轭对

一个数对数字在两个屋顶单元格之间形成共轭数对。这打破了致命模式。从两个屋顶单元格中删除另一个数对数字。难度等级 7（非常困难）。

唯一矩形类型5：对角线额外

额外候选数Z出现在对角线角落或四个角落中的三个。至少有一个Z角必须是Z。从看到所有Z角的单元格中消除Z。难度等级8（专家）。

可避免矩形

适用于四个角均为非给定单元格（部分已求解）的矩形。交换论证仍然适用，因为这些单元格均未被构造器固定。类型1-4对应标准唯一矩形类型。难度等级6（困难）。

隐藏唯一矩形

在屋顶单元格的共享屋中，一对候选数字仅出现在这两个单元格中（"隐藏"）。该数字必须填入其中一个屋顶单元格，从而打破致命模式。从两个屋顶单元格中删除另一对候选数字。难度等级 8（专家）。

寻找唯一矩形的实用技巧

从双值单元格开始。当你看到两个或更多具有相同数字对的单元格时，检查是否形成矩形。验证两区块约束。检查所有方向。在应用唯一矩形消除法后，结合其他技巧。

摘要

唯一矩形家族提供了七种利用唯一性假设的技巧。它们从类型1（从额外角落消除配对数字）到隐藏唯一矩形（找到一个隐藏数对数字以消除另一个）不等。掌握这些技巧能显著提升解决困难至专家级别谜题的能力。