唯一矩形类型3

此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。类型3唯一矩形从一种候选数状态开始:跨结构交换两个数字仍会保留所触及的每行、每列和每宫。解救选择充当单个虚拟槽,在共享区域中完成子集限制。

什么是唯一矩形类型3?

此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。首先验证完整的两值结构:两行两列的角上四个未解单元格,恰好跨两个宫,每个在其候选数中携带相同的两个基数字。在角之间交换这些数字不得移动任何已知数,且必须在每个受影响区域中留下每个基数字一次。类型3然后应用其额外的解救条件;任何矩形都不够。

在类型3中,解救选择充当单个虚拟槽。与共享区域中的伴随单元格结合,它在计数的数字并集上完成子集限制,然后从其他合格单元格中移除。

分步示例

唯一矩形类型 3 分步示例:救援候选数充当虚拟槽位,在共享区域内与其它格共同构成子集限制。

第 1 步

考虑这 4 个单元格。

展示唯一矩形类型3分步示例第 1 步的数独盘面,高亮显示相关候选数与格子。

第 2 步

假设此谜题恰有一个解,且当前候选数反映了正确的推理。单元格 B2, G2, B3, G3 在 6 和 7 上形成一个潜在的致命唯一矩形。 如果这些单元格的每一个都受限于 6 和 7,两个交替分配将在保持给定数固定的同时保留每个被触及的行、列和宫。因此将一个分配换成另一个会阻止唯一完成。所述唯一性假设需要所示的额外候选数或额外限制来打破此致命状态。 B2 或 B3 必须提供逃逸值 1, 3 和 5 之一。该保证的选择充当 1, 3, 5 和 4 的一个虚拟槽位。与真实同伴单元格 B5, B7, B8 一起,虚拟槽位将这些值锁定在此列中;两个救援单元格都不会被重复计算。

展示唯一矩形类型3分步示例第 2 步的数独盘面,高亮显示相关候选数与格子。

第 3 步

因此 1, 3, 5 和 4 的标记候选数可以从此列中移除。它们位于虚拟逃逸槽、其真实同伴单元格和备用救援单元格之外。

唯一矩形类型3推导后的数独盘面,高亮显示经证明的填数或候选消去。

本分步示例展示了所定义结构的一个有效实例。在将相同推导应用于其他盘面之前,请确认完整的致命结构、涉及的每个区域以及每个目标上的救援或守护条件。您可以开始一局免费数独,在当前候选状态可见的情况下进行练习。

如何发现它

验证两行、两列和恰好两个宫中的四个未解角。解救单元格中的解救选择形成一个虚拟槽。将该槽与共享区域中候选数并集含N个数字的N−1个真实伴随单元格结合。每个单元格计一次,仅从其他合格单元格中移除并集。

消去的依据

唯一性保证至少一个解救单元格使用额外数字,因此解救组占据一个虚拟槽。与验证过的伴随单元格一起,它保留所述的数字并集;只有该组合集之外的候选数才是消除目标。