交替推理链
Alternating Inference Chain
概要：交替推理链（AIC）是数独链式推理的通用框架，允许链上的节点跨越不同的候选数。链中强链与弱链交替出现，通过假设一端的真假推导出另一端的状态，从而消去候选数或确定填值。AIC 统一了单数链、双数链等多种技法，是大师级解题者的核心工具。
什么是交替推理链？
交替推理链（Alternating Inference Chain，简称 AIC）是数独链式推理的通用框架。与单数链（X-Chain，只涉及同一候选数）和双数链（XY-Chain，只涉及双候选格）不同，AIC 的链节点可以是任意候选数在任意格子中的存在，链段可以跨越不同的候选数。
AIC 的节点：每个节点是”某格中某候选数存在”这一命题，记为 (格子, 候选数)，例如 (R3C5, 7) 表示”R3C5 中候选数7存在”。
AIC 的链段：
- 强链（=）：两个节点之间，它们所在的共同单元（行/列/宫/双候选格）中，这两个命题必有一真（且最多一真）。
- 弱链（-）：两个节点之间，若一个为真则另一个必为假（但不保证至少一真）。
链的交替要求：AIC 中强链与弱链必须严格交替出现。
AIC 是以下技法的统一框架：
- 单数链（X-Chain）：所有节点涉及同一候选数
- 双数链（XY-Chain）：节点间通过双候选格跨越候选数
- 各种环（Nice Loop）：AIC 的首尾相连形式
解题步骤
非连续 AIC（两端不相连）的消去规则：
- 选定起点节点 (格 A, 数 x)，假设它为假。
- 沿链追踪：强链→必有对端为真，弱链→对端必为假，交替推导。
- 到达终点节点 (格 Z, 数 y)，得出终点的真假状态。
- 消去规则（取决于链的首尾链型）：
- 首尾均为强链端（链以强链开始和结束）：能同时看到起点 (A, x) 和终点 (Z, y) 的命题可以删去——即与 A 在同单元的 x 候选数、或与 Z 在同单元的 y 候选数（若 x=y，则同时能看到 A 和 Z 的格子可删去 x）。
- 起点为弱链端：起点本身的候选数可能被确定（若 x=y 且 A=Z，则该格确定填 x）。
构建 AIC 的步骤：
- 标注候选数：完整标注所有候选数。
- 识别强链对：
- 同行/列/宫中某候选数只有两个位置 → 强链
- 同格中只有两个候选数 → 该格形成强链（双候选格强链）
- 从起点出发，交替使用强链和弱链延伸。
- 记录每步节点：格子 + 候选数 + 链型。
- 寻找有效终点，确认消去规则并执行。
示例详解
基本AIC链构建
构建一条跨越两个候选数的 AIC：
节点序列：
(R1C2, 4) =(强)= (R1C8, 4) -(弱)- (R1C8, 7) =(强)= (R5C8, 7) -(弱)- (R5C8, 3) =(强)= (R5C1, 3)链解析：
| 段 | 起点节点 | 链型 | 终点节点 | 理由 |
|---|---|---|---|---|
| 1 | (R1C2, 4) | 强链 = | (R1C8, 4) | 第1行中4只在C2、C8 |
| 2 | (R1C8, 4) | 弱链 - | (R1C8, 7) | R1C8 是双候选格{4,7} |
| 3 | (R1C8, 7) | 强链 = | (R5C8, 7) | 第8列中7只在R1、R5 |
| 4 | (R5C8, 7) | 弱链 - | (R5C8, 3) | R5C8 是双候选格{7,3} |
| 5 | (R5C8, 3) | 强链 = | (R5C1, 3) | 第5行中3只在C8、C1 |
AIC消去规则
推理：若 (R1C2, 4) = 假 → (R1C8, 4) = 真 → (R1C8, 7) = 假 → (R5C8, 7) = 真 → (R5C8, 3) = 假 → (R5C1, 3) = 真
结论：(R1C2, 4) 为假时，(R5C1, 3) 为真；若 (R1C2, 4) 为真，则 R1C2 已确定。
消去：起点候选数4、终点候选数3不同，需分别分析：
- 能看到 R1C2 且含候选数4的格子：删去4
- 能看到 R5C1 且含候选数3的格子：删去3
复杂AIC跨多候选数
实用技巧
- 双候选格是弱链与强链的桥梁：双候选格内两个候选数之间天然形成强链，这是 AIC 跨候选数的关键机制。
- 先画强链网络：列出所有强链对（每单元只有2个候选位置的候选数对，以及每格只有2个候选数的双候选格对），再寻找连接这些强链的弱链。
- 分层追踪：手工解 AIC 时，用不同颜色标记奇数节点和偶数节点，避免混淆。
- 长度控制：AIC 越长越强大，但超过5-6段时手工追踪难度急剧上升。优先寻找较短的有效链。
- AIC 是统一框架：当你确认一个推理用到了强弱交替的链式逻辑，无论节点是单数还是跨数，都可以归类为 AIC。
与其他技法的关系
- 前置技法：单数链（长度3） — 单数链是 AIC 的最简单特例，帮助建立强弱链的直觉。
- 特化形式：连续环 和 不连续环 — AIC 首尾相连形成的环状结构，消去规则更丰富。
- 扩展形式：区块交替推理链（Grouped AIC） — 允许使用”组合节点”（同行/列同宫的多个候选格作为一个节点），功能更强大。
- 双数链关系：双数链（长度4+） — 双数链是 AIC 的特例，节点全为双候选格且按特定方式连接。
常见问题
Q：AIC 和 Nice Loop 是同一回事吗？
A：Nice Loop 是 AIC 的一种特殊形式，具体指 AIC 的首尾节点相连形成闭合环的情况。开放的 AIC（两端不相连）和闭合的 Nice Loop 是 AIC 框架下的两类主要应用。
Q：如何判断一段链是强链还是弱链？
A：在两个节点的公共单元（行/列/宫，或双候选格）中检查该候选数（或格内候选数）的数量：恰好2个位置/候选数 → 强链；超过2个 → 弱链。强链也是弱链（强链满足弱链的条件），但弱链不一定是强链。
在爱九宫数独中练习
打开爱九宫数独 App → 学习 → 大师技法 → 交替推理链，开始系统训练。建议先从包含双候选格的简单 AIC 入手，逐步过渡到更复杂的跨候选数链。开启候选数完整显示模式，用颜色区分链上的节点。