数独中的鳍状剑鱼技巧

什么是鳍状剑鱼？

鳍状剑鱼是在3条基础行与3条覆盖列组成的剑鱼主体之外，多出一个或多个同类候选位置。额外位置称为鳍。鳍为假时保留标准剑鱼；鳍为真时控制其所在宫，因此只能在两个结论的重叠区域排除。

如何识别鳍状剑鱼

选择一个候选数，寻找3条基础行，其主体位置包含在3条覆盖列中。再确认其中一行存在覆盖列外的额外候选数，而且鳍与覆盖列上的主体候选数位于同一个宫。

候选数9在第2、5、8行与第2、5、8列形成剑鱼主体，R5C9是靠近R5C8的鳍。无论鳍成立，还是鳍为假后恢复标准剑鱼，都能从R4C8和R6C8删除9。

为什么排除成立？

鳍为假时，标准剑鱼会排除覆盖列中的其他9；鳍为真时，它会排除同宫中的其他9。R4C8和R6C8同时属于这两个排除范围。

鳍状剑鱼与剑鱼有什么区别？

标准剑鱼的主体候选数完全包含在3条覆盖单位中；鳍状剑鱼允许额外候选数，但只能在鳍所在宫内局部排除。

鳍状剑鱼成立的条件

• 主体、鳍和排除目标都围绕同一个候选数。
• 3条基础行中的主体位置必须包含在3条覆盖列中。
• 至少一个额外候选位置位于覆盖列之外，并与某个主体候选数共享宫。
• 目标格必须同时属于相关覆盖列和鳍所在宫。
• 去掉鳍后，剩余主体必须能够形成标准剑鱼。

鳍可以不止一个，但多个鳍应位于同一个相关宫内并产生相同的重叠排除，否则不能合并处理。

示例的两种分支

若R5C9不是9，第2、5、8行与第2、5、8列构成标准剑鱼，C8中的其他9可以排除。若R5C9是9，它会在第6宫排除其他9。R4C8和R6C8既位于C8，又位于第6宫，所以两个分支都支持删除。

常见误区

• 主体候选位置实际上分布在4条以上覆盖列中。
• 鳍没有与覆盖列上的主体候选数共享宫。
• 把整条覆盖列都当作排除范围。
• 将鳍状X-Wing与鳍状剑鱼混淆；后者需要3条基础单位与3条覆盖单位。

常见问题

鳍状剑鱼一定比标准剑鱼更强吗？

不一定。它允许保留额外候选位置，但排除范围更小，通常只在鳍所在宫内产生一两个删除。

可以按列寻找鳍状剑鱼吗？

可以。交换行和列即可，逻辑、鳍条件和局部排除范围完全相同。

总结

鳍状剑鱼的关键是分别验证剑鱼主体和鳍的局部作用，再只保留两种分支共有的排除结果。不能因为看见三行三列和额外候选数就直接删除。