Vingar

Vingar

Avancerad

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.