强制网络

等级 12 · 黑带

策略:

强制

需要:

强制链

概要

强制网络通过同时跟踪每个候选数的所有影响来扩展强制链,而不仅仅是单一链路。这会创建一个分支影响网络,能够发现更深层次的矛盾和共同结果。

工作原理

  1. 找到一个包含多个候选数的单元格。
  2. 依次假设每个候选数,并追踪所有由此产生的推论(而不仅仅是单一链路)。
  3. 如果某个假设导致矛盾(不可能的状态),则排除该候选数。
  4. 如果所有假设都强制得出相同的结论,则该结论是有效的。

示例

寻找强制网络。

1

强制网络

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

强制网络

Assume r1c1 = 6 and follow all implications through the net.

3

强制网络

This assumption leads to a CONTRADICTION (impossible state).

4

强制网络

So 6 causes a contradiction and can be eliminated from r1c1.

5

应用该技术后的结果。

技巧与模式

  • 强制链比强制链更强大,因为它们会追踪每一个逻辑推论,而不仅仅是某一条路径。它们计算成本较高,通常在暴力破解之前作为最后手段。由于其分支特性,手动追踪它们非常困难。