鳍鱼与刺身鱼
鳍鱼与刺身鱼
理解基础鱼形模式
在基础鱼形中,N个基础行将某个数字的候选数限制在N个覆盖列中,且基础行中的每个候选数都位于这些覆盖列内。带鳍鱼形通过允许一个或多个额外候选数(称为鳍)位于覆盖列之外,放宽了这种完美形状。重要的权衡是排除范围变得更窄。基础鱼形可以从基础行之外的整个覆盖集合中排除。带鳍鱼形只能在基础鱼形排除区域与鳍的宫影响范围重叠处进行排除。
什么是鳍单元格?
鳍是基础宫(basehouse)中位于覆盖宫(coverhouses)之外的额外候选数。在常见的行式形态中,这意味着基础行之一中有一个额外候选数,但位于覆盖列之外。对于通常的鳍鱼(finnedfish)推理,鳍必须局限于一个宫。如果有多个鳍,它们必须都占据同一个宫区,这样真正的鳍才能从同一局部宫区域中排除该数字。
鳍鱼的排除原理
鳍鱼使用双单元格论证:单元格1:所有鳍都为假。剩余的候选数构成一个基本鱼,因此可以从基础行之外的覆盖列中排除该数字。单元格2:至少有一个鳍为真。由于鳍局限于一个宫,该数字会从该宫的其余部分被排除。只有当两种情况都能排除某个候选数时,该候选数才能被移除。在行式鱼中,目标必须位于覆盖列中、鳍所在宫内,且在基础行之外。这个重叠区域就是排除区。
鳍状X翼、剑鱼、水母和斯奎姆巴格
鳍状X翼:第7级(非常困难)鳍状剑鱼:第8级(专家)鳍状水母:第8级(专家)鳍状Squirmbag:第9级(大师)
刺身鱼有何不同
刺身鱼(sashimifish)是一种鳍鱼,其底层鱼在移除鳍后会崩溃。换句话说,其中一个基础宫贡献太弱,没有鳍就无法构成完整的无鳍鱼。在X翼中,这通常表现为某个基础行只有鳍加上覆盖列中的一个候选数,而不是干净的两角矩形。排除逻辑与鳍鱼相同:要么鳍为假,则应用剩余的鱼逻辑;要么鳍为真,则其所在宫在局部排除该候选数。区别在于视觉上。刺身鱼看起来不完整,因此你必须识别出近似鱼,而不是期待一条完美、只多一个简单额外候选数的鱼。
神风X翼、剑鱼和水母
神风X翼:第7级(非常困难)三文鱼剑鱼:第9级(大师)三文鱼水母:第9级(大师)
如何发现鳍鱼和刺身鱼
1.扫描接近完整的鱼。2.找出所有鳍:基础宫中位于覆盖宫之外的额外候选数。3.确认所有鳍都局限于同一个宫区。4.检查该宫与覆盖宫重叠的位置。5.只排除无论鳍为假还是为真都会被移除的候选数。6.当移除鳍后无鳍鱼会不完整时,考虑刺身单元格。提示:先寻找基本鱼,并留意它们因一小撮局限于宫的候选数而失败的情况。
难度评级与实际出现频率
鳍状X翼:7级,偶尔出现神风X翼:7级,罕见鳍状剑鱼:8级,罕见鳍状水母:8级,非常罕见鳍状Squirmbag:9级,极其罕见三文鱼剑鱼:9级,极其罕见三文鱼水母:9级,极其罕见
总结
鳍鱼和刺身鱼将经典鱼形结构扩展,以处理不完美的对齐。鳍将排除范围限制在同时位于鱼的覆盖宫和鳍的宫影响范围内的候选数。刺身鱼是鳍鱼的一种,其底层鱼形若没有鳍就不完整,因此更难用肉眼识别。这七种技巧填补了基础鱼形几何与抽象链式技巧之间的空白。