Vingar
Vingar
Tillhörande tekniker
Kärnprincipen bakom varje vingteknik
Alla vingtekniker delar en enda grundläggande idé: om en kandidatsiffra måste förekomma i minst en av flera celler, och varje förekomst av den siffran är synlig från ett visst mål cell, då kan målet cell inte innehålla den siffran.
Pivoten är vanligtvis en bivalue-cell som fungerar som en förgrening i logiken. Vingarna är celler som tvingas anta en viss siffra under en gren av pivotens beslut. Elimineringssiffran (Z) måste hamna i minst en vinge oavsett vilken gren pivoten tar.
Den begränsade gemensamma kandidaten (RCC) formaliserar kopplingen mellan pivot och vingar. RCC är den siffra som delas mellan pivoten och vinggruppen där alla förekomster är synliga för pivoten, vilket säkerställer ömsesidig uteslutning.
XY-vinge: Den klassiska tre-Cell-vingen
XY-vinge använder tre bivalue-celler. Pivot {A, B}, Vinge 1 {A, C}, Vinge 2 {B, C}. Vingarna ser 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. Hur som helst förekommer C i minst en vinge. Eliminera C från celler som ser båda vingarna.
Betyg nivå 6 (svår). Kraften kommer från att de två vingarna inte behöver dela ett hus, vilket möjliggör elimineringar över hela rutnätet.
W-vinge: Den starka länkens koppling
Två identiska bivalue-celler {X, Y} kopplade genom ett konjugat par på siffran X. De får inte dela ett hus. Minst en av dem måste vara Y. Eliminera Y från celler som ser båda.
Betyg nivå 6 (svår). Lättare att upptäcka än XY-vinge eftersom du letar efter upprepade bivalue-celler.
XYZ-Wing: Tre kandidater i pivoten
Pivot {X, Y, Z}, Vinge 1 {X, Z}, Vinge 2 {Y, Z}. Alla tre cellerna innehåller Z.
I varje cell måste minst en av de tre cellerna vara Z. Eliminera Z från celler som ser alla tre cellerna. Detta är mer begränsat än XY-vinge eftersom målet också måste se pivoten.
Betyg nivå 7 (mycket svår).
Den utökade vingfamiljen: WXYZ-Wing till STUVWXYZ-Wing
Samma logik fungerar när vingsidan utökas till en nästan låst mängd (ALS). Pivoten förblir en bivalue-cell; vingen är en 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 ving-ALS:en.
Hur man hittar vingmönster
Steg 1: Identifiera bivalue-celler som potentiella pivoter.
Steg 2: Leta efter XY-vinge-mönster (två bivalue-vingar som delar en kandidat var med pivoten).
Steg 3: Leta efter W-vinge-mönster (identiska bivalue-celler kopplade genom ett konjugat par).
Steg 4: Leta efter XYZ-Wing-mönster (pivot med tre kandidater och två bivalue-vingar).
Steg 5: Leta efter utökade vingar (bivalue-pivot med ALS-vingar).
Tips: Börja med bivalue-celler. Leta efter upprepade siffror. Verifiera RCC-begränsningen noggrant.
Svårighetsprogression
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
Den utökade vingfamiljen är matematiskt ekvivalent med ALS-XZ där en ALS är en enda bivärde-cell. En motor som implementerar ALS-XZ hittar automatiskt alla utökade vingmönster.
XY-vinge är den degenererade cell där båda ALS är bivärde-celler. XYZ-Wing har en pivot med tre kandidater och förstås bättre som ett eget mönster.
Sammanfattning
Vingfamiljen erbjuder elimineringsverktyg som skalar från XY-vinge till STUVWXYZ-Wing. Varje medlem bygger på samma kärnlogik: en pivot skapar en tvåvägsgaffel, och oavsett vilken gren den tar måste en specifik kandidat hamna i minst en vinge cell. Celler som ser alla möjliga placeringar av den siffran kan eliminera den.
Börja med XY-vinge, internalisera logiken, och de större vingarna följer naturligt.
Tillhörande tekniker