标准链（AIC）

前置知识：链的基础

---

1. 描述

标准链（AIC，Alternating Inference Chain）可以理解成“最通用的链”：

• 它允许把 X链（同一个数字在行/列/宫里的强链）和 XY链（双值格里的二选一）混在同一条链里
• 只要整条链保持 强弱交替，推理就能一路传下去

它最常见的用途是删数：
当一条 AIC 能证明“链的两端不可能同时为假”时，任何一个同时与两端都冲突的候选，都不可能为真，就可以删除。

---

2. 详解

先看上图：

• 链的两端分别是 r7c7 中的候选 6 与 r4c7 中的候选 7（蓝色）
• 要删除的是 r7c7 中的候选 7（红色）
• 因为 r7c7 同时既是链端点、又是删数位置，所以我们优先用红色背景突出它

为什么 r7c7 的 7 能删？看一个很短的反证就够了：

1. 先记住 AIC 的关键结论：
   在强弱交替的链里，“一端为假”会一路传导，最终迫使另一端为真。
   也就是说：两端不可能同时为假（至少有一端为真）。

2. 现在做反证：假设红色候选 r7c7 = 7 为真

   • 同一格不能同时填 6 和 7 ⇒ r7c7 的 6 必为假（与链一端冲突）
   • 同一列不能出现两个 7 ⇒ r4c7 的 7 必为假（与链另一端冲突）

3. 这就等于让链的两端 同时为假，与第 1 点结论矛盾（产生冲突）。

所以假设不成立：r7c7 不可能是 7，候选数字 7 可以删除。

---

3. 例子

下面两张图是其它 标准链（AIC） 的例子，你可以先按“端点（蓝）/ 强弱交替 / 删数（红）”的顺序去观察：

---

4. 如何寻找标准链（AIC）？

一句话：从强链段开始，沿着强弱交替把链接长；一旦链能推出“端点不可能同时为假”，就去找与两端都冲突的候选来删。

在游戏里你可以按这个顺序找：

1. 先找强链来源（绿色实线）：
   • 某个数字在某行/列/宫里只剩两个候选（共轭对）
   • 或某个双值格的两候选二选一
2. 用弱链（黄色虚线）把它们接起来：
   • 同数字互斥（同行/同列/同宫能互相看见）
   • 同一格不同数字互斥
3. 保持强弱交替，把链尽量接成一条清晰的路线
4. 最后看删数点：通常是“同时与两端都冲突”的红色候选