鰭魚與刺身魚

鰭魚與刺身魚

中級

理解基礎魚形模式

在基礎魚形中,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級,極其罕見

總結

鰭魚和刺身魚將經典魚形結構擴展,以處理不完美的對齊。鰭將排除範圍限制在同時位於魚的覆蓋宮和鰭的宮影響範圍內的候選數。刺身魚是鰭魚的一種,其底層魚形若沒有鰭就不完整,因此更難用肉眼辨識。這七種技巧填補了基礎魚形幾何與抽象鏈式技巧之間的空白。