扩展Sue de Coq

什么是扩展 Sue de Coq？

扩展 Sue de Coq（Extended Sue de Coq，简称 ESdC）是基本 Sue de Coq 的扩展形式，覆盖以下几种更复杂的情况：

扩展类型一：三维交叉 基本 SdC 只分析一行（或列）与一个宫的交叉。扩展形式允许同时涉及一行、一列和一个宫的三维交叉关系，交叉区域 S 可以是行与宫、列与宫的两个独立交叉片段的组合。

扩展类型二：复杂集合 B 或 L 基本 SdC 中，集合 B（宫内非 S 部分）和集合 L（行内非 S 部分）通常是简单的单格或裸对。扩展形式允许 B 或 L 本身是更复杂的 ALS（几乎锁定集合），使得候选数集合的分配关系更丰富。

扩展类型三：多鳍 SdC 允许交叉区域 S 有三个格子（基本 SdC 通常为2格），候选数总量相应增加，但逻辑框架不变。

核心不变：无论哪种扩展形式，核心逻辑都是”交叉区域的候选数集合被完全分配到宫维度和行/列维度，两个维度的候选数互不重叠，因此可以在对应维度的其他位置删去各自的候选数”。

解题步骤

以最常见的扩展形式（3格交叉区域 S）为例：

1. 找3格交叉区域 S：选一行与一个宫的交叉位置，取3个格子组成集合 S。
2. 记录 C(S)：列出 S 中所有候选数的并集，设 |C(S)| = m。
3. 验证条件：|C(S)| 必须满足 m = |S| + k = 3 + k，通常 k = 1 或 2。
4. 在宫内找集合 B：宫内 S 之外的格子中，找候选数集合恰好为 C(S) 中某 k 个数字的子集。B 可以是一个 ALS（几乎锁定集合），即含 k+1 个格子和 k+1 个候选数，去掉一个候选数后形成裸集合。
5. 在行内找集合 L：行内 S 之外的格子中，找候选数集合恰好为 C(S) 中剩余 n 个数字的子集（n = |S| = 3）。L 同样可以是 ALS。
6. 验证不重叠和完整性：C(B) ∩ C(L) = ∅，C(B) ∪ C(L) = C(S)。
7. 执行消去：
   • C(B) 中的候选数从宫内（非 S、非 B）的格子中删去。
   • C(L) 中的候选数从行内（非 S、非 L）的格子中删去。

示例详解

以第3行与第3宫（第1-3行、第7-9列）的交叉为例：

3格交叉区域 S = {R3C7, R3C8, R3C9}

C(S) = {2, 4, 5, 7, 9}（5个候选数，|S|=3，|C(S)|=5，k=2）

在宫内找集合 B（k=2）：

• 宫内某 ALS：R1C7 含 {2,4}，R2C7 含 {2,4} → 裸对 {2,4}，C(B) = {2,4}

在行内找集合 L（n=3）：

• 行内某裸三元组：R3C1{5,7}、R3C3{7,9}、R3C4{5,9} → C(L) = {5,7,9}

验证：C(B) = {2,4}，C(L) = {5,7,9}，交集为空，并集 = {2,4,5,7,9} = C(S) ✓

消去：

• 第3宫内除 S 和 B 之外的格子（R1C8、R1C9、R2C8、R2C9）：删去候选数 5、7、9
• 第3行内除 S 和 L 之外的格子（R3C2、R3C5、R3C6）：删去候选数 2、4

实用技巧

• 先掌握基本 SdC：扩展 SdC 在基本 SdC 的基础上增加复杂性，务必先理解基本形式。
• ALS 识别是关键：当 B 或 L 是 ALS 而非简单裸集合时，需要先识别 ALS 结构，再套用 SdC 逻辑。
• 候选数完整标注是前提：扩展 SdC 对候选数分布非常敏感，任何候选数的遗漏都可能导致错误结论。
• 3格 S 比2格 S 更难发现：3格交叉区域候选数更多，条件验证更复杂，需要更系统的搜索策略。
• 与 ALS-XZ 关系密切：理解 ALS 结构后，扩展 SdC 和 ALS-XZ 之间的关系会更清晰——两者在集合推理的核心逻辑上高度相似。

与其他技法的关系

• 前置技法：Sue de Coq — 基本形式，必须先掌握。
• 关联技法：ALS-XZ（单RCC） — 扩展 SdC 中的 ALS 版集合 B/L 本质上就是 ALS，两者在集合推理层面高度相通。
• 更高阶工具：当扩展 SdC 仍无法解决时，可考虑 交替推理链（AIC） 等更通用的推理框架。

常见问题

Q：扩展 SdC 和基本 SdC 在实战中的使用频率有何差异？

A：基本 SdC（2格交叉，简单 B 和 L）在难题中偶尔出现；扩展 SdC（3格交叉或 ALS 版 B/L）则非常罕见，主要出现在专门设计的极难题或数独竞赛题中。日常解题以基本 SdC 为主。

Q：如何区分扩展 SdC 和 ALS-XZ？

A：两者都涉及 ALS（几乎锁定集合）的集合分析，但侧重点不同：ALS-XZ 关注两个 ALS 通过 RCC（限制公共候选数）连接产生的消去；扩展 SdC 关注行/列与宫的交叉区域的候选数集合分配。在某些特定局面下，两种技法的分析视角可以互相转化。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 大师技法 → 扩展 Sue de Coq，开始专项训练。建议先完整掌握基本 SdC，再逐步挑战扩展形式。注意开启完整候选数显示模式，仔细核对每步集合关系。