Ali
Il principio cardine dietro ogni tecnica alare
Tutte le tecniche ala condividono un'idea fondamentale: se una cifra candidata deve apparire in almeno una delle diverse celle, e ogni istanza di tale cifra è visibile da un determinato obiettivo Cella, allora l'obiettivo Cella non può contenere tale cifra. Il punto di riferimento è tipicamente un Cella bivalore che agisce come biforcazione nella logica. Le ali sono celle costrette a assumere una cifra particolare in una delle due opzioni del punto di riferimento. Il numero da eliminare (Z) deve trovarsi in almeno una delle ali indipendentemente da quale scelta faccia il punto di riferimento. Il Candidato Comune Restritto (RCC) formalizza il collegamento tra punto di riferimento e ali. Il RCC è la cifra condivisa tra il punto di riferimento e il gruppo delle ali, dove tutte le istanze sono visibili al punto di riferimento, garantendo l'esclusione reciproca.
Alio XY: L'ala classica a tre Cella
Il Alio XY utilizza tre celle con due valori. Pivot {A, B}, Ala 1 {A, C}, Ala 2 {B, C}. Le ali vedono il pivot ma non devono vedersi a vicenda. Se il pivot = A, l'ala 1 deve essere C. Se il pivot = B, l'ala 2 deve essere C. In ogni caso, C appare in almeno un'ala. Eliminare C dalle celle che vedono entrambe le ali. Valutato Livello 6 (Difficile). Il potere deriva dal fatto che le due ali non devono condividere una casa, consentendo eliminazioni tra griglie diverse.
W-ala: Il collegamento del collegamento forte
Due celle bivalore 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. Valutato Livello 6 (Difficile). Più facile da individuare rispetto a Alio XY perché si cerca la ripetizione di celle bivalore.
XYZ-Wing: Tre candidati nel punto di pivot
Pivot {X, Y, Z}, Ala 1 {X, Z}, Ala 2 {Y, Z}. I tre campi contengono Z. In ogni Cella, almeno uno dei tre campi deve essere Z. Eliminare Z dai campi che vedono tutti e tre i campi. Questo è più vincolante rispetto a Alio XY perché il bersaglio deve anche vedere il pivot. Valutato Livello 7 (Molto Difficile).
La famiglia ala estesa: da WXYZ-Wing a STUVWXYZ-Wing
La stessa logica vale quando il lato ala viene espanso in un insieme quasi bloccato (ALS). Il pivot rimane un bivalore Cella; 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 nomenclatura aggiunge lettere in ordine alfabetico inverso. Ogni lettera rappresenta un ulteriore Cella nell'ALS ala.
Come trovare i modelli alari
Passo 1: Identifica le celle bivalore come potenziali punti di convergenza. Passo 2: Verifica i pattern Alio XY (due ali bivalore condividono un candidato ciascuna con il punto di convergenza). Passo 3: Verifica i pattern W-ala (celle bivalore identiche collegate tramite una coppia coniugata). Passo 4: Verifica i pattern XYZ-Wing (punto di convergenza con tre candidati e due ali bivalore). Passo 5: Verifica le ali estese (punto di convergenza bivalore con ali ALS). Consigli: Inizia con le celle bivalore. Cerca cifre ripetute. Verifica attentamente il vincolo 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: Il collegamento algebrico
La famiglia ala estesa è matematicamente equivalente a ALS-XZ dove un ALS è una singola cella bivalore Cella. Un motore che implementa ALS-XZ trova automaticamente tutti i pattern ala estesa. L'Alio XY è il caso degenere dell'Cella dove entrambi gli ALS sono celle bivalore. L'XYZ-Wing ha un pivot con tre candidati e è meglio compreso come un proprio pattern.
Riassunto
La famiglia ala fornisce strumenti di eliminazione che vanno da Alio XY a STUVWXYZ-Wing. Ogni membro si basa sulla stessa logica fondamentale: un pivot crea un biforcamento a due vie, e indipendentemente da quale ramo venga scelto, un determinato candidato deve finire in almeno un'ala Cella. Le celle che vedono tutte le posizioni possibili di quella cifra possono eliminarla. Inizia da Alio XY, internalizza la sua logica, e le ali più grandi seguiranno in modo naturale.