3D美杜莎

3D Medusa

高级染色策略三维

对单元格内强链接和区域内强链接构建三维候选数染色图，并根据颜色矛盾或双颜色可见关系删除候选数。

原理说明

3D美杜莎（3D Medusa）将染色技术从单一候选数扩展到多个候选数的交叉分析。它在两种强链接上构建染色图：单元格内强链接（双候选格的两个数字互斥）和区域内强链接（同一候选数的共轭对）。通过全局染色，可以发现颜色矛盾或双颜色可见关系来排除候选数。

识别方法

识别棋盘中所有双候选格，在格内两个候选数之间建立单元格内强链接
对每个候选数，识别共轭对建立区域内强链接
从任意节点开始交替着色，构建完整的染色图
检查颜色矛盾（同一格子两种颜色）或双颜色可见关系
根据分析结果，删除对应格子的候选数

应用场景

3D美杜莎是高级策略中最强大的全局染色方法之一。它在多候选数交叉分析方面具有独特优势，能发现其他策略无法识别的排除模式。

逻辑推导详解

3D美杜莎的核心是"三维染色"——将染色从单一候选数（一维）扩展到"位置 + 候选数"的三维空间。每个染色节点是一个"格子-候选数"对（如"第3行第5列的数字7"），而不是单纯的格子。通过两种强链接将节点连成图，再交替染色。

已知条件（两种强链接）：

单元格内强链接（Cell-Internal Strong Link）：双候选格的两个候选数互斥——该格只能填其中一个，所以两个候选数形成强链接。如格子含 {3,7}，则"该格的3"和"该格的7"强链接
区域内强链接（Unit Strong Link / 共轭对）：同一候选数在某行/列/宫中恰好只有两个位置，两位置强链接。如数字5在第2行只有R2C1和R2C8两个位置，则"R2C1的5"和"R2C8的5"强链接

将所有强链接连成一张图，然后尝试用蓝色和琥珀色交替染色。染色成功后，有三种删数模式：

颜色矛盾（Color Conflict）：如果同一颜色的两个节点产生矛盾——要么在同一格（同一格不能填两个数），要么同数字且同行/列/宫（同行/列/宫不能有两个相同数字）——则该颜色不可能全部为真。该颜色的所有候选数都可以删除，因为它们全部为假。
格子双色（Cell Both Colors）：如果某个格子同时包含蓝色候选数和琥珀色候选数（且该格有三个或以上候选数），说明该格的两个染色候选数中必有一个为真（因为两组必有一组全为真）。该格中其他未染色的候选数都可以删除——因为格子已被某个染色候选数"占据"。
双色可见（Sees Both Colors）：如果某个候选数同时被蓝色节点和琥珀色节点同行/列/宫看到，则无论哪组颜色为真，该候选数都会被排除。这些双色可见格中的该候选数可以删除——这与简单染色的双色可见逻辑一致，但作用在跨数字的染色图上。

3D美杜莎之所以叫"三维"，是因为它的节点是（行、列、候选数）的三元组——比简单染色（只有行、列的二维）多了一个候选数维度。这使得它能发现跨候选数的排除模式，是染色策略中最强大的形态之一。

常见变体

单数字染色（简单染色）

3D美杜莎的简化形态：只使用区域内强链接（共轭对），不使用单元格内强链接。染色节点只有位置（二维），不涉及候选数维度。这是染色策略的入门形态，适合初学者理解染色的基本逻辑。

单元格内染色

只使用单元格内强链接（双候选格的两数字互斥），不使用区域内共轭对。这种形态较少单独使用，因为双候选格的分布通常不足以形成大规模染色图。但它是理解 3D 美杜莎跨数字逻辑的关键。

完整 3D 美杜莎

同时使用单元格内强链接和区域内强链接的标准形态。染色图跨越多个候选数，能发现前两种变体无法识别的排除模式。这是小程序实现的形态，也是高级数独中最实用的全局染色策略。

分组 3D 美杜莎

在完整 3D 美杜莎的基础上引入"分组节点"——将同一行/列/宫中多个含某候选数的格子视为一个整体节点。这能进一步扩展染色图的覆盖范围，但识别和实现难度都很高，通常由求解器自动完成。

识别技巧

标记所有双候选格：3D美杜莎的起点之一是双候选格。先在棋盘中标记出所有恰好含两个候选数的格子，它们的两个候选数之间会形成单元格内强链接。
标记所有共轭对：对每个候选数（1-9），在行、列、宫中找出所有共轭对（恰好两个位置）。这些共轭对是区域内强链接的来源。
从双候选格开始染色：选定一个双候选格 {A, B}，将"该格的A"染蓝色，"该格的B"染琥珀色。然后从这两个节点出发，通过两种强链接交替延伸染色。
系统检查三种模式：染色完成后，依次检查：①同色节点是否有矛盾（同格或同数字+同行/列/宫）；②是否有格子同时含两种颜色；③是否有候选数同时被两种颜色看到。
关注双候选格密集区：双候选格越多，单元格内强链接越丰富，3D美杜莎的染色图越容易形成有价值的结构。优先在双候选格密集的区域开始染色。

常见误区

误区一：混淆两种强链接

3D美杜莎有两种强链接：单元格内强链接（双候选格两数字互斥）和区域内强链接（共轭对）。前者连接的是同一格的不同候选数，后者连接的是不同格的同一候选数。混淆两者会导致染色图连接错误，推导失效。

误区二：跨数字染色方向错误

与简单染色不同，3D美杜莎的染色跨越不同候选数。从"格子A的数字3"出发，通过单元格内强链接到"格子A的数字7"，再通过区域内强链接到"格子B的数字7"……染色方向必须严格沿强链接传递，不能随意跳到其他候选数。

误区三：颜色矛盾判断不完整

颜色矛盾有两种：①同色两节点在同一格（该格不能同时填两个数）；②同色两节点同数字且同行/列/宫（同行/列/宫不能有两个相同数字）。只检查第一种会漏掉第二种矛盾，导致错过删数机会。

误区四：格子双色删数范围错误

"格子双色"模式只能删除该格中未染色的候选数，不能删除已染色的候选数。已染色的候选数是推理的依据，它们中必有一个为真。误删染色候选数会破坏推理链。

误区五：染色不完整

染色必须覆盖整个连通分量——从一个节点出发，沿所有强链接延伸到所有可达节点，不能遗漏。如果只染了部分节点就检查矛盾或双色可见，可能漏掉关键的删数机会，甚至得出错误结论。

练习建议

先掌握简单染色：3D美杜莎是简单染色的扩展。先用单一候选数的简单染色练习，熟悉"强链接染色→双色可见删数"的基本流程后，再引入单元格内强链接。
理解单元格内强链接：单独练习双候选格的染色。选一个双候选格 {A,B}，将A染蓝、B染琥珀，然后通过A和B的共轭对分别延伸染色。体会"同一格的不同候选数"如何连接不同数字的染色链。
从小范围染色开始：不要一开始就尝试染色整个棋盘。从一个小连通分量（3-5个节点）开始，完整完成染色和三种模式的检查，再逐步扩大范围。
系统检查三种模式：养成习惯——每次染色完成后，依次检查颜色矛盾、格子双色、双色可见三种模式。不要只检查一种就放弃，不同模式适用于不同结构。
借助小程序验证：3D美杜莎的手动染色非常繁琐，建议借助小程序的自动高亮功能。观察蓝色和琥珀色节点的分布，以及三种删数模式的标注，对照自己的理解逐步提升。

与其他策略的关系

3D美杜莎融合了简单染色和单元格内染色两种技术，是染色策略的集大成者。它与分组X环密切相关，是理解高级候选数图论的核心。简单染色是 3D 美杜莎的"单数字版"（只用区域内强链接），而 3D 美杜莎通过引入单元格内强链接，将染色扩展到跨数字的三维空间——能发现简单染色和 X 链都无法识别的排除模式。

策略家族关系：

上级策略：简单染色（Simple Coloring）——只用区域内强链接的单数字染色；X链（X-Chain）——链式视角的等价形式
同级策略：分组X环（Grouped X-Cycles）——引入分组节点的单数字染色策略
下级/扩展策略：分组3D美杜莎——结合分组节点与跨数字染色的终极形态
思想延伸："三维染色"思想是高级数独图论的核心，也是理解链式策略（如链、环）与染色策略统一性的关键