翅膀
每種翼技背後的核心原則
所有翼技巧都共享一個基本理念:如果某個候選數字必須出現在幾個單元格中的至少一個,且該數字的所有實例都可從某個特定目標 單元格 看到,那麼該目標 單元格 就不能包含該數字。 樞紐通常是一個雙值 單元格,作為邏輯分支的轉折點。翼是根據樞紐決策的一個分支中被強制取某個數字的單元格。消除數字(Z)必須在至少一個翼中出現,無論樞紐選擇哪個分支。 限制共同候選數(RCC)規範了樞紐與翼之間的聯繫。RCC 是樞紐與翼群組之間共有的數字,且所有實例都可被樞紐看到,確保彼此互斥。
XY翼: 經典三單元格翼
XY翼 使用三個雙值單元。樞紐 {A, B},翼1 {A, C},翼2 {B, C}。兩翼可見樞紐,但不必互相可見。 若樞紐 = A,翼1 必為 C。若樞紐 = B,翼2 必為 C。無論如何,C 至少會出現在其中一翼。從同時看到兩翼的單元中消除 C。 評級為 6 級(困難)。其強大之處在於兩翼無需共用一個屋,進而可實現跨格消除。
W翼: 強連結連接
兩個相同的雙值細胞 {X, Y} 透過數字 X 的共扼對連接。它們不能共享一個屋。至少有一個必須是 Y。從同時看到兩者的細胞中消除 Y。 評級為第 6 級(困難)。比 XY翼 更容易發現,因為你只需掃描重複的雙值細胞。
XYZ-Wing:三候選數在樞紐
樞軸 {X, Y, Z},翼1 {X, Z},翼2 {Y, Z}。三個單元格都包含 Z。 在每個 單元格 中,三個單元格中至少有一個是 Z。從看到三個單元格的所有單元格中刪除 Z。這比 XY翼 更受限制,因為目標也必須看到樞軸。 評級為第 7 級(極難)。
擴展翼族:從WXYZ-Wing到STUVWXYZ-Wing
同樣的邏輯適用於翼邊被擴展為幾乎鎖定集合(ALS)的情況。樞紐仍為雙值 單元格;翼為 ALS。 XY翼:3 個單元格,等級 6 WXYZ-Wing:4 個單元格,等級 8 VWXYZ翼:5 個單元格,等級 10 UVWXYZ翼:6 個單元格,等級 10 TUVWXYZ-Wing:7 個單元格,等級 11 STUVWXYZ-Wing:8 個單元格,等級 11 命名方式按反向字母順序添加字母。每個字母代表翼 ALS 中多一個 單元格。
如何找到翼形圖案
步驟 1:識別雙值格子作為潛在樞紐。 步驟 2:檢查 XY翼 模式(兩個雙值翼格共享一個候選數與樞紐)。 步驟 3:檢查 W翼 模式(相同雙值格子透過共扼對連接)。 步驟 4:檢查 XYZ-Wing 模式(三候選數樞紐搭配兩個雙值翼格)。 步驟 5:檢查延伸翼(雙值樞紐搭配 ALS 翼)。 提示:從雙值格子開始。尋找重複數字。仔細驗證 RCC 限制。
難度進展
XY翼: 第6級,困難 W翼: 第6級,困難 XYZ-Wing: 第7級,非常困難 WXYZ-Wing: 第8級,專家 VWXYZ翼: 第10級,大師 UVWXYZ翼: 第10級,大師 TUVWXYZ-Wing: 第11級,極限 STUVWXYZ-Wing: 第11級,極限
翅膀與幾乎鎖定的集合:代數聯繫
延伸翼家族在數學上等價於ALS-XZ,其中一個ALS是單一雙值單元格。實作ALS-XZ的引擎會自動找出所有延伸翼模式。 XY翼是退化版的單元格,其中兩個ALS都是雙值單元。XYZ-Wing具有三候選數的樞紐,更適合視為獨立的模式。
摘要
翼家族提供從 XY翼 到 STUVWXYZ-Wing 的消除工具。每個成員都依賴相同的基礎邏輯:一個樞紐產生兩向分支,無論哪條分支被採用,某個候選數字必定會出現在至少一個翼位 單元格。能觀察到該數字所有可能位置的格子,可以排除該數字。 從 XY翼 開始,內化其邏輯,更大的翼結構便能自然理解。