BUG类型4

此推理假设谜题恰好有一个解,且所有先前的候选数移除都是正确的。BUG类型4将验证过的BUG守卫组与共享区域中限制在相同例外单元格的第二个数字结合。除非显示的状态单独证明个别放置,否则结论是候选数限制。

什么是BUG类型4?

验证由守卫数字假设移除产生的完整BUG状态。然后验证另一个数字在例外单元格的共享区域中为双局部。这两个至少一个的条件限制单元格可含的内容;例外单元格数是示例条件,不是证明的捷径。

类型4将保证的BUG守卫选择与共享区域中锁定到相关例外单元格的另一个数字结合。这两个限制可能移除其他候选数,但它们本身不确定哪个例外单元格接收两个数字中的哪一个。

分步示例

BUG 类型 4 分步示例:守护候选组加上锁定在同一对例外格中的第二个数字,共同限制了这些例外格可保留的候选数。

第 1 步

假设此谜题恰有一个解,且当前候选数反映了正确的推理。考虑这些未解单元格。

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

第 2 步

单元格 E7 和 H7 包含额外的 BUG 候选数 2。它们也是 行 7 中 4 仅有的两个位置。这些重要的候选数已在网格中标记。

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

第 3 步

假设按网格中标记从 E7 和 H7 移除 BUG 候选数 2。那么每个未解单元格都将是双值,每个剩余候选数将在其出现的每行、每列和每宫中恰好出现两次。这就是被所述唯一解假设排除的 BUG 结构。

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

第 4 步

为避免 BUG,E7 和 H7 之一必须提供逃逸值 2 之一。值 4 也必须占据这两个单元格之一,因为它在行 7中没有其他位置。哪个单元格扮演哪个角色未确定,但无论哪种情况两个单元格都不能包含标记的候选数,因此它们可以移除。

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

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

如何发现它

识别每个守卫出现并检查假设的BUG计数。在相关例外单元格共享的区域中,找到另一个在其之外没有位置的数字。仅应用两个限制都支持的消除。

消去的依据

至少一个例外单元格必须使用守卫数字以避免BUG,且至少一个必须使用锁定的数字,因为该数字在区域中没有其他位置。这可以按确切的单元格集所允许的范围排除其他候选数,但不会自动确定哪个单元格接收哪个数字。