數獨中的強制鏈技巧

強制鏈從一組完整且互斥的起始可能出發，逐一追蹤每個分支。如果所有分支得到同一結論，該結論必然成立；若某分支導致矛盾，則其起點必為假。

定義與辨識條件

起始分支必須涵蓋全部可能，例如某數字在一個單位中的所有位置。每條箭頭都要由真實的候選數約束支持，不能省略中間推理。

完整盤面示例

圖中數字1在第4行只能位於R4C4、R4C6或R4C8。三條分支分別推導，最後都得到R1C7=4，因此可以確定在R1C7填入4。

如何尋找

選擇候選位置少的單位或多候選格，列出全部起始分支。分開追蹤強弱推論，記錄矛盾與共同結論，只有覆蓋所有分支後才執行結果。

為什麼成立

至少一個起始前提必為真；所有可能前提都指向同一結果時，該結果不依賴選中了哪個分支，所以必然為真。

與相似技巧的關係

強制鏈可以包含分支，AIC通常用單一交替鏈表達端點關係。不要只測試方便的分支，也不要把試到可行答案當成證明。

總結

完整列出前提、逐步驗證推論、只採用共同結論或矛盾排除，這才是可重現的強制鏈。

常見問題

強制鏈是猜測嗎？

不是，它檢查完整邏輯分支並只保留必然結論。

什麼是共同結論？

所有可能起始分支都到達的結果，因此必然為真。

強制網有何不同？

強制鏈通常是線性路徑，強制網允許分支內再次分叉。