唯一环类型4

此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。类型4唯一环从一种候选数状态开始:跨结构交换两个数字仍会保留所触及的每行、每列和每宫。解救单元格共享区域内一个基数字的共轭限制将另一个基数字从两者中移除。

什么是唯一环类型4?

此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。首先验证完整的两值结构:共享相同两个基数字的未解单元格偶数环,在其触及的每个区域中恰好有两个环单元格。沿环交换这些数字不得移动任何已知数,且必须在每个受影响区域中留下每个基数字一次。类型4然后应用其额外的解救条件;任何偶数循环都不够。

在类型4中,两个解救单元格共享的区域有一个基数字局限于这些单元格。这将该数字锁定在解救单元格中,因此另一个基数字从两者中移除。

分步示例

唯一环类型 4 分步示例:被锁定在两个救援格中的一个基准数字会将另一个基准数字从这两格中移除。

第 1 步

考虑这 6 个单元格。

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

第 2 步

假设此谜题恰有一个解,且当前候选数反映了正确的推理。单元格 B4, I4, I6, C6, C9, B9 在 2 和 8 上形成一个潜在的致命唯一环。 如果这些单元格的每一个都受限于 2 和 8,两个交替分配将在保持给定数固定的同时保留每个被触及的行、列和宫。因此将一个分配换成另一个会阻止唯一完成。所述唯一性假设需要所示的额外候选数或额外限制来打破此致命状态。 注意单元格 C9 和 B9 是此宫中值 2 的唯一可能位置,因此这两个单元格之一将包含值 2。

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

第 3 步

因此,避免两种配置的唯一可能方式是 C9 和 B9 都不包含值 8。

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

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

如何发现它

验证一个偶数环,其中每个受影响区域恰好包含两个环单元格,且两个基数字可沿环交换。在解救单元格共享的区域中,一个基数字被限制在这些单元格中。此限制阻止另一个基数字占据任一解救单元格;除非另有推理证明,否则不要断言锁定数字的个别分配。

消去的依据

锁定的基数字必须出现在一个解救单元格中。如果另一个基数字占据任一解救单元格,剩余的基数字可能完成禁止的交换。因此,将另一个基数字从两个解救单元格中移除;锁定数字的确切单元格可以保留未解。