Ali
Ali
Il principio fondamentale alla base di ogni tecnica ad ala
Tutte le tecniche delle ali condividono un'unica idea di fondo: se un candidato deve comparire in almeno una di diverse celle, e ogni istanza di quel numero è visibile da un particolare cella bersaglio, allora il cella bersaglio non può contenere quel numero.
Il perno è in genere una cella a due valori che funge da bivio nella logica. Le ali sono celle costrette ad assumere un particolare numero sotto un ramo della decisione del perno. Il numero da eliminare (Z) deve trovarsi in almeno un'ala, indipendentemente dal ramo scelto dal perno.
Il Candidato Comune Ristretto (RCC) formalizza il legame tra perno e ali. L'RCC è il numero condiviso tra il perno e il gruppo di ali in cui tutte le istanze sono visibili al perno, garantendo l'esclusione reciproca.
Alio XY: L'Ala Classica a Tre Cella
La Alio XY usa tre celle a due valori. Perno {A, B}, Ala 1 {A, C}, Ala 2 {B, C}. Le ali vedono il perno ma non devono necessariamente vedersi tra loro.
Se Perno = A, l'Ala 1 deve essere C. Se Perno = B, l'Ala 2 deve essere C. In ogni caso, C compare in almeno un'ala. Elimina C dalle celle che vedono entrambe le ali.
Livello 6 (Difficile). La forza deriva dal fatto che le due ali non devono condividere una casa, il che consente eliminazioni incrociate nella griglia.
W-ala: La Connessione a Legame Forte
Due celle a due valori identiche {X, Y} collegate tramite una coppia coniugata sul numero X. Non devono condividere una casa. Almeno una deve essere Y. Elimina Y dalle celle che vedono entrambe.
Livello 6 (Difficile). Più facile da individuare rispetto a Alio XY perché si cercano celle a due valori ripetute.
XYZ-Wing: Tre Candidati nel Perno
Perno {X, Y, Z}, Ala 1 {X, Z}, Ala 2 {Y, Z}. Tutte e tre le celle contengono Z.
In ogni cella, almeno una delle tre celle deve essere Z. Elimina Z dalle celle che vedono tutte e tre le celle. Questo è più vincolato rispetto a Alio XY perché il bersaglio deve vedere anche il perno.
Livello 7 (Molto Difficile).
La Famiglia Estesa delle Ali: da WXYZ-Wing a STUVWXYZ-Wing
La stessa logica funziona quando il lato dell'ala viene ampliato in un Almost Locked Set (ALS). Il perno resta una cella a due valori; l'ala è un ALS.
Alio XY: 3 celle, Livello 6
WXYZ-Wing: 4 celle, Livello 8
Ala VWXYZ: 5 celle, Livello 10
Ala UVWXYZ: 6 celle, Livello 10
TUVWXYZ-Wing: 7 celle, Livello 11
STUVWXYZ-Wing: 8 celle, Livello 11
La denominazione aggiunge lettere in ordine alfabetico inverso. Ogni lettera rappresenta un cella aggiuntivo nell'ala ALS.
Come Trovare i Pattern delle Ali
Passo 1: Individua le celle a due valori come potenziali perni.
Passo 2: Cerca i pattern Alio XY (due ali a due valori che condividono un candidato ciascuna con il perno).
Passo 3: Cerca i pattern W-ala (celle a due valori identiche collegate tramite una coppia coniugata).
Passo 4: Cerca i pattern XYZ-Wing (perno a tre candidati con due ali a due valori).
Passo 5: Cerca le ali estese (perno a due valori con ali ALS).
Consigli: Inizia dalle celle a due valori. Cerca numeri ripetuti. Verifica con attenzione la restrizione RCC.
Progressione della Difficoltà
Alio XY: Livello 6, Difficile
W-ala: Livello 6, Difficile
XYZ-Wing: Livello 7, Molto difficile
WXYZ-Wing: Livello 8, Esperto
Ala VWXYZ: Livello 10, Maestro
Ala UVWXYZ: Livello 10, Maestro
TUVWXYZ-Wing: Livello 11, Estremo
STUVWXYZ-Wing: Livello 11, Estremo
Ali e Insinsi quasi chiusi: la connessione algebrica
La famiglia estesa delle ali è matematicamente equivalente a ALS-XZ dove un ALS è una singola cella a due candidati. Un motore che implementa ALS-XZ trova automaticamente tutti i pattern delle ali estese.
Il Alio XY è il cella degenere dove entrambi gli ALS sono celle a due candidati. Il XYZ-Wing ha un pivot a tre candidati ed è meglio inteso come un pattern a sé stante.
Riepilogo
La famiglia delle ali fornisce strumenti di eliminazione che vanno da Alio XY a STUVWXYZ-Wing. Ogni membro si basa sulla stessa logica di fondo: un pivot crea una biforcazione a due vie e, indipendentemente dal ramo intrapreso, un candidato specifico deve finire in almeno un'ala cella. Le celle che vedono tutte le possibili posizioni di quella cifra possono eliminarla.
Inizia con Alio XY, interiorizza la sua logica e le ali più grandi seguiranno naturalmente.