唯一环类型3
此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。类型3唯一环从一种候选数状态开始:跨结构交换两个数字仍会保留所触及的每行、每列和每宫。解救选择充当单个虚拟槽,在共享区域中完成子集限制。
什么是唯一环类型3?
此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。首先验证完整的两值结构:共享相同两个基数字的未解单元格偶数环,在其触及的每个区域中恰好有两个环单元格。沿环交换这些数字不得移动任何已知数,且必须在每个受影响区域中留下每个基数字一次。类型3然后应用其额外的解救条件;任何偶数循环都不够。
在类型3中,解救选择充当单个虚拟槽。与共享区域中的伴随单元格结合,它在计数的数字并集上完成子集限制,然后从其他合格单元格中移除。
分步示例
唯一环类型 3 分步示例:救援候选数充当虚拟槽位,在共享区域内与其它格共同构成子集限制。
第 1 步
考虑这 6 个单元格。
第 2 步
假设此谜题恰有一个解,且当前候选数反映了正确的推理。单元格 C4, C6, H6, H1, I1, I4 在 2 和 7 上形成一个潜在的致命唯一环。 如果这些单元格的每一个都受限于 2 和 7,两个交替分配将在保持给定数固定的同时保留每个被触及的行、列和宫。因此将一个分配换成另一个会阻止唯一完成。所述唯一性假设需要所示的额外候选数或额外限制来打破此致命状态。 H1 或 I1 必须提供逃逸值 5 和 1 之一。该保证的选择充当 5 和 1 的一个虚拟槽位。与真实同伴单元格 G3 一起,虚拟槽位将这些值锁定在此宫中;两个救援单元格都不会被重复计算。
第 3 步
因此 5 和 1 的标记候选数可以从此宫中移除。它们位于虚拟逃逸槽、其真实同伴单元格和备用救援单元格之外。
本分步示例展示了所定义结构的一个有效实例。在将相同推导应用于其他盘面之前,请确认完整的致命结构、涉及的每个区域以及每个目标上的救援或守护条件。您可以试试我们的免费数独谜题,在当前候选状态可见的情况下进行练习。
如何识别它
验证一个偶数环,其中每个受影响区域恰好包含两个环单元格,且两个基数字可沿环交换。解救单元格中的解救选择形成一个虚拟槽。将该槽与共享区域中候选数并集含N个数字的N−1个真实伴随单元格结合。每个单元格计一次,仅从其他合格单元格中移除并集。
消去的依据
唯一性保证至少一个解救单元格使用额外数字,因此解救组占据一个虚拟槽。与验证过的伴随单元格一起,它保留所述的数字并集;只有该组合集之外的候选数才是消除目标。