Todas las técnicas de alas comparten una única idea fundamental: si un dígito candidato debe aparecer en al menos una de varias celdas, y cada instancia de ese dígito es visible desde un objetivo celda concreto, entonces el objetivo celda no puede contener ese dígito.

El pivote suele ser una celda de bivalor que actúa como bifurcación en la lógica. Las alas son celdas forzadas a tomar un dígito concreto bajo una rama de la decisión del pivote. El dígito de eliminación (Z) debe recaer en al menos un ala, sin importar qué rama tome el pivote.

El Restricted Common Candidate (RCC) formaliza la conexión entre el pivote y las alas. El RCC es el dígito compartido entre el pivote y el grupo de alas donde todas las instancias son visibles para el pivote, garantizando la exclusión mutua.

El Pico XY usa tres celdas de bivalor. Pivote {A, B}, Ala 1 {A, C}, Ala 2 {B, C}. Las alas ven al pivote pero no necesitan verse entre sí.

Si Pivote = A, el Ala 1 debe ser C. Si Pivote = B, el Ala 2 debe ser C. En cualquier caso, C aparece en al menos un ala. Elimina C de las celdas que ven ambas alas.

Nivel 6 (Difícil). La potencia proviene de que las dos alas no necesitan compartir una casa, lo que permite eliminaciones entre cuadrículas.

Dos celdas de bivalor idénticas {X, Y} conectadas mediante un par conjugado en el dígito X. No deben compartir una casa. Al menos una debe ser Y. Elimina Y de las celdas que ven ambas.

Nivel 6 (Difícil). Más fácil de detectar que Pico XY porque buscas celdas de bivalor repetidas.

Pivote {X, Y, Z}, Ala 1 {X, Z}, Ala 2 {Y, Z}. Las tres celdas contienen Z.

En cada celda, al menos una de las tres celdas debe ser Z. Elimina Z de las celdas que ven las tres celdas. Esto es más restrictivo que Pico XY porque el objetivo también debe ver el pivote.

Nivel 7 (Muy difícil).

La misma lógica funciona cuando el lado del ala se expande a un Almost Locked Set (ALS). El pivote sigue siendo una celda de bivalor; el ala es un ALS.

Pico XY: 3 celdas, Nivel 6

WXYZ-Wing: 4 celdas, Nivel 8

Ala VWXYZ: 5 celdas, Nivel 10

Ala UVWXYZ: 6 celdas, Nivel 10

TUVWXYZ-Wing: 7 celdas, Nivel 11

STUVWXYZ-Wing: 8 celdas, Nivel 11

La nomenclatura añade letras en orden alfabético inverso. Cada letra representa una celda adicional en el ALS del ala.

Paso 1: Identifica celdas de bivalor como posibles pivotes.

Paso 2: Comprueba patrones Pico XY (dos alas de bivalor que comparten un candidato cada una con el pivote).

Paso 3: Comprueba patrones W-ala (celdas de bivalor idénticas conectadas mediante un par conjugado).

Paso 4: Comprueba patrones XYZ-Wing (pivote de tres candidatos con dos alas de bivalor).

Paso 5: Comprueba alas extendidas (pivote de bivalor con alas ALS).

Consejos: Empieza con las celdas de bivalor. Busca dígitos repetidos. Verifica con cuidado la restricción RCC.

Pico XY: Nivel 6, Difícil

W-ala: Nivel 6, Difícil

XYZ-Wing: Nivel 7, Muy difícil

WXYZ-Wing: Nivel 8, Experto

Ala VWXYZ: Nivel 10, Maestro

Ala UVWXYZ: Nivel 10, Maestro

TUVWXYZ-Wing: Nivel 11, Extremo

STUVWXYZ-Wing: Nivel 11, Extremo

La familia extendida de alas es matemáticamente equivalente a ALS-XZ, donde un ALS es una única celda bivalente. Un motor que implementa ALS-XZ encuentra automáticamente todos los patrones de alas extendidas.

El Pico XY es el celda degenerado donde ambos ALS son celdas bivalentes. El XYZ-Wing tiene un pivote de tres candidatos y se entiende mejor como su propio patrón.

La familia de alas proporciona herramientas de eliminación que escalan desde Pico XY hasta STUVWXYZ-Wing. Cada miembro se basa en la misma lógica central: un pivote crea una bifurcación de dos vías y, sin importar qué rama tome, un candidato específico debe terminar en al menos un ala celda. Las celdas que ven todas las ubicaciones posibles de ese dígito pueden eliminarlo.

Empieza con Pico XY, interioriza su lógica y las alas mayores seguirán de forma natural.