解題技巧
【鏈式推理③】應用篇：模式分類與高級結構
在前兩篇文章中，我們學習了強連結與弱連結的概念以及鏈的構建與傳遞規則。本文將系統介紹鏈式推理的各種應用模式，並展示如何用統一的鏈式框架理解各種具體技巧。
鏈式結構的分類體系：按形態、內容和複雜度劃分
按形態分類：開鏈與閉鏈
根據鏈的首尾是否相連，鏈可以分為開鏈和閉鏈（環）。
開鏈（Open Chain）
開鏈的特點：
- 鏈有明確的起點和終點
- 首尾不相連
- 結論基於首尾之間的關係
開鏈是最常見的鏈式結構。當鏈的兩端存在弱連結關係時（能互相看到），就可以進行候選數排除。
例
AIC開鏈：
如果A和F能互相看到（存在弱連結），則A和F中必有一個為真，可排除能同時看到A和F的其他同數候選。
A ═ B - C ═ D - E ═ F如果A和F能互相看到（存在弱連結），則A和F中必有一個為真，可排除能同時看到A和F的其他同數候選。
閉鏈/環（Closed Chain / Loop）
閉鏈的特點：
- 鏈的終點連回起點，形成環
- 可用於直接確定某些候選數的真假
- 環的奇偶性決定結論類型
閉鏈根據其結構可分為連續環（Nice Loop）和不連續環（Discontinuous Loop）。
連續
連續環：環上的連結嚴格交替，可以無限循環追蹤
環上所有節點可以被分為兩組顏色，同色同真假，異色相反。
環上所有節點可以被分為兩組顏色，同色同真假，異色相反。
不連續
不連續環：環上某處出現連續的同類連結，追蹤時產生矛盾
矛盾點的候選數可以被確定為真或假。
矛盾點的候選數可以被確定為真或假。
按內容分類：單數鏈與雙值鏈
根據鏈上候選數的類型，鏈可以分為單數鏈和雙值鏈。
單數鏈（Single-digit Chain）
鏈上所有節點都是同一個數字的候選。連結來源於共軛對（同單元內只有兩個位置有該數字）。
特點
- 只追蹤一個數字在不同位置的關係
- 強連結來自共軛對
- 弱連結來自同單元的其他位置
- 代表技巧：X-Wing、Skyscraper、X-Chain
單數鏈：追蹤同一數字在不同位置的共軛對關係
雙值鏈（Bi-value Chain / XY-Chain）
鏈上所有節點來自雙值格（只有兩個候選數的格子）。連結在不同數字之間轉換。
特點
- 所有節點來自雙值格
- 格內的兩個候選數形成強連結
- 相鄰格子共享一個候選數形成弱連結
- 代表技巧：XY-Wing、XY-Chain、Remote Pairs
XY-Chain的本質：
XY-Chain就是純雙值格組成的交替鏈。例如：
起點是3，終點是4，能同時看到起點和終點的候選數3和4可被排除。
XY-Chain就是純雙值格組成的交替鏈。例如：
R1C1{3,5}(5) - R1C4{5,7}(7) - R3C4{7,9}(9) - R3C8{4,9}(4)起點是3，終點是4，能同時看到起點和終點的候選數3和4可被排除。
混合鏈（Mixed Chain / AIC）
鏈上同時包含單數鏈節點和雙值鏈節點。這是最通用的鏈式結構。
特點
- 靈活組合各種連結來源
- 可以在單數和雙值節點之間自由轉換
- 表達能力最強，能發現更多排除
- 代表技巧：AIC（Alternating Inference Chain）
分組連結（Grouped Links）
分組連結是將多個候選數作為一個整體參與鏈的推理。這大大擴展了鏈式技巧的應用範圍。
分組的概念：
當某個數字在一個單元（行/列/宮）內的所有候選位置都集中在另一個單元的交集區域時，這些位置可以被視為一個"組"。
例如：宮1中數字5隻出現在第1行的三個位置，這三個位置可以作為一個組參與鏈。
當某個數字在一個單元（行/列/宮）內的所有候選位置都集中在另一個單元的交集區域時，這些位置可以被視為一個"組"。
例如：宮1中數字5隻出現在第1行的三個位置，這三個位置可以作為一個組參與鏈。
分組強連結
當一個組與另一個候選數/組之間滿足"恰好一個為真"的關係時，存在分組強連結。
例
宮1中數字5隻在R1C1、R1C2兩個位置，這兩個位置作為組A。
第1行其他位置（宮2和宮3）數字5隻在R1C8一個位置，作為單點B。
組A和B之間存在強連結：第1行必須有一個5，要麼在組A（宮1），要麼在B（R1C8）。
第1行其他位置（宮2和宮3）數字5隻在R1C8一個位置，作為單點B。
組A和B之間存在強連結：第1行必須有一個5，要麼在組A（宮1），要麼在B（R1C8）。
分組弱連結
當一個組與另一個候選數/組在同一單元時，它們之間存在分組弱連結。
分組連結：多個候選位置作為一個整體參與鏈式推理
不連續環（Discontinuous Loop）
不連續環是一種特殊的閉鏈，它在某個節點出現"不連續"——即該節點的兩個相鄰連結是同一類型（都是強連結或都是弱連結）。
不連續環的類型：
- Type 1（連續兩個強）：不連續點的候選數必為假
- Type 2（連續兩個弱）：不連續點的候選數必為真
Type 1：連續兩個強連結
分析
環形如：
假設A為假：
→ 經過環的傳遞 → A為真（矛盾！）
假設A為真：
→ 最後一個強連結的另一端（設為X）可真可假 → 無矛盾
但是，如果我們從X出發追蹤"假"：
X假 → A真（強連結）→ ... → X真
這說明X不能為假，所以X為真，進而A為假。
結論：不連續點A必為假。
A ═ B - C ═ D - ... ═ A（回到起點時是強連結）假設A為假：
→ 經過環的傳遞 → A為真（矛盾！）
假設A為真：
→ 最後一個強連結的另一端（設為X）可真可假 → 無矛盾
但是，如果我們從X出發追蹤"假"：
X假 → A真（強連結）→ ... → X真
這說明X不能為假，所以X為真，進而A為假。
結論：不連續點A必為假。
Type 2：連續兩個弱連結
分析
環形如：
假設A為真：
→ 經過環的傳遞 → A為假（矛盾！）
結論：不連續點A必為假...等等，這似乎不對？
實際上，對於Type 2，我們需要更仔細地分析。正確的結論是：
如果追蹤"真"從A出發最終回到A且要求A為假，這產生矛盾。
結論：不連續點A必為真。
A - B ═ C - D ═ ... - A（回到起點時是弱連結）假設A為真：
→ 經過環的傳遞 → A為假（矛盾！）
結論：不連續點A必為假...等等，這似乎不對？
實際上，對於Type 2，我們需要更仔細地分析。正確的結論是：
如果追蹤"真"從A出發最終回到A且要求A為假，這產生矛盾。
結論：不連續點A必為真。
常見技巧的鏈式理解
許多看似不同的數獨技巧，都可以用鏈式推理的框架來統一理解。
| 技巧名稱 | 鏈式描述 | 鏈的特點 |
|---|---|---|
| X-Wing | 4節點單數鏈環 | 2行2列的共軛對形成矩形 |
| Skyscraper | 4節點單數鏈開鏈 | 兩個共軛對共享一端 |
| 2-String Kite | 4節點單數鏈開鏈 | 行列共軛對通過宮連接 |
| XY-Wing | 3節點雙值鏈 | 軸心連接兩翼 |
| XY-Chain | 多節點雙值鏈 | 純雙值格鏈 |
| Remote Pairs | 偶數節點雙值鏈 | 同候選數的雙值格鏈 |
| W-Wing | 混合鏈 | 雙值格通過共軛對連接 |
| AIC | 通用混合鏈 | 任意組合的交替鏈 |
鏈式技巧的選擇策略
在實際解題中，如何選擇合適的鏈式技巧？以下是一些建議：
1
先簡後繁：
從簡單的技巧開始，如共軛對推理、Skyscraper，再嘗試複雜的AIC。
從簡單的技巧開始，如共軛對推理、Skyscraper，再嘗試複雜的AIC。
2
關注雙值格：
雙值格是構建鏈的絕佳材料。當雙值格較多時，優先考慮XY-Wing和XY-Chain。
雙值格是構建鏈的絕佳材料。當雙值格較多時，優先考慮XY-Wing和XY-Chain。
3
尋找共軛對：
對於某個難以排除的數字，檢查它在各單元中是否形成共軛對，可能發現單數鏈。
對於某個難以排除的數字，檢查它在各單元中是否形成共軛對，可能發現單數鏈。
4
目標導向：
如果想排除某個特定候選數，嘗試構建一條鏈，使兩端都能"看到"該候選數。
如果想排除某個特定候選數，嘗試構建一條鏈，使兩端都能"看到"該候選數。
鏈式推理的價值
學習鏈式推理理論的價值不僅在於能使用更多高級技巧，更在於：
鏈式思維的優勢：
- 統一理解：用一個框架理解眾多具體技巧
- 靈活應用：不拘泥於固定模式，根據局面靈活構建鏈
- 發現新鏈：不依賴記憶特定模式，而是理解原理後自行發現
- 深入理解數獨：從邏輯本質理解候選數之間的關係
總結
通過這三篇文章，我們系統地學習了鏈式推理的理論基礎：
- 第一篇：強連結與弱連結的定義、來源和性質
- 第二篇：鏈的構建規則、傳遞邏輯和著色思想
- 第三篇：鏈的分類、應用模式和常見技巧的統一理解
掌握了這些理論後，你就擁有了理解和發現各種鏈式技巧的能力。在實踐中不斷應用和鞏固，鏈式推理將成為你解決複雜數獨的有力武器。