强制网络

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

技巧

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

Tips

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