AIC(*交替推理鏈*)是一種由強推理和弱推理組成的靈活鏈。它可以跨越不同數字和結構類型——X 鏈和 XY 鏈都是特殊的 AIC,許多有名字的結構「其實就是短 AIC」。
前置課程:X 鏈、XY 鏈以及許多翼和魚的結論都是特殊的 AIC。
原理
強推理:如果 A 為假,則 B 為真。弱推理:如果 A 為真,則 B 為假。
從一端到另一端交替使用它們,意味著兩個強端點不能同時為假。任何能看到兩個端點的候選數都會被刪除——同樣是「兩邊都被刺中」的思路,只是允許更多種類的鏈。
如何發現
優先選擇兩端都是強鏈的鏈。想一想:如果這一端為假 → 另一端為真。
示範
75624683356146522631897549453618389891418
在盤面上沿著交替的強推理和弱推理前進。優先讓兩端都是強鏈。
75624683356146522631897549453618389891418
綠色格子勾勒出一條涉及 2 的 AIC。
75624683356146522631897549453618389891418
這條鏈證明兩端不能同時為假——如果一端為假,另一端就必須為真。
75624683356146522631897549453618389891418
刪除能看到兩端的候選數(紅色)(此處為 2)。
範例 1
26371353796338158344639321398
追蹤一條交替推理鏈。
26371353796338158344639321398
這條 AIC 可以刪除 2。
26371353796338158344639321398
刪除標記的候選數(紅色)(此處為 2)。兩端不能同時為假,所以共同的鄰格會被刺中。
範例 2
452153653471453538926359214557234582
追蹤一條交替推理鏈。
452153653471453538926359214557234582
這條 AIC 可以刪除 7。
452153653471453538926359214557234582
刪除標記的候選數(紅色)(此處為 7)。兩端不能同時為假,所以共同的鄰格會被刺中。