數獨中的交替推理鏈（AIC）

交替推理鏈把候選數命題用強鏈和弱鏈交替連接。每一步都有明確真假推論，最後可利用端點關係排除候選數，而不是憑圖形猜測。

定義與辨識條件

強鏈表示兩個候選不能同時為假；弱鏈表示不能同時為真。AIC必須讓兩種關係有效交替，並逐節驗證每一個候選節點。

完整盤面示例

圖中的鏈為5-R1C2-3-R1C4=3=R3C4=9=R7C4=2=R7C2-2-R8C3-5。“=”為強鏈，“-”為弱鏈。R1C2或R8C3至少一個為5，所以同時看見兩端的R1C3可刪除5。

如何尋找

從有用的強鏈開始，沿弱鏈與強鏈交替前進。記錄每個節點代表的候選數，最後檢查目標格是否同時看見兩個端點。

為什麼成立

若開放AIC以同一數字的強關係結束，至少一個端點為真。任何同時看見兩端的外部格都不能填該數字。

與相似技巧的關係

AIC與Nice Loop使用相近的推論語言。不要連續使用兩條無法傳遞假的弱鏈，也不要把普通可見關係誤當強鏈。

總結

先驗證每條鏈，再使用端點已證明的結論。鏈畫得漂亮並不代表邏輯成立。

常見問題

什麼是AIC？

強鏈與弱鏈交替組成的候選數推理序列。

AIC是猜測嗎？

不是，每一步都由候選數約束推出。

Type 1 AIC刪除什麼？

從同時看見兩個端點的格子刪除端點數字。