基礎魚

基礎魚

中級

什麼是 數獨 中的魚形模式?

魚形模式是一類單一數字技巧,利用數字候選數在行和列之間的對齊方式。每種魚形模式的工作原理相同:您會找到一組行(或列),其中特定數字的候選數被限制在有限數量的列(或行)內,然後在其他地方消除候選數。

每種魚形模式一次只關注一個數字。您會觀察單個數字在整個數位板上的分佈。所有四種基本魚形模式共享單一基礎算法。它們僅在規模上有所不同。

核心原則:行與列上的鴿巢邏輯

對於單個數字,如果你能找到 N 行,該數字的候選數字僅限於不超過 N 列,那麼這些列只能從所選行接收該數字。如果並集少於 N 列,則所選行中已經存在矛盾,因此有效的魚形結構實際上恰好使用 N 個覆蓋列。

這 N 行中的每一行都必須精確地放置該數字一次。該數字在每一行中必須出現在一個覆蓋列中。由於有 N 行和 N 個可用的覆蓋列,覆蓋列已被基行完全佔據。任何位於基行之外但位於覆蓋列內的該數字候選數字都可以被刪除。

同樣的邏輯也適用於反向情況:以列為基行,行為覆蓋列。掃描時應檢查兩個方向。

X翼: 2x2魚形模式

X翼 使用 N=2:兩行對應兩列。當某個數字恰好出現在兩行的相同兩列中時,就會形成一個 X翼。這四個格子構成一個矩形。該數字可從這兩列的其他格子中排除。

相同模式也適用於列。X翼 被分類為難度等級 4(中等)。

劍魚: 3x3魚形模式

劍魚 將魚邏輯延伸至 N=3:三行對應三列。並非每一行都需要在全部三列中都有候選數字。唯一的要求是所有候選列的總數恰好為三。

劍魚 被評為第 4 級(中等),與 X翼 相同。其背後的邏輯完全一致。

水母: 4x4 魚形模式

水母 使用 N=4:四行對應四列。單一列可能只在四列中的兩列、三列或四列中包含候選數字。

水母 被分類為第 7 級(極難)。由於四行精確對應四列的特定排列較為罕見,因此出現頻率較低。從 9 行中選擇 4 行共有 126 種方式,因此系統性的人工搜尋需要耐心。

史奎姆巴格: 5x5 魚形模式

史奎姆巴格 使用 N=5:五列對應五欄。評級為第 9 級(大師級),在實際中極其罕見。

一個 史奎姆巴格 在未使用的行和欄中具有對應的 水母。由於對應的 水母 更小,大多數解題者和許多解題引擎在兩種解釋都可用時會優先報告 水母。這使得 史奎姆巴格 更適合理論延伸,而非實用的手動解題目標。

這種對應性原理可進一步延伸:6 魚對應 劍魚,7 魚對應 X翼,8 魚對應 隱藏單數。N=5 是命名基本魚形的實際最大值。

如何在謎題中找到魚形模式

步驟 1:選擇一個仍有多個未解決位置的數字。

步驟 2:按行映射候選位置。針對您選擇的數字,列出每一行中包含該數字的欄位。僅有 2 或 3 個位置的行最為理想。

步驟 3:尋找欄位重疊。檢查是否存在 N 行的候選位置恰好橫跨 N 個欄位。

步驟 4:確認覆蓋欄位中存在可消除的候選。

步驟 5:對欄位基礎的魚形模式重複此過程。

專注於多個行恰好有兩個候選位置的數字。僅有兩個候選位置的行是魚形模式的構建基石。

魚形模式難度進展

X翼: N=2,難度等級 4,中等

劍魚: N=3,難度等級 4,中等

水母: N=4,難度等級 7,非常困難

史奎姆巴格: N=5,難度等級 9,大師

由 劍魚(難度等級 4)到 水母(難度等級 7)的跨越,反映出對人類解題者而言難度顯著提升。

與高級魚種的關係

基本的魚類是「無鰭」或「標準」魚類。進階變體包括:

鰭魚:在預期的欄位之外多出一個候選數(稱為「鰭」)。鰭魚變體存在於第7至9級。

薩希米魚:一種鰭魚,若移除鰭後會變成隱藏單數而非魚類。第7至9級。

法蘭肯魚:方塊可作為定義屋與行、列一同使用。第10至11級。

變種魚:任何屋可作為基底與覆蓋集合。最廣義的形式。

核心原則——N個屋將一個數字限制在N個交叉屋——在所有變體中保持不變。

摘要

基本的魚類家族——X翼、劍魚、水母,以及史奎姆巴格——建立在一個單一原則之上:N列將某個數字限制在N行內,便可在這些行中進行排除。這四種技巧從容易理解的X翼到極少見的史奎姆巴格,構成了鋸齒魚、Sashimi魚與弗蘭肯魚的基礎。

所有魚類模式都是同一技術在不同尺度上的應用。如果你理解了X翼為何有效,你就理解了史奎姆巴格為何有效。