强制链 在用作证明技巧时并不是猜测。你临时地从一个选定的起点出发，分析每一条分支，逻辑地传播每个分支，并只保留所有分支都支持的结论，或由矛盾强制得出的结论。

与猜测的关键区别在于承诺。一个猜测会选定一个分支并继续假设它为真。而一个强制链会从起点比较所有相关分支，并仅在比较证明了某些结论时才采取行动。

强制链 比基于模式的技巧不够优雅，但当所有分支都被准确检查后，其结论是可证明正确的。

从一个双值 单元格 {A, B} 开始。为每个分支传播影响。比较结果。

矛盾：一个分支无效，因此 单元格 必须是另一个候选数。

收敛于填入：两个分支都迫使相同的数字进入同一个远距离 单元格。

收敛于排除：两个分支都从同一个 单元格 中排除了相同的候选数。

从一个宫内数字的2-3个位置开始。探索每个位置作为分支。使用相同的三种推理类型。

单元格 强制法在双值单元格具有广泛影响时有效。区域强制法在某个数字的位置具有强烈连锁反应时有效。

单元格 强制链：候选数为3-6个的单元格。区域强制链：某个数字可能位置为4-6个的宫。分支越多，计算成本越高，但能发现更多推理结果 强制链 无法实现的。

逻辑完全相同。仅分支数量不同。

每个分支通过裸单、隐单、锁定候选和裸对，迭代传播直到稳定。一个假设可以沿着整个棋盘传播数十个中间步骤。

当两个分支通过完全不同的路径得出相同结论时，这种收敛性证明了结论的确定性。

矛盾：一个分支导致无效状态。该假设为假。最常见。

收敛于放置：所有分支都将相同的数字强制放入相同的单元格。较少见但具有决定性。

收敛于消除：所有分支都从相同的单元格中消除相同的候选数。最微妙的一种。

最后的逻辑手段。在模式基础技巧和更简洁的链路失败后应用。

首先尝试具有2-3个分支的强制链。具有3-6个分支的强制网络成本更高，通常留到后期使用。两者均为第12级（极端）。

对于计算机求解器，有界强制是一种强大的证明引擎，但并非自动完整。完整性仅在搜索被允许扩展到足够覆盖所需假设的程度时才出现，这接近于穷举回溯。实际上，强制最好被描述为一种受控的逻辑搜索，而非任何固定深度求解器都能解决每个有效谜题的保证。

基于模式的技术揭示了结构关系，更为优雅。但存在一些有效谜题需要强制推理级别的逻辑。强制技术是安全网，能够捕捉到所有基于模式的技术无法处理的谜题。

最令人满意的解题方法：首先尝试所有基于模式的技术，仅在谜题确实需要时才转向强制推理。

强制链 和强制链是第12级（极端）最强大的逻辑技巧之一。它们从选定的起始点出发，探索每一条分支，传播结果，并进行比较。推理通过矛盾、唯一确定位置或唯一排除得出。在暴力回溯之前，这是最后的手段；如果无限制地展开，它们会变成完整的搜索证明，但受人类思维限制的强制链仍是一种有针对性的高级技巧。