带鳍水母（四阶鱼）

直接显示提示的最后一页

Loading demo...

“带鳍水母”是大小为4的带鳍鱼。

如何识别

• 针对1-9每个候选数x，选取包含候选数x的四行（或列）作为基础集，选取四列（或行）作为覆盖集。
• 检查基础集中每行（或列）中的x，如果它不在覆盖集中，则暂且将它当做鱼鳍；至少要有一处鱼鳍。并确保所有鱼鳍格能彼此看到，否则无法找到能看到所有鱼鳍的待删格。基础集中其余候选数x的位置应该形成一个水母。
• 在覆盖集的四列（或行）中，删除基础集以外、能看到所有鱼鳍格的单元格中的候选数x。

原理

对于位于覆盖集内、基础集外，并且能看到所有鱼鳍格的待删格，仅有以下两种情况：

• 所有鱼鳍格均不填x：基础集中的候选数全部落在覆盖集中，形成一个基本（或退化的）水母，因此待删格不能填x。
• 至少一个鱼鳍格填x：待删格能看到所有鱼鳍格，所以无论哪个鱼鳍格填了x，待删格都不能填x。

两种情况下待删格都不能填x，因此可以删除其中的候选数x。

实例

上图针对候选数5，以第{3、5、8、9}行为基础集，以第{2、3、5、7}列为覆盖集。鱼鳍位于R3C9。

可以删除R1C7中的候选数5，因为该格位于覆盖集内、基础集外，并且能看到所有鱼鳍格。

---

上图针对候选数8，以第{4、5、7、9}列为基础集，以第{2、3、6、7}行为覆盖集。鱼鳍位于R4C4、R5C5。

可以删除R6C6中的候选数8，因为该格位于覆盖集内、基础集外，并且能看到所有鱼鳍格。

---

上图针对候选数5，以第{3、4、5、9}行为基础集，以第{2、3、5、6}列为覆盖集。鱼鳍位于R3C1。

可以删除R1C3、R2C2、R2C3中的候选数5，因为这些格子位于覆盖集内、基础集外，并且能看到所有鱼鳍格。

刺身水母

鱼鳍之外的结构可以是退化鱼，如下面的盘面所示：