原理说明
分组X环（Grouped X-Cycles）是X链的分组扩展版本。它不仅使用单个格子之间的强/弱链接，还引入"分组"概念——将同一行/列/宫中多个含Z候选数的格子视为一个分组节点。这使得链可以绕过标准X链无法处理的模式，发现更多排除机会。
分组X环
Grouped X-Cycles
高级
链式策略
分组环
通过同一数字的强链接染色链，删除两种颜色公共可见格的候选数。
识别方法
- 选择一个候选数Z
- 识别Z的共轭对作为强链接，同行/列/宫中多个Z候选格作为分组节点
- 构建包含分组节点的强弱交替链或环
- 如果形成连续弱链接中断的环（Nice Loop），分析排除结论
- 删除满足条件的格子中的Z候选数
应用场景
分组X环是X链的进阶形式，能处理标准X链无法覆盖的情况。在极其困难的谜题中，分组概念能显著扩展链式策略的适用范围。
逻辑推导详解
分组X环的核心是"强链接染色"——将同一候选数的所有共轭对（强链接）连成一张图，然后尝试用两种颜色交替染色。染色的本质是"二选一"推理：每种颜色的所有候选位置，要么全部为真，要么全部为假。
已知条件：
- 选定候选数 Z，在棋盘上找出它在行、列、宫中的所有共轭对（强链接）
- 每个共轭对是两个含 Z 的格子，它们同行/列/宫且该单元中恰好只有这两个 Z
- 将这些共轭对连成一张图，图中节点是格子，边是强链接
- 如果这张图可以被两种颜色交替染色（二分图），则染色成功
染色成功后，所有节点被分成两组——蓝色组和琥珀色组。推导如下：
- 每个强链接的两端颜色不同：由于强链接意味着"必有一个是 Z"，而两端颜色不同，所以每种颜色中至少有一个格子是 Z。
- 颜色组的"全有或全无"性质：如果某个蓝色节点是 Z，那么与它强链接的琥珀色节点不是 Z，而与那个琥珀色节点强链接的另一个蓝色节点又必须是 Z……以此类推，所有蓝色节点要么全是 Z，要么全不是 Z。同理，所有琥珀色节点也是"全有或全无"。
- 两组必有一组全为 Z：由于每个强链接必有一个端点是 Z，所以蓝色组和琥珀色组中必有一组全为 Z，另一组全不是 Z。
因此，同时被蓝色组和琥珀色组"看到"的格子不可能是 Z——因为无论哪组为真，该格子都会被某个为 Z 的节点同行/列/宫排除。这些双色可见格中的 Z 候选数可以安全删除。
注：当引入"分组节点"（将同一行/列/宫中多个含 Z 的格子视为一个整体节点）后，染色图能覆盖更多模式，这就是"分组"二字的由来。
常见变体
简单染色（Simple Coloring）
分组 X 环的基础形态。只使用单个格子之间的强链接（共轭对），不引入分组节点。将所有共轭对连成图后二分染色，寻找双色可见格删数。这是入门染色策略的最佳起点，也是小程序当前实现的形态。
分组染色（Grouped Coloring）
引入"分组节点"的进阶形态。当某行/列/宫中含 Z 的格子多于两个（无法形成共轭对）时，可以将这些格子中位于同一行/列/宫的子集视为一个"分组节点"。分组节点与外部格子之间可以形成强链接，从而扩展染色图的覆盖范围。
X环（X-Cycle / Nice Loop）
当强链接图形成一个闭合的环时，就构成 X 环。环上强弱链接严格交替，如果环可以被完整染色（无矛盾），则环上每个弱链接的两端公共可见格中的 Z 都可以删除。X 环是分组 X 环的闭环形态。
颜色矛盾型（Color Wrap / Color Trap）
当染色过程中发现同一颜色的两个节点产生矛盾（如同行/列/宫且都是 Z）时，说明该颜色不可能全部为真，因此另一颜色全部为真——可以直接确定候选数位置。这比双色可见删数更强大。
识别技巧
- 选择共轭对密集的候选数：优先关注在多个行/列/宫中都恰好只有两个位置的候选数。共轭对越多，染色图越丰富，越容易形成可利用的染色结构。
- 系统标记所有共轭对：对目标候选数 Z，逐一检查每行、每列、每宫，找出所有"恰好两个含 Z 的格子"。将这些共轭对在心中（或纸上）连成图。
- 从任意节点开始染色：选定一个含 Z 的格子染蓝色，与它强链接的格子染琥珀色，再与那些格子强链接的染蓝色……交替染色直到无法继续。
- 检查双色可见：染色完成后，寻找同时被蓝色节点和琥珀色节点同行/列/宫的格子。这些格子中的 Z 就是可以删除的候选数。
- 检查颜色矛盾：如果同一颜色的两个节点同行/列/宫且候选数相同，就产生了矛盾——该颜色必为假，另一颜色必为真，可以直接出数。
常见误区
误区一：弱链接当强链接
染色只能基于强链接（共轭对）——即某行/列/宫中恰好只有两个含 Z 的格子。如果某单元中 Z 有三个或以上位置，这些格子之间是弱链接，不能用于染色。误用弱链接会导致错误的染色结论。
误区二：染色矛盾时仍删数
如果染色过程中发现矛盾（同一节点需要染两种颜色），说明该强链接图不可二分染色。此时不能用双色可见逻辑删数——矛盾的图没有"两组必有一组全为真"的性质。矛盾应该用"颜色矛盾型"逻辑处理，而非双色可见。
误区三：只看单侧可见
双色可见要求目标格子同时被蓝色组和琥珀色组的至少一个节点同行/列/宫。如果只被一种颜色看到，不能删除——因为该颜色可能是"全假"的那组，此时该格子可以是 Z。
误区四：分组节点理解错误
分组节点是将同一行/列/宫中多个含 Z 的格子视为一个整体，而不是随意将几个格子打包。分组节点与外部格子的"强链接"要求：分组内所有 Z 与外部某格之间，恰好满足共轭关系。错误理解分组节点会导致虚假的强链接。
误区五：混淆染色与X链
简单染色和 X 链在逻辑上等价，但视角不同——X 链关注一条具体的链路，染色关注整张强链接图的全局结构。同一道题可能用 X 链找到答案却用染色找不到（或反之），两者互补而非替代。
练习建议
- 从简单染色入手：先用简单染色（不引入分组节点）练习。选择一个共轭对较多的候选数，手动染色并寻找双色可见格。这是理解分组 X 环的基础。
- 单数字染色练习：选择一个候选数（比如数字 6），在一道高级谜题中只对这个数字染色。即使找不到删数，也要完成整个染色过程，培养对强链接图的直觉。
- 理解分组概念：熟练掌握简单染色后，学习"分组节点"的概念。当某单元中 Z 有多个位置时，思考能否将其中一部分视为分组节点来扩展强链接。
- 对比 X 链学习：同一道题分别用 X 链和染色法分析，体会两种视角的差异。X 链擅长追踪具体链路，染色擅长全局俯瞰。
- 借助小程序验证：在小程序中加载包含分组 X 环的棋盘，观察高亮标注的两种颜色和双色可见格，对照自己的理解。关闭提示后尝试独立完成染色。
与其他策略的关系
分组X环是X链和X环的分组扩展，与3D美杜莎共享分组逻辑。它引入的"分组节点"概念是现代高级策略的重要创新。简单染色是分组 X 环的基础形态（不使用分组节点），而 3D 美杜莎则是将染色从单一候选数扩展到多候选数的集大成者。
策略家族关系：
- 上级策略：X链（X-Chain）——分组 X 环的链式视角等价形式；简单染色（Simple Coloring）——不使用分组节点的基础形态
- 同级策略：3D美杜莎（3D Medusa）——将染色从单一候选数扩展到多候选数的跨数字染色策略
- 下级/扩展策略：分组 Nice Loop——引入分组节点的连续环；3D美杜莎分组版——结合分组与跨数字染色
- 思想延伸："分组节点"思想是现代数独策略的重要创新，广泛运用于 ALS 链、分3D 美杜莎等高级策略中