强制

是猜测吗？强制链争议

编号强制链可以同时探索所有可能性而不做任何假设。它们会比较所有分支，仅在分支收敛时才采取行动。三个显著特征：全面探索、确定性结论和可证明的正确性。强制链比基于模式的技术不够优雅，但可证明正确。

从一个双值单元格 {A, B} 开始。为每个分支传播影响。比较结果。矛盾：一个分支无效，因此单元格必须是另一个候选数。收敛于填入：两个分支都迫使相同的数字进入同一个远距离单元格。收敛于排除：两个分支都从同一个单元格中排除了相同的候选数。

从一个宫内数字的2-3个位置开始。探索每个位置作为分支。使用相同的三种推理类型。单元格强制法在双值单元格具有广泛影响时有效。区域强制法在某个数字的位置具有强烈连锁反应时有效。

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

每个分支通过裸单、隐单、锁定候选和裸对，迭代传播直到稳定。一个假设可以沿着整个棋盘传播数十个中间步骤。当两个分支通过完全不同的路径得出相同结论时，这种收敛性证明了结论的确定性。

矛盾：一个分支导致无效状态。该假设为假。最常见。收敛于放置：所有分支都将相同的数字强制放入相同的单元格。较少见但具有决定性。收敛于消除：所有分支都从相同的单元格中消除相同的候选数。最微妙的一种。

最后的逻辑手段。在所有其他技巧失效后应用。强制链（2-3个分支）会首先尝试。如果链式法失败，则尝试强制网（3-6个分支）。两者均为第12级（极端难度）。对于计算机求解器，强制法可确保完整性：逻辑本身可解任何有效谜题的保证。

基于模式的技术揭示了结构关系，更为优雅。但存在一些有效谜题需要强制推理级别的逻辑。强制技术是安全网，能够捕捉到所有基于模式的技术无法处理的谜题。最令人满意的解题方法：首先尝试所有基于模式的技术，仅在谜题确实需要时才转向强制推理。

强制链和强制链是等级12（极端）时最强大的逻辑技巧。它们从一个起点出发，探索所有可能性，传播结果，并进行比较。通过矛盾、唯一确定位置或唯一排除，得出结论。在暴力回溯之前，它们是最后的手段，能确保任何有效的数独谜题的完整性。