区域强制网

分步示例

区域强制网分步示例：将某区域内某数字的每个剩余位置分别作为分支进行检验，仅应用所有分支共同得出的结论。

第 1 步

考虑这些单元格。

第 2 步

使用此求解技术，我们将证明以下断言： 1. 如果 D1 包含值 2，那么 F2 必须包含值 3 2. 如果 D4 包含值 2，那么 F2 必须包含值 3 3. 如果 D6 包含值 2，那么 F2 必须包含值 3 由于值 2 不能放在 列 的其他位置，且结果相同，我们可以得出结论 F2 必须包含值 3。 每个断言由不同的简单规则链证明。这些链是静态的，这意味着链的每条规则都可以理解而无需记住之前规则的结果。 链 1： 1. 如果 D1 包含 值 2，那么 D1 不能包含 值 3 (该格只能填入一个值) 2. 如果 D1 不包含 值 3，那么 F2 必须包含 值 3 (宫中唯一剩余的可能位置) 链 2： 1. 如果 D4 包含 值 2，那么 D4 不能包含 值 4 (该格只能填入一个值) 2. 如果 D4 不包含 值 4，那么 D1 必须包含 值 4 (列中唯一剩余的可能位置) 3. 如果 D1 包含 值 4，那么 D1 不能包含 值 3 (该格只能填入一个值) 4. 如果 D1 不包含 值 3，那么 F2 必须包含 值 3 (宫中唯一剩余的可能位置) 链 3： 1. 如果 D6 包含 值 2，那么 D6 不能包含 值 9 (该格只能填入一个值) 2. 如果 D6 不包含 值 9，那么 F6 必须包含 值 9 (宫中唯一剩余的可能位置) 3. 如果 F6 包含 值 9，那么 F6 不能包含 值 3 (该格只能填入一个值) 4. 如果 F6 不包含 值 3，那么 F2 必须包含 值 3 (列中唯一剩余的可能位置)

第 3 步

因此可以从 F2 移除 值 1 和 9：所有可能的源位置都强制 F2 包含 3，因此没有其他值可以放入那里。

本分步示例展示了所定义推导的一个有效实例。在将相同推导用于其他盘面之前，请确认所声明的源集合或假设、每个分支均已检验，以及所应用的结论为所有分支所共有。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。