唯一环类型1
此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。类型1唯一环从一种候选数状态开始:跨结构交换两个数字仍会保留所触及的每行、每列和每宫。一个解救单元格携带额外候选数且必须取其一,因此两个基数字从该单元格中移除。
什么是唯一环类型1?
此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。首先验证完整的两值结构:共享相同两个基数字的未解单元格偶数环,在其触及的每个区域中恰好有两个环单元格。沿环交换这些数字不得移动任何已知数,且必须在每个受影响区域中留下每个基数字一次。类型1然后应用其额外的解救条件;任何偶数循环都不够。
在类型1中,除一个外的所有环单元格在基数字上为二值。剩余的解救单元格也携带额外候选数。由于至少一个解救候选数必须为真,该单元格不能持有任一基数字。
分步示例
唯一环类型 1 分步示例:除一格外,环上其余每个格都在基准数字上呈双值,唯一的救援格失去两个基准数字。
第 1 步
考虑这 6 个单元格。
第 2 步
假设此谜题恰有一个解,且当前候选数反映了正确的推理。单元格 D4, G4, G6, F6, F9, D9 在 4 和 5 上形成一个潜在的致命唯一环。 如果这些单元格的每一个都受限于 4 和 5,两个交替分配将在保持给定数固定的同时保留每个被触及的行、列和宫。因此将一个分配换成另一个会阻止唯一完成。所述唯一性假设需要所示的额外候选数或额外限制来打破此致命状态。
第 3 步
避免这两种配置的唯一可能方式是单元格 D9 不包含值 4 和 5。
本分步示例展示了所定义结构的一个有效实例。在将相同推导应用于其他盘面之前,请确认完整的致命结构、涉及的每个区域以及每个目标上的救援或守护条件。您可以试试我们的免费数独谜题,在当前候选状态可见的情况下进行练习。
如何发现它
验证一个偶数环,其中每个受影响区域恰好包含两个环单元格,且两个基数字可沿环交换。除一个外的所有环单元格在基数字上为二值,解救单元格也携带额外候选数。在从该解救单元格移除两个基数字之前,确认交换保留每个触及的区域。
消去的依据
如果解救单元格使用基数字,完整的基数字分配将允许禁止的交换。在唯一解假设下,它必须使用额外候选数,因此两个基候选数可以从该单元格中移除。