原理说明
水母(Jellyfish)是鱼系列策略的四阶形式。如果某个数字Z在四行中的候选位置恰好都只出现在相同的四列中,那么这四行中Z必定分别填入这四列。因此,这四列中其他行里的Z候选数可以被安全删除。
某数字在四行/列中的候选位置仅限于四列/行,可排除交叉线其他位置的该候选数。
水母(Jellyfish)是鱼系列策略的四阶形式。如果某个数字Z在四行中的候选位置恰好都只出现在相同的四列中,那么这四行中Z必定分别填入这四列。因此,这四列中其他行里的Z候选数可以被安全删除。
水母在实际解题中非常罕见,因为它需要同时观察四行四列的候选数分布。但在极端构造的高级谜题中,它可能是关键的突破手段。
水母是X翼(二阶鱼)和剑鱼(三阶鱼)的自然推广,其核心逻辑是"基数与覆盖集相等则可删数"。我们以"行基础"为例进行推导:
已知条件:
我们来分步推导为什么 C1~C4 这四列中、不属于 R1~R4 的格子不能填 Z:
因此,C1~C4 这四列中、不属于 R1~R4 的所有格子,其 Z 候选数都可以安全删除。这就是水母的删数逻辑。
提示:如果四行中 Z 的候选位置并集不足四列,就是剑鱼(三阶);如果只有两行两列,就是 X 翼。水母是这一家族的四阶形态。
以四行作为"基础集",四列作为"覆盖集"。即在某四行中,候选数 Z 只出现在固定的四列上。删数方向是沿着这四列向下/上删除其他行的 Z。这是最常见的水母描述方式。
以四列作为"基础集",四行作为"覆盖集"。即在某四列中,候选数 Z 只出现在固定的四行上。删数方向是沿着这四行向左/右删除其他列的 Z。与行基础水母完全对称,只是旋转了 90 度。
当水母的某个基础格缺失(即某行/列的候选数少于预期),但通过"鳍"的辅助仍能形成类似删数效果时,称为退化水母。这实际上属于带鳍水母的特例,需要单独识别。
误区一:并集少于四列也当作水母
水母要求四行的候选位置并集恰好为四列。如果并集只有三列,那是剑鱼;只有两列,那是 X 翼。阶数不对就不能套用水母的删数结论。
误区二:基础行中有数字已填
选择基础行时,这些行中 Z 的候选格必须都是"未确定"的格子。如果某行已经填入了 Z,那该行就不应参与水母结构的构建,否则会错误地多算一个基础行。
误区三:删除范围扩大到基础行内
水母只删除覆盖列中、非基础行的格子。基础行内部的候选数不能删除(它们正是水母结构的组成部分),也不要删除非覆盖列上的候选数。
误区四:与剑鱼混淆
水母是四阶鱼,需要四行四列同时满足条件;剑鱼是三阶鱼,只需三行三列。两者阶数不同,不要因为候选数分布"看起来像"就混淆。数一数基础集的行数/列数即可区分。
水母是鱼策略家族中阶数较高的形式(四阶),前面有X翼(二阶)和剑鱼(三阶),五阶及以上的鱼在实用中几乎没有意义。水母的逻辑与X翼、剑鱼完全一致,只是基础集和覆盖集的规模扩大到四行四列。它也是带鳍水母的基础——带鳍水母允许水母结构"差一点"成立,通过鳍的辅助实现删数。
策略家族关系: