解題技巧
【鏈式推理②】构建篇：交替規則与状态传递
在上一篇文章中，我们學習了鏈式推理的兩個基本构件：強連結和弱連結。本文将进一步探討如何将這些連結組合起来，构建完整的推理鏈，並從中得出有效的结论。
鏈的构建：強弱連結交替连接，形成完整的推理路径
鏈的基本结构
鏈是由候選數节点和連結构成的序列。每個节点代表一個候選數（某個格子中的某個数字），相邻节点之间通過強連結或弱連結相连。
鏈的形式化表示：
A ═ B - C ═ D - E ═ F
其中：
• A, B, C, D, E, F 是候選數节点
• ═ 表示強連結
• - 表示弱連結
• 整条鏈描述了從A到F的逻辑推理路径
A ═ B - C ═ D - E ═ F
其中：
• A, B, C, D, E, F 是候選數节点
• ═ 表示強連結
• - 表示弱連結
• 整条鏈描述了從A到F的逻辑推理路径
候選數节点的表示
在鏈式推理中，我们通常用以下方式表示候選數节点：
- 位置+数字：如 R3C5(4) 表示"第3行第5列格子中的候選數4"
- 简写形式：如 r3c5=4 或 (3,5)4
每個节点代表一個断言：该候選數為真（该格子填入该数字）或為假（该候選數被排除）。
連結的交替規則
构建有效鏈的核心規則是：強連結和弱連結交替出现。這個規則确保了逻辑推理的有效性。
為什么需要交替？
如果连续使用兩個弱連結（真→假→？），第二個弱連結无法继续传递。
只有交替使用，才能形成连续的推理鏈。
- 強連結：传递"假→真"，无法传递"真→真"
- 弱連結：传递"真→假"，无法传递"假→假"
如果连续使用兩個弱連結（真→假→？），第二個弱連結无法继续传递。
只有交替使用，才能形成连续的推理鏈。
特殊情況：连续強連結
当多個強連結连续出现时（如 A ═ B ═ C ═ D），看起来似乎违反了交替規則，但实际上這是有效的。
原因：強連結的条件是"恰好一真一假"，而弱連結的条件是"至多一個為真"。由於"恰好一個"必然满足"至多一個"，所以每個強連結同时也是弱連結。
解读方式：
可以理解為：
因此在表示法上，连续的強連結並不是錯誤，而是中间的強連結隐含地承担了弱連結的角色。
当多個強連結连续出现时（如 A ═ B ═ C ═ D），看起来似乎违反了交替規則，但实际上這是有效的。
原因：強連結的条件是"恰好一真一假"，而弱連結的条件是"至多一個為真"。由於"恰好一個"必然满足"至多一個"，所以每個強連結同时也是弱連結。
解读方式：
A ═ B ═ C ═ D可以理解為：
A ═ B - C ═ D（中间的強連結作為弱連結使用）因此在表示法上，连续的強連結並不是錯誤，而是中间的強連結隐含地承担了弱連結的角色。
強弱連結交替規則：只有交替才能形成有效的推理鏈
有效鏈的模式
根据交替規則，有效的鏈必须是以下形式之一：
1
以強連結開始，以強連結结束：
鏈长為奇数条連結（強-弱-強-弱-強）
A ═ B - C ═ D - E ═ F鏈长為奇数条連結（強-弱-強-弱-強）
2
以弱連結開始，以弱連結结束：
鏈长為奇数条連結（弱-強-弱-強-弱）
A - B ═ C - D ═ E - F鏈长為奇数条連結（弱-強-弱-強-弱）
3
以強連結開始，以弱連結结束（或反之）：
鏈长為偶数条連結
A ═ B - C ═ D - E鏈长為偶数条連結
着色思想（Coloring）
着色是理解鏈式推理的一個強大思维工具。我们给鏈上的节点交替赋予兩种"颜色"，代表兩种可能的真假状态。
着色規則：
- 给鏈的起点赋予颜色A（比如蓝色）
- 通過強連結连接的下一個节点，赋予相反颜色B（比如绿色）
- 通過弱連結连接的下一個节点，赋予相同颜色
- 依次交替，直到鏈的终点
着色思想：強連結翻转颜色，弱連結保持颜色
着色的逻辑解釋
強
強連結翻转颜色：
強連結兩端"恰好一真一假"。如果一端為假，另一端必為真；如果一端為真，另一端必為假。
因此強連結兩端的颜色相反，代表相反的真假状态。
強連結兩端"恰好一真一假"。如果一端為假，另一端必為真；如果一端為真，另一端必為假。
因此強連結兩端的颜色相反，代表相反的真假状态。
弱
弱連結保持颜色：
弱連結兩端"至多一真"。如果假设一端為真（颜色A=真），另一端必為假。
但如果一端為假，另一端状态不確定。因此在着色时，我们关注的是"如果前一個节点為真"的情況，所以弱連結後的节点与前一节点的"真假假设"相同。
（注：這裡的"保持颜色"是指在追踪"真"状态传递时的行為）
弱連結兩端"至多一真"。如果假设一端為真（颜色A=真），另一端必為假。
但如果一端為假，另一端状态不確定。因此在着色时，我们关注的是"如果前一個节点為真"的情況，所以弱連結後的节点与前一节点的"真假假设"相同。
（注：這裡的"保持颜色"是指在追踪"真"状态传递时的行為）
着色的核心含义：
同色节点：要么全真，要么全假
异色节点：真假状态相反
通過着色，我们可以快速判断鏈上任意兩個节点之间的真假關係。
同色节点：要么全真，要么全假
异色节点：真假状态相反
通過着色，我们可以快速判断鏈上任意兩個节点之间的真假關係。
状态传递的兩种视角
理解鏈式推理有兩种互补的视角：追踪"真"状态和追踪"假"状态。
视角一：追踪"真"状态的传递
假设鏈的起点為真，观察這個"真"状态如何沿着鏈传递：
A ═ B - C ═ D - E ═ F
假设 A = 真
→ A-B是強連結，A真时B可真可假，状态不確定
（追踪"真"在纯強連結上无法有效传递）
假设 A = 真
→ A-B是強連結，A真时B可真可假，状态不確定
（追踪"真"在纯強連結上无法有效传递）
A - B ═ C - D ═ E - F
假设 A = 真
→ A-B是弱連結，A真 → B必假
→ B-C是強連結，B假 → C必真
→ C-D是弱連結，C真 → D必假
→ D-E是強連結，D假 → E必真
→ E-F是弱連結，E真 → F必假
结论：A真 → F假
假设 A = 真
→ A-B是弱連結，A真 → B必假
→ B-C是強連結，B假 → C必真
→ C-D是弱連結，C真 → D必假
→ D-E是強連結，D假 → E必真
→ E-F是弱連結，E真 → F必假
结论：A真 → F假
视角二：追踪"假"状态的传递
假设鏈的起点為假，观察這個"假"状态如何沿着鏈传递：
A ═ B - C ═ D - E ═ F
假设 A = 假
→ A-B是強連結，A假 → B必真
→ B-C是弱連結，B真 → C必假
→ C-D是強連結，C假 → D必真
→ D-E是弱連結，D真 → E必假
→ E-F是強連結，E假 → F必真
结论：A假 → F真
假设 A = 假
→ A-B是強連結，A假 → B必真
→ B-C是弱連結，B真 → C必假
→ C-D是強連結，C假 → D必真
→ D-E是弱連結，D真 → E必假
→ E-F是強連結，E假 → F必真
结论：A假 → F真
关键观察：
對於以強連結開始和结束的鏈：
• 起点假 → 终点真（通過追踪"假"状态）
• 起点和终点颜色相反
對於以弱連結開始和结束的鏈：
• 起点真 → 终点假（通過追踪"真"状态）
• 起点和终点颜色相同
對於以強連結開始和结束的鏈：
• 起点假 → 终点真（通過追踪"假"状态）
• 起点和终点颜色相反
對於以弱連結開始和结束的鏈：
• 起点真 → 终点假（通過追踪"真"状态）
• 起点和终点颜色相同
從鏈得出结论
构建了有效的鏈之後，我们如何從中得出可以用於排除的结论呢？這取决於鏈的结构和兩端的關係。
结论類型一：兩端存在弱連結關係
1
场景：鏈的兩端A和F恰好能互相"看到"（存在弱連結）
鏈：A ═ B - C ═ D - E ═ F，且A和F同行/列/宫或同格
分析：
• 如果A假 → F真（鏈的传递）
• 如果A真 → F假（A和F的弱連結）
结论：無論A真假，A和F中必有一個為真（A假则F真，A真则A本身為真）。
應用：能同时看到A和F的其他同数字候選數可以被排除！
鏈：A ═ B - C ═ D - E ═ F，且A和F同行/列/宫或同格
分析：
• 如果A假 → F真（鏈的传递）
• 如果A真 → F假（A和F的弱連結）
结论：無論A真假，A和F中必有一個為真（A假则F真，A真则A本身為真）。
應用：能同时看到A和F的其他同数字候選數可以被排除！
结论類型二：兩端是同一候選數
2
场景：鏈的兩端恰好是同一格子的同一候選數（形成环）
鏈：A ═ B - C ═ D - E ═ A（回到起点）
分析：
• 如果A假 → ... → A真（矛盾！）
结论：A不能為假，所以A必為真。
鏈：A ═ B - C ═ D - E ═ A（回到起点）
分析：
• 如果A假 → ... → A真（矛盾！）
结论：A不能為假，所以A必為真。
结论類型三：着色冲突
3
场景：鏈上兩個同色节点之间存在弱連結（它们能互相看到）
分析：
• 同色意味著它们的真假状态相同
• 弱連結意味著它们不能同时為真
结论：這兩個节点必须同时為假。所有同色节点都為假，所有异色节点都為真。
分析：
• 同色意味著它们的真假状态相同
• 弱連結意味著它们不能同时為真
结论：這兩個节点必须同时為假。所有同色节点都為假，所有异色节点都為真。
從鏈得出结论的三种主要方式
交替推理鏈（AIC）
交替推理鏈（Alternating Inference Chain，简称AIC）是鏈式推理的标准形式。它的特点是：
- 強連結和弱連結严格交替
- 以強連結開始，以強連結结束
- 鏈的兩端存在弱連結關係
AIC的标准形式：
其中A和Z之间存在弱連結（能互相看到）。
结论：A和Z中必有一個為真，因此能同时看到A和Z的其他候選數可以被排除。
A ═ B - C ═ D - ... - Y ═ Z其中A和Z之间存在弱連結（能互相看到）。
结论：A和Z中必有一個為真，因此能同时看到A和Z的其他候選數可以被排除。
AIC是一個強大的框架，许多具体的技巧都可以被视為特殊形式的AIC：
- X-Wing、Swordfish：可以用AIC描述
- Skyscraper：一种簡單的AIC
- XY-Wing：三节点的AIC
- XY-Chain：纯雙值格组成的AIC
构建鏈的实践技巧
在实际解題中，构建有效的鏈需要一些技巧和经验：
1
從雙值格開始：
雙值格既提供強連結（格内兩数），又容易發現弱連結（同單元其他同数候选）。它们是构建鏈的理想起点。
雙值格既提供強連結（格内兩数），又容易發現弱連結（同單元其他同数候选）。它们是构建鏈的理想起点。
2
寻找共軛對：
在行、列、宫中寻找只出现兩次的数字，它们形成的共軛對是強連結的重要來源。
在行、列、宫中寻找只出现兩次的数字，它们形成的共軛對是強連結的重要來源。
3
注意連結類型的判断：
同一對候選數之间可能同时存在強連結和弱連結（如雙值格或共軛對）。在构建鏈时，要清楚使用的是哪种連結。
同一對候選數之间可能同时存在強連結和弱連結（如雙值格或共軛對）。在构建鏈时，要清楚使用的是哪种連結。
4
目标导向：
如果想排除某個候選數X，尝试构建一条鏈，使得鏈的兩端都能"看到"X。
如果想排除某個候選數X，尝试构建一条鏈，使得鏈的兩端都能"看到"X。
常见錯誤：
- 连续使用兩個弱連結（无法传递状态）
- 将弱連結误判為強連結（导致錯誤结论）
- 忘记验证鏈兩端的關係（无法得出结论）
下一步
本文介绍了如何构建鏈以及從鏈得出结论的方法。在下一篇文章中，我们将討論：
- 鏈的各种應用模式（开鏈、闭鏈、环）
- 常见鏈式技巧的統一理解
- 分組連結与複雜鏈结构
- 不连续环与高級推理