四条线，以及「数下去」不再划算的地方

一句话版本

水母是鱼家族的四线成员：四条基线，每条上这个数字最多四个家，全部被同样四条垂直线圈住。

四条线各需要一个数字，四条覆盖线提供四份，于是覆盖线满了，交点以外都可以清掉。

逻辑和 X-Wing、剑鱼完全一样。变的只有找到它的成本。

形状

• 基：四条平行线，每条最多四个家。
• 覆盖：圈住所有这些家的那四条垂直线。
• 排除：覆盖线上、基线之外。

到这里，这个图形应该已经眼熟了，因为它是同一句话换了个数字。两条线是 X-Wing，三条是剑鱼，四条是水母。结构没变，只是宽度变了。

为什么成立

四条基线各需要恰好一份这个数字。它们所有的家都在四条覆盖线里。覆盖线每条只能装一个，所以四个落点必须一条覆盖线一个地分布。

四条线、四个位置、各一个。覆盖线被供满，这个数字不可能出现在覆盖线上基线以外的任何地方。

鸽笼论证在每一个尺寸上都一样。你想通了 X-Wing 为什么成立，就想通了水母为什么成立——多出来的线增加的是记账，不是推理。

真实盘面

数字 7，而这次基同样落在列上，不是行：

• 第 4 列：7 只能放 R8C4 或 R9C4。
• 第 7 列：7 只能放 R3C7、R4C7、R8C7 或 R9C7。
• 第 8 列：7 只能放 R3C8、R4C8、R8C8 或 R9C8。
• 第 9 列：7 只能放 R4C9、R8C9 或 R9C9。

四条列里所有的家，都落在第 3、4、8、9 行之内。四列、四行，各放一个。

这些行因此被供满。把它们在基线列以外的部分清掉，这张盘面上只留下一个排除：R4C1 的 7。

四条线数下来的图形，换一个候选。这个比例就是对水母最诚实的总结。

怎么扫

不要直接去找水母。去找「让水母可能出现」的条件，并且先查便宜的图形。

1. 先把便宜的扫完。 每个数字的 X-Wing 和剑鱼先过一遍。水母几乎从不是唯一可走的一步，而便宜的图形验证起来快得多。
2. 找家很多的数字。 一个数字在四条线上散着四到六个家，是原料。只剩三个家的数字是剑鱼或翼的料，不是水母。
3. 数每条线的家。 四条线，每条最多四个，全部落在同样四条垂直线上。「最多四个」是关键条件。
4. 查第五个家。 一条基线在四条覆盖线之外还有家，整个结论就废了。
5. 清覆盖线。 然后把行列对调再来一遍。

实践中，第 1 步就排除了大部分找水母的理由。所以最诚实的建议是：学原理，很少真去搜。

陷阱

把罕见当难度。 水母在逻辑上并不比 X-Wing 难。它难在找。以为它概念更深的解题人，会把一个简单的计数论证想得过分复杂。

太早去找。 如果角落里还有一个隐性唯一数没扫，你却在捞水母，那问题在顺序，不在题目。把梯子按顺序走。

第五个家。 和所有鱼一样，这是唯一能让图形失效的条件。覆盖线外有一个漏网的候选，整件事就什么都不是。

方向搞混。 排除落在覆盖线上。四线基、四线覆盖，只有其中一组被清掉。搞反就会做出无效删除。

用在哪

诚实的答案是：很少。水母出现在专家题和专门示范这个技巧的题里，几乎从不作为解题的唯一路径。

真正值得知道的是这个家族。一旦你看出 X-Wing、剑鱼、水母是同一个想法在三个宽度上，整个鱼类就不再是一串要背的技巧。你学一个论证，三个尺寸。

对多数人来说现实中的终点是剑鱼。再往上，链解开盘面的速度通常比捞一条更宽的鱼更快。