BUG类型2
此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。BUG类型2使用两个或更多携带相同守卫数字的例外单元格。假设移除每个守卫出现后,完整的剩余状态必须满足BUG计数。
什么是BUG类型2?
例外单元格数在逻辑上并不固定为两个。验证所有其他未解单元格为二值,且共享守卫数字的假设移除留下所需的每区域两次的BUG出现结构。
类型2有两个或更多携带相同守卫数字的例外单元格。假设移除每个守卫出现必须恢复验证过的BUG结构。因此至少一个例外单元格使用守卫,所以该数字可以从看到每个例外单元格出现的目标中移除。
分步示例
BUG 类型 2 分步示例:两个或更多例外格共享同一个守护数字,可从同时看到所有这些例外格的候选格中移除该数字。
第 1 步
假设此谜题恰有一个解,且当前候选数反映了正确的推理。考虑这些未解单元格。
第 2 步
单元格 E7 和 H7 包含相同的额外 BUG 候选数 2,已在网格中标记。从它们全部移除 2 将留下致命的 BUG 结构。
第 3 步
假设按网格中标记从 E7 和 H7 移除 BUG 候选数 2。那么每个未解单元格都将是双值,每个剩余候选数将在其出现的每行、每列和每宫中恰好出现两次。这就是被所述唯一解假设排除的 BUG 结构。
第 4 步
因此 E7 和 H7 中至少一个必须包含 2。任何能看到所有这些 BUG 单元格的其他单元格也不能包含 2,因此标记的出现可以移除。
本分步示例展示了所定义结构的一个有效实例。在将相同推导应用于其他盘面之前,请确认完整的致命结构、涉及的每个区域以及每个目标上的救援或守护条件。您可以在线玩数独,在当前候选状态可见的情况下进行练习。
如何发现它
在多个例外单元格中,检查哪些数字破坏区域偶数平衡 — 这些数字称为守卫。如果该数字出现在看到所有可能守卫位置的外部候选数中,该候选数可以移除。
消去的依据
如果守卫数字出现在看到其在例外单元格内所有出现的候选数中,放置它将从所有例外单元格中移除该数字并创建禁止的BUG状态。因此,该候选数必须为假并从单元格中移除。