水母
Jellyfish
概要：水母（Jellyfish）是鱼形技法家族中继X-Wing（两行两列）和剑鱼（三行三列）之后的四阶扩展。某候选数在四行中均只出现在相同的四列（或反之），可从这四列的其他格中排除该候选数。
什么是水母？
水母（Jellyfish）是数独鱼形技法（Fish Techniques）家族的第四个成员：
| 技法 | 规模 | 前提 |
|---|---|---|
| X-Wing | 2行×2列 | — |
| 剑鱼（Swordfish） | 3行×3列 | X-Wing |
| 水母（Jellyfish） | 4行×4列 | 剑鱼 |
| 海星（Squirmbag） | 5行×5列 | 水母（极少见） |
核心原理：若候选数N在四个不同行中，每行内N**只出现在四个特定列（的子集）**中，且这四行覆盖的列的并集恰好只有四列，则：
- 这四行中，N必定分布在这四列上（各列至少一个）
- 这四列的其他行（不在四个基行内的行）可以排除候选数N
数学本质：在4个基行中，N只能填在这4列与基行的交叉格子里（最多16格）。因为N在每行只需出现一次，所以4行的N都”占用”这4列，这4列的其余行格子不能再有N。
解题步骤
行扫描（基于行）：
- 选定候选数N：逐一对1-9中每个数字进行检查
- 扫描各行：找到候选数N在每行出现的列位置
- 寻找四行：找到四行，使得这四行中N出现的列并集恰好含四列（或更少）
- 确认覆盖：验证四行中每行的N均出现在这四列之内
- 执行排除：在这四列中，除四个基行外的其他行格子，删除候选数N
列扫描（基于列）：
同理，找到四列使N出现的行并集恰好四行，排除这四行中四列外的N。
示例详解
行基水母：候选数4
考虑候选数4的分布：
| 行 | 4出现的列 |
|---|---|
| 第1行 | C2, C5 |
| 第3行 | C2, C5, C7 |
| 第6行 | C5, C7, C9 |
| 第8行 | C2, C9 |
检查这四行的列并集：{C2, C5} ∪ {C2, C5, C7} ∪ {C5, C7, C9} ∪ {C2, C9} = {C2, C5, C7, C9}
恰好四列！ 水母成立。
基行：R1, R3, R6, R8 基列：C2, C5, C7, C9
排除执行：在 C2、C5、C7、C9 这四列中，除第1、3、6、8行外的其他行，排除候选数4。
列基水母：候选数7
实用技巧
- 水母比剑鱼更难发现：四行四列的搜索空间很大，实战中建议使用候选数标注工具辅助扫描
- 允许行内少于四列：某行中N出现在1、2或3列均可，只要四行并集不超过四列
- 与列扫描互补：若行扫描无果，尝试列扫描（以列为基，找四列N只出现在四行内）
- 消除效果相对有限：水母能排除的候选数往往少于X-Wing和剑鱼，因为基行（列）多，剩余排除范围小
- 优先检查出现频率低的数字：候选数N在盘面出现次数少时，每行的列分布更集中，更容易形成水母
带鳍水母
与带鳍X-Wing和带鳍剑鱼类似，水母也可以有带鳍变体（Finned Jellyfish）：某基行中N多出一个鳍格（不在四基列范围内）。排除时，目标格需同时能看到鳍格（与鳍格同宫）。
与其他技法的关系
- 前置技法：剑鱼（Swordfish） — 三阶鱼形，是理解水母的必要基础
- 同族技法：X-Wing — 最简单的鱼形（二阶）
- 进阶变体：带鳍水母（Finned Jellyfish）——鱼形结构中有鳍格的变体
常见问题
Q：水母成立的条件中，“每行N出现的列数”有上限吗？
A：每行N出现的列数最多为4（即四基列的全部），至少为1。若某行N出现在多于4列，该行不能作为水母的基行。如果四行并集超过4列，也不构成水母——这是核心约束。
Q：水母和四个独立的X-Wing有什么不同？
A：完全不同。四个独立X-Wing需要四对行恰好各自在相同的两列形成X-Wing，是很强的结构要求。水母只需要四行的N分布的列并集不超过四列，更灵活，覆盖的情形更多。有时水母可以覆盖多个X-Wing无法单独解决的情形。
在爱九宫数独中练习
打开爱九宫数独 App → 学习 → 大师技法 → 水母，挑战鱼形技法中的四阶难关。建议先熟练掌握X-Wing和剑鱼，再系统地练习水母扫描，逐步培养对多行多列候选数分布的整体把握能力。