強制鏈 不是猜測時，它們被用作證明技巧。你暫時檢查一個選擇起點的每個分支，邏輯上推廣每個分支，並只保留每個分支都支持的結論，或由矛盾強制得出的結論。

與猜測的主要區別在於承諾。猜測會選擇一個分支並繼續假設它為真。強制鏈則比較起點相關的所有分支，並僅在比較證明某事時才採取行動。

強制鏈 比基於模式的技巧較不優雅，但當每個分支都正確檢查後，其結論是可證明正確的。

從一個雙值 單元格 {A, B} 開始。為每個分支傳播影響。比較結果。

矛盾：一個分支無效，因此 單元格 必須是另一個候選數。

收斂於放置：兩個分支都迫使相同的數字進入同一個遠距離 單元格。

收斂於消除：兩個分支都從同一個 單元格 消除相同的候選數。

從一個數字在屋內的2-3個位置開始。探索每個位置作為一個分支。相同的三種推論類型。

單元格 強制法在雙值格子具有廣泛影響時非常有效。區域強制法在某個數字的位置具有強烈連鎖效應時非常有效。

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

邏輯完全相同。僅分支數量不同。

每個分支透過裸單、隱藏單、鎖定候選，以及裸對，迭代傳播直到穩定。一個假設可以沿著整個棋盤傳播數十個中間步驟。

當兩個分支透過完全不同的路徑達到相同結論時，這種收斂證明結論確為正確。

矛盾：一個分支導致無效狀態。該假設為假。最常見。

放置收斂：所有分支都迫使同一個數字進入同一個單元格。較少見但具決定性。

消除收斂：所有分支都從同一個單元格中消除同一個候選數。最微妙的一種。

最後的邏輯手段。在模式基礎技巧和更乾淨的鏈條失效後才會使用。

首先嘗試具有2-3個分支的強制鏈。具有3-6個分支的強制網路成本更高，通常留到後面使用。兩者均為第12級（極端）。

對於電腦求解器而言，受限的強制法是一種強大的證明引擎，但並非自動完整。完整性僅在搜尋被允許擴展到足夠覆蓋所需假設時才會出現，這接近於全面的回溯法。實際上，強制法最好被描述為一種受控的邏輯搜尋，而非任何固定深度求解器都能解決每個有效謎題的保證。

基於模式的技巧能揭示結構關係，並更具優雅性。但存在一些有效謎題，需要使用強制級邏輯。強制技巧是安全網，能處理所有基於模式的技巧無法解決的謎題。

最令人滿意的方法：先嘗試所有基於模式的技巧，僅當謎題確實需要時，才轉向強制技巧。

強制鏈 和強制網路是 Level 12（極限）中最強大的邏輯技巧。它們從選擇的起始點出發，探索每一個分支，傳播結果，並比較最終結果。推論來自矛盾、放置結果的收斂，或消除結果的收斂。在暴力回溯之前，它們是最後的手段；若無實用限制地展開，它們會變成完整的搜尋證明，但受限制的人類式強制網路仍是一種針對性的高級技巧。