翼
翼
每種翼技巧背後的核心原理
所有翼技巧都基於同一個基本思路:如果某個候選數字必須出現在若干單元格中的至少一個裡,而該數字的每一個實例都能從某個特定的目標單元格看到,那麼該目標單元格就不能包含這個數字。樞紐通常是一個雙值單元格,在邏輯中充當分叉點。翼是在樞紐決策的某一分支下被迫取某個特定數字的單元格。無論樞紐走哪一分支,被消除的數字(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個單元格,等級6WXYZ-Wing:4個單元格,等級8VWXYZ翼:5個單元格,等級10UVWXYZ翼:6個單元格,等級10TUVWXYZ-Wing:7個單元格,等級11STUVWXYZ-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翼開始,吃透它的邏輯,更大的翼自然就能掌握。