ALS-XZ es una técnica avanzada que conecta dos Almost Locked Sets mediante un candidato común restringido X y utiliza otro candidato compartido Z para producir eliminaciones.
La técnica parece abstracta al principio, pero su prueba es una simple división en casos: sea cual sea el ALS que “use” X, Z queda bloqueado en el otro lado de una forma que garantiza que Z aparece en alguno de los dos conjuntos.
Prerrequisito: dos ALS válidos
Antes de buscar X o Z, comprueba cada conjunto por separado:
- N celdas;
- todas en una misma house;
- exactamente N+1 candidatos en la unión.
Si uno de los conjuntos no cumple la definición ALS, toda la técnica falla.
X: el Restricted Common Candidate
Los dos ALS comparten un candidato X.
X debe estar restringido entre ambos conjuntos: no puede ser verdadero simultáneamente en ALS A y ALS B.
En la forma más sencilla, cualquier aparición de X en A ve cualquier aparición de X en B mediante una house común.
X conecta los conjuntos lógicamente.
Z: el candidato compartido de eliminación
Los ALS comparten también otro candidato Z.
Z no desempeña el mismo papel que X. Queremos demostrar que Z debe ser verdadero en al menos uno de los dos ALS.
Por tanto, una celda externa que vea todas las apariciones relevantes de Z en A y B puede eliminar Z.
Ejemplo de ALS-XZ
La prueba en dos casos
X es verdadero en ALS A
Si A usa X, el RCC impide que B use X.
Sin X, B pierde uno de sus N+1 candidatos y se convierte en un Locked Set de N candidatos. En ese estado, Z queda reservado dentro de B.
Por tanto, Z debe aparecer en B.
X no se usa en ALS A / es verdadero en B
En la rama complementaria, el mismo razonamiento se invierte: A queda sin X y se convierte en Locked Set, de modo que Z debe aparecer en A.
En ambos casos, Z aparece en A o B.
Una celda externa que vea todas esas posibilidades no puede contener Z.
ALS-XZ singly linked
En la forma singly linked, X es el único RCC entre los dos ALS.
Las eliminaciones principales afectan al candidato Z compartido, desde celdas que ven todas sus apariciones relevantes en ambos conjuntos.
Esta es la forma más importante para aprender primero.
ALS-XZ doubly linked
En una forma doubly linked, los dos ALS tienen dos candidatos comunes restringidos entre sí.
La relación adicional puede producir eliminaciones más fuertes, incluso sobre otros candidatos dentro de las houses relacionadas.
Las reglas son más potentes, pero no deben aplicarse a una estructura singly linked por analogía.
ALS-XZ vs WXYZ-Wing
Muchos WXYZ-Wing pueden interpretarse como ALS-XZ.
WXYZ-Wing ofrece una forma reconocible de cuatro celdas/cuatro dígitos; ALS-XZ expresa la estructura general mediante dos ALS y un RCC.
Cuando una configuración deja de parecer un Wing clásico, ALS-XZ sigue funcionando como lenguaje.
ALS-XZ vs XY-Wing
XY-Wing también puede descomponerse en ALS pequeños, especialmente celdas bivalue.
La diferencia práctica es que XY-Wing tiene una geometría de tres celdas extremadamente reconocible. ALS-XZ abarca casos mucho más amplios y por eso requiere más trabajo de identificación.
Cómo buscar ALS-XZ de forma eficiente
- localiza ALS pequeños;
- busca pares que compartan un candidato X;
- comprueba si X es realmente RCC;
- busca un segundo candidato compartido Z;
- identifica celdas externas que vean todas las apariciones relevantes de Z;
- valida la eliminación con los dos casos de X.
No busques combinaciones gigantes desde cero.
Errores comunes
X es común pero no está restringido
Que ambos ALS contengan X no basta. Si X puede ser verdadero en ambos simultáneamente, no existe el RCC requerido.
Z solo es visible en parte de un ALS
El target debe ver todas las apariciones de Z que podrían satisfacer la rama correspondiente.
Uno de los “ALS” es en realidad N celdas / N+2 candidatos
La definición exacta importa. Recuenta la unión antes de inferir.
El target pertenece al ALS sin una prueba cannibalistic válida
Las eliminaciones internas requieren reglas específicas. No apliques automáticamente la regla de target externo a una celda del propio conjunto.
Confundir reglas doubly linked con singly linked
Una segunda relación restringida cambia la fuerza de la técnica. No mezcles sus conclusiones.
FAQ
¿Qué significan X y Z en ALS-XZ?
X es el Restricted Common Candidate que conecta los dos ALS. Z es el candidato compartido cuya presencia en al menos uno de los conjuntos se usa para eliminarlo fuera.
¿Cuántos ALS usa ALS-XZ?
Dos.
¿Puede una celda bivalue ser uno de los ALS?
Sí. Toda celda bivalue es un ALS de tamaño 1.
¿Qué es doubly linked ALS-XZ?
Una variante en la que los dos ALS están conectados por dos candidatos comunes restringidos, permitiendo deducciones adicionales.
Qué aprender después
Después de dominar ALS-XZ, puedes estudiar ALS Chains, ALS-XY-Wing y Death Blossom en futuras expansiones expertas.