強制

是猜測嗎？強制鏈爭議

No. 強制鏈可以同時探索所有可能性，而不需做出任何假設。它們會比較所有分支，僅在分支匯聚時才採取行動。三個顯著特徵：全面探索、確定性結論，以及可證明的正確性。強制鏈雖然不如基於模式的技術優雅，但可證明正確。

從一個雙值單元格 {A, B} 開始。為每個分支傳播影響。比較結果。矛盾：一個分支無效，因此單元格必須是另一個候選數。收斂於放置：兩個分支都迫使相同的數字進入同一個遠距離單元格。收斂於消除：兩個分支都從同一個單元格消除相同的候選數。

從一個數字在屋內的2-3個位置開始。探索每個位置作為一個分支。相同的三種推論類型。單元格強制法在雙值格子具有廣泛影響時非常有效。區域強制法在某個數字的位置具有強烈連鎖效應時非常有效。

單元格強制網：包含3-6個候選數的格子。區域強制網：某數字在4-6個位置的屋。分支更多，成本更高，但能找出推論強制鏈無法做到的。邏輯完全相同。僅分支數量不同。

每個分支透過裸單、隱藏單、鎖定候選，以及裸對，迭代傳播直到穩定。一個假設可以沿著整個棋盤傳播數十個中間步驟。當兩個分支透過完全不同的路徑達到相同結論時，這種收斂證明結論確為正確。

矛盾：一個分支導致無效狀態。該假設為假。最常見。放置收斂：所有分支都迫使同一個數字進入同一個單元格。較少見但具決定性。消除收斂：所有分支都從同一個單元格中消除同一個候選數。最微妙的一種。

最後的邏輯手段。在所有其他技巧失效後才使用。強制鏈（2-3個分支）會優先嘗試。當鏈條法失敗時，才使用強制網（3-6個分支）。兩者均為第12級（極端難度）。對於電腦求解器，強制法能確保完整性：邏輯本身可解任何有效的謎題。

基於模式的技巧能揭示結構關係，並更具優雅性。但存在一些有效謎題，需要使用強制級邏輯。強制技巧是安全網，能處理所有基於模式的技巧無法解決的謎題。最令人滿意的方法：先嘗試所有基於模式的技巧，僅當謎題確實需要時，才轉向強制技巧。

強制鏈和強制網是 Level 12（極限）最強大的邏輯技巧。它們從起始點出發，探索所有可能性，傳播後果，並比較結果。推論來自矛盾、放置點的收斂，或消除的收斂。它們是暴力回溯法之前的最後手段，能為任何有效的數獨難題提供完整性。