原理说明
唯一矩形(Unique Rectangle)基于一个重要假设:一个合法的唯一解数独谜题不会存在"致命结构"(即四个角格子两两同行/列/宫且只含两个相同候选数,导致可以交换产生第二个解)。当四个角格子中有一个或多格含有额外候选数时,可以利用唯一性假设来排除特定候选数。
四角形成唯一矩形时,带额外候选数的角格不能保留致命对候选数。
唯一矩形(Unique Rectangle)基于一个重要假设:一个合法的唯一解数独谜题不会存在"致命结构"(即四个角格子两两同行/列/宫且只含两个相同候选数,导致可以交换产生第二个解)。当四个角格子中有一个或多格含有额外候选数时,可以利用唯一性假设来排除特定候选数。
唯一矩形在唯一解谜题中非常实用。许多中等偏难的谜题都包含可利用的唯一矩形模式。它是唯一性策略中应用最广泛的一种。
唯一矩形基于一个重要的前提:标准数独谜题必须有唯一解。如果一个题目有两个或以上的合法解,那它就不是一道合格的数独题。
什么是"致命结构"?
当四个格子形成一个矩形(占两行、两列、两宫),且这四个格子都只含相同的两个候选数 {X, Y} 时,就形成了"致命结构"。这种结构之所以"致命",是因为:
既然合格的数独题必须唯一解,那么致命结构绝不可能出现。基于这个前提,我们可以推导出:
如果四个格子几乎构成致命矩形,但其中一个或多个格子含有额外候选数,那么为了避免形成致命结构,这些额外候选数所在的格子中,致命对 {X, Y} 的候选数不能同时被保留——换句话说,含额外候选数的格子必须填入那个额外的数。
更简单地说:如果四个角中有一个角"不小心"去掉了额外候选数,就会变成致命结构,导致题目多解。所以那个额外候选数必须是答案。
四个角中,三个角恰好只含致命对 {X, Y},第四个角除了 {X, Y} 还含有额外候选数 Z。此时,为了避免形成致命结构,第四个角必须填入 Z,因此可以删除该格中的 X 和 Y。
这是最基础、最容易识别的唯一矩形类型。
四个角中,有两个角(在同一侧,如同行或同列)除了致命对 {X, Y} 外,还含有相同的额外候选数 Z。为了避免致命结构,这两个格子中至少有一个是 Z。因此,这两个格子的公共可见格中的 Z 可以被删除。
两个对角或同侧的格子含有不同的额外候选数(如一格含 Z,另一格含 W)。此时这两格合起来相当于一个"虚拟数对" {Z, W},可以与其他格子组成数对或数组来排除候选数。
两个含额外候选数的格子恰好构成某个候选数的强链接(共轭对)。此时可以利用强链接的性质,结合唯一性约束,进一步排除候选数。
两个对角的格子含有相同的额外候选数 Z。由于两个对角中至少有一个是 Z(否则形成致命结构),因此同时被这两个对角格"看到"的格子中的 Z 可以删除。
误区一:四宫分布的矩形
唯一矩形要求四个格子分布在恰好两个宫中(即上边两格同宫或下边两格同宫,或左边两格/右边两格同宫)。如果四个角分别在四个不同的宫中,即使形状像矩形,也不是唯一矩形——因为交换后会影响宫的约束,不一定形成双解。
误区二:用于多解题
唯一性策略(包括唯一矩形)只适用于唯一解的数独题。如果题目本身有多解,使用唯一矩形可能会导致错误——因为你排除的候选数可能恰好是另一个解的一部分。
误区三:记错删数位置
不同类型的唯一矩形删数位置不同:类型 1 是在含额外候选数的格中删除致命对;类型 2 是在两个含 Z 的角的公共可见格中删 Z。不要混淆删数位置和删什么候选数。
误区四:不是"恰好"两个候选数
对于类型 1 的唯一矩形,三个角必须恰好只含致命对的两个候选数。如果那三个角中有任何一个还含有其他候选数,类型 1 的结论就不成立(但可能属于其他类型)。
误区五:与宫内矩形混淆
如果四个格子都在同一个宫内,那不是唯一矩形——那只是宫内部的候选数关系,不会形成跨宫的致命结构。唯一矩形的"矩形"必须跨越至少两个宫。
唯一矩形与 BUG+1 都是唯一性策略的代表,两者都基于"优质数独应有唯一解"这一前提。唯一矩形利用四角矩形的唯一性约束排除候选数,而 BUG+1 利用几乎二元通用模式的唯一性约束确定答案。两者关注的角度不同:唯一矩形关注四角格子的候选数关系,BUG+1 关注全盘候选数的二元通用模式。
策略家族关系: