Vingar

Det grundläggande principen bakom varje vingteknik

Alla vingtekniker delar en enda grundidé: om en kandidatcifra måste finnas i minst en av flera celler, och varje förekomst av detta tal är synlig från en viss målcell Cell, kan målcellen Cell inte innehålla detta tal. Pivoten är vanligtvis en tvåvärdescell Cell som fungerar som en gren i logiken. Vingarna är celler som tvingas ta ett visst tal under en gren av pivotens beslut. Elimineringscifret (Z) måste finnas i minst en ving oavsett vilken gren pivot väljer. Den begränsade gemensamma kandidaten (RCC) formaliserar kopplingen mellan pivot och vingar. RCC är det tal som delas mellan pivot och vinggruppen där alla förekomster är synliga för pivoten, vilket säkerställer växelvis uteslutning.

XY-vinge: Den klassiska tre-Cell-vingen

Den XY-vinge använder tre celler med två värden. Pivot {A, B}, Vinge 1 {A, C}, Vinge 2 {B, C}. Vingarna ser på pivoten men behöver inte se varandra. Om Pivot = A, måste Vinge 1 vara C. Om Pivot = B, måste Vinge 2 vara C. På något sätt finns C i minst en vinge. Ta bort C från celler som ser båda vingarna. Betyg: Nivå 6 (Hårt). Kraften ligger i att de två vingarna inte behöver dela ett hus, vilket möjliggör elimineringar över hela rutnätet.

W-vinge: Den starka länkans anslutning

Två identiska tvåvärdesceller {X, Y} anslutna genom ett konjugerat par på siffran X. De får inte dela en hus. Åtminstone en måste vara Y. Ta bort Y från celler som ser båda. Betyg: Nivå 6 (Hårt). Enklare att upptäcka än XY-vinge eftersom man letar efter upprepade tvåvärdesceller.

XYZ-Wing: Tre kandidater i pivot

Pivot {X, Y, Z}, Vinge 1 {X, Z}, Vinge 2 {Y, Z}. Alla tre celler innehåller Z. I varje Cell måste minst en av de tre cellerna vara Z. Ta bort Z från celler som ser alla tre celler. Detta är mer begränsat än XY-vinge eftersom målet också måste se pivoten. Betyg: Nivå 7 (Mycket svårt).

Familjen Utökad Vinge: från WXYZ-Wing till STUVWXYZ-Wing

Samma logik gäller när vingens sida utökas till ett nästan låst set (ALS). Pivoten förblir ett tvåvärde Cell; vingen är ett ALS. XY-vinge: 3 celler, Nivå 6 WXYZ-Wing: 4 celler, Nivå 8 VWXYZ-vinge: 5 celler, Nivå 10 UVWXYZ-vinge: 6 celler, Nivå 10 TUVWXYZ-Wing: 7 celler, Nivå 11 STUVWXYZ-Wing: 8 celler, Nivå 11 Namngivningen lägger till bokstäver i omvänd alfabetisk ordning. Varje bokstav representerar en ytterligare Cell i vingens ALS.

Hur man hittar vingmönster

Steg 1: Identifiera tvåvärdesceller som potentiella pivoter. Steg 2: Kontrollera XY-vinge-mönster (två tvåvärdesvingar som delar ett gemensamt kandidat med pivoten). Steg 3: Kontrollera W-vinge-mönster (identiska tvåvärdesceller kopplade genom ett konjugerat par). Steg 4: Kontrollera XYZ-Wing-mönster (trekandidat-pivot med två tvåvärdesvingar). Steg 5: Kontrollera utökade vingar (tvåvärdespivot med ALS-vings). Tips: Börja med tvåvärdesceller. Sök efter upprepade siffror. Dubbelkolla begränsningen av RCC noggrant.

Svårighetsgrads progression

XY-vinge: Nivå 6, Svår W-vinge: Nivå 6, Svår XYZ-Wing: Nivå 7, Mycket svår WXYZ-Wing: Nivå 8, Expert VWXYZ-vinge: Nivå 10, Mästare UVWXYZ-vinge: Nivå 10, Mästare TUVWXYZ-Wing: Nivå 11, Extrem STUVWXYZ-Wing: Nivå 11, Extrem

Vingar och Nästan slutna mängder: Den algebraiska kopplingen

Familjen utvidgad vinge är matematiskt ekvivalent med ALS-XZ, där en ALS är en enkel tvåvärdes Cell. En motor som implementerar ALS-XZ hittar automatiskt alla mönster av utvidgad vinge. XY-vinge är den degenererade Cell, där båda ALS:arna är tvåvärdesceller. XYZ-Wing har en pivot med tre kandidater och är bättre att förstå som sitt eget mönster.

Sammanfattning

Vingfamiljen erbjuder elimineringstekniker som sträcker sig från XY-vinge till STUVWXYZ-Wing. Varje medlem bygger på samma kärnlogik: en pivot skapar en tvåvägad gren, och oavsett vilken gren som väljs, måste ett specifikt kandidatnummer finnas i minst en vinge Cell. Celler som ser alla möjliga platser för detta siffra kan eliminera den. Börja med XY-vinge, inpränta dess logik, och de större vingarna följer naturligt.