Un W-Wing conecta dos celdas bivalue idénticas mediante un Enlace fuerte sobre uno de sus candidatos.
Supón que las celdas Wing son:
- ala A
{X,Y}; - ala B
{X,Y}.
Un Enlace fuerte sobre Y conecta las dos regiones de las alas de forma que:
- un extremo del Enlace fuerte de Y ve al ala A;
- el otro extremo ve al ala B.
Eso garantiza que:
Al menos una de las celdas Wing es X.
Por tanto, el candidato X puede eliminarse de cualquier celda que vea a ambas celdas Wing.
Patrón rápido
Ala A {X,Y}
\
Enlace fuerte de Y
/
Ala B {X,Y}El Enlace fuerte utiliza Y.
La eliminación se realiza sobre X, el otro candidato de las alas.
Por qué funciona W-Wing
Llama A y B a los extremos del Enlace fuerte de Y.
Exactamente uno de esos extremos debe contener Y.
Si el extremo A = Y
El ala A ve ese Y y no puede ser también Y.
Por tanto, ala A = X.
Si el extremo B = Y
El ala B no puede ser Y.
Por tanto, ala B = X.
No importa cuál de los dos extremos del Enlace fuerte sea verdadero: una de las dos alas será X.
Cualquier candidato X que vea ambas alas es imposible.
Ejemplo paso a paso en el tablero
Por qué dos celdas bivalue iguales no son suficientes
Si dos celdas {5,9} están alejadas, nada conecta automáticamente sus valores.
No forman una Pareja global.
W-Wing necesita el Enlace fuerte externo para transportar la inferencia entre ambas.
W-Wing frente a Pareja desnuda
Pareja desnuda
Las dos celdas {X,Y} comparten una unidad.
La propia unidad crea la reserva.
W-Wing
Las dos celdas {X,Y} pueden estar alejadas.
Un Enlace fuerte externo sobre uno de los candidatos conecta la lógica.
W-Wing frente a XY-Wing
XY-Wing
Tres celdas bivalue:
{X,Y};{X,Z};{Y,Z}.
Un pivote conecta las pinzas.
W-Wing
Dos celdas bivalue iguales {X,Y} más un Enlace fuerte externo sobre X o Y.
No existe un pivote XY.
W-Wing como cadena
Si las alas son {5,9} y el Enlace fuerte es sobre 9, la inferencia puede escribirse conceptualmente así:
ala A no es 5
→ ala A = 9
→ extremo conectado de 9 falso
→ otro extremo de 9 verdadero
→ ala B no es 9
→ ala B = 5Así que, si una de las alas no es 5, la otra termina siendo 5.
Ese comportamiento en los extremos demuestra que al menos una de las alas es 5.
Cómo buscar W-Wings
1. Busca firmas bivalue repetidas
2. Elige uno de los candidatos como posible dígito de enlace
3. Busca Enlaces fuertes de ese dígito
4. Comprueba la conectividad
Un extremo del Enlace fuerte debe ver una de las alas y el otro extremo, la otra.
5. Busca celdas relacionadas con las dos alas
El otro candidato es el dígito que puede eliminarse.
¿Y si las dos alas se ven entre sí?
Si las dos celdas bivalue idénticas comparten una unidad, comprueba primero la explicación más sencilla mediante Pareja desnuda.
La etiqueta W-Wing resulta útil cuando la conexión remota mediante Enlace fuerte es la que realiza el trabajo lógico real.
Errores frecuentes
Utilizar un Enlace débil en lugar de un Enlace fuerte
La demostración depende de que, si un extremo del enlace es falso, el otro quede obligado a ser verdadero.
Eliminar el dígito del enlace
La eliminación estándar afecta al otro candidato de las alas.
Conectar ambos extremos del Enlace fuerte con una sola ala
El enlace debe servir de puente entre las dos regiones.
Eliminar de una celda que solo ve una de las alas
No es válido.
Considerar suficientes dos celdas bivalue coincidentes
Sin enlace, no hay W-Wing.
Ejercicio de reconocimiento
Cuando detectes dos conjuntos bivalue idénticos, no pienses automáticamente en una Pareja.
Pregunta:
¿Estas celdas comparten una unidad?
Si no:
¿Puede uno de sus dígitos conectarse mediante un par conjugado?
Preguntas frecuentes
¿Las celdas W-Wing deben tener candidatos idénticos?
En el patrón estándar, sí.
¿Necesitan verse entre sí?
No.
¿Qué dígito se elimina?
El candidato de las alas que no se utiliza como dígito del Enlace fuerte.
¿W-Wing es una cadena?
Sí. El patrón con nombre es una estructura compacta de cadena.
Qué aprender después
Continúa con Cadenas de sudoku y después vuelve a W-Wing como una plantilla corta y reutilizable de cadena, en lugar de verla como una forma aislada.