Una Cadena de sudoku es una secuencia de implicaciones forzadas entre estados de candidatos.
Para el recorrido actual, el lenguaje más útil es:
- Enlace fuerte: falso → verdadero;
- Enlace débil: verdadero → falso.
Al alternar esos papeles de inferencia, un estado puede viajar por la cuadrícula:
falso → verdadero → falso → verdadero → ...Una cadena útil termina con una conclusión:
- un extremo debe ser verdadero;
- un candidato debe ser falso;
- una suposición produce una contradicción;
- o dos posibles inicios conducen al mismo resultado.
El objetivo no es construir la cadena más larga posible.
Es construir la cadena más corta que demuestre algo útil.
Una cadena de cuatro nodos
Supón:
A = B - C = Ddonde:
=representa un Enlace fuerte;-representa un Enlace débil.
Empieza con A falso.
A falso
Enlace fuerte:
→ B verdadero.
B verdadero
Enlace débil:
→ C falso.
C falso
Enlace fuerte:
→ D verdadero.
Por tanto:
A falso → D verdadero.
Si la estructura de la cadena también es válida en sentido inverso:
D falso → A verdadero.
Entonces al menos uno de los extremos A/D debe ser verdadero.
Cualquier candidato que entre en conflicto con ambos extremos puede eliminarse.
- Strong Link
- Weak Link
Por qué las Cadenas no son adivinación arbitraria
Una cadena puede comenzar con una suposición temporal:
Supón que A es falso.
Pero cada estado posterior queda forzado por un enlace válido.
La suposición no se acepta como respuesta.
Se utiliza para demostrar una consecuencia.
Esta es la diferencia entre prueba y error sin fundamento e implicación lógica.
Los patrones con nombre son Cadenas comprimidas
Varias técnicas avanzadas ya encajan en la lógica de cadenas.
Skyscraper
Una cadena corta de un solo dígito.
Two-String Kite
Una cadena corta de un solo dígito con un Enlace débil mediante un bloque.
W-Wing
Dos celdas bivalue iguales conectadas mediante un Enlace fuerte.
XY-Wing
Una cadena corta de celdas bivalue.
Los patrones con nombre son útiles porque las personas pueden reconocerlos más rápido que una cadena arbitraria.
El lenguaje de cadenas es útil porque explica por qué funcionan y permite ir más allá de una geometría fija.
Enlaces dentro y entre celdas
Dentro de una celda bivalue
{3,8}
3 y 8 están fuertemente enlazados:
- no 3 → 8;
- no 8 → 3.
Entre celdas relacionadas
Dos candidatos 8 que comparten una unidad están débilmente enlazados:
- primer 8 verdadero → segundo 8 falso.
Esta alternancia es la base de las XY-Chains.
Cadenas de un solo dígito
Una X-Chain utiliza únicamente un candidato.
Los Enlaces fuertes suelen venir de pares conjugados.
Los Enlaces débiles aparecen entre posiciones candidatas que se ven entre sí.
Una X-Chain estándar de extremos:
- empieza Fuerte;
- termina Fuerte;
- demuestra que uno de los extremos debe ser X;
- elimina X de las celdas que ven ambos extremos.
Cadenas de celdas bivalue
Una XY-Chain utiliza celdas bivalue.
Dentro de cada celda:
- los candidatos están fuertemente enlazados.
Entre celdas consecutivas:
- el candidato compartido forma la conexión débil.
La cadena empieza y termina con el mismo valor candidato, lo que permite eliminarlo de celdas relacionadas comunes.
XY-Wing es su forma introductoria de tres celdas.
Notación de cadenas
Para aprender, el significado debe ir antes que la notación.
Una notación visual sencilla puede utilizar:
- línea continua = Fuerte;
- línea discontinua = Débil.
La notación textual puede usar:
A = B - C = DLa notación formal de AIC resulta más fácil cuando primero se entiende la propagación verdadero/falso.
¿Cuándo es útil una cadena?
Una secuencia válida de enlaces no es automáticamente un movimiento de resolución.
Necesita una conclusión.
Patrón útil de extremos:
uno de los extremos debe ser verdadero.
Patrón útil de contradicción:
esta suposición obliga a un estado imposible.
Patrón útil de convergencia:
los dos posibles inicios obligan al mismo resultado.
Si la cadena termina sin demostrar nada, puede ser lógicamente interesante pero no es productiva.
Cadena frente a Red
En una cadena sencilla, cada inferencia depende directamente del estado inmediatamente anterior.
Una Red se ramifica o depende de múltiples ramas anteriores.
Una progresión introductoria útil es:
- Enlaces fuertes;
- Enlaces débiles;
- Cadenas cortas;
- conceptos X-Chain/XY-Chain.
Las Redes forzadas son una extensión posterior.
De los conceptos de Cadena a técnicas concretas
Coloración simple
Una forma visual de manejar una red de Enlaces fuertes del mismo dígito mediante dos estados.
X-Chain
Un camino alterno deliberado de un solo dígito.
XY-Chain
Un camino a través de celdas bivalue.
AIC
El marco más general de inferencias alternas.
El tratamiento completo de AIC queda fuera de esta introducción a las cadenas.
Cómo aprender Cadenas sin agobiarse
- Domina Fuerte frente a Débil.
- Sigue cadenas abstractas de cuatro nodos.
- Observa los mismos enlaces sobre una cuadrícula de sudoku.
- Revisa Skyscraper, Kite y W-Wing.
- Aprende X-Chains cortas.
- Aprende XY-Chains cortas.
- Solo entonces amplía hacia AIC formales.
Errores frecuentes
Alternar estilos de línea sin comprobar la inferencia real
La relación lógica importa más que el dibujo.
Leer un Enlace débil al revés
Que uno sea falso no obliga al otro a ser verdadero salvo que también exista un Enlace fuerte.
Construir una cadena sin conclusión
La cadena debe demostrar un movimiento.
Saltar directamente a una notación formal
La notación comprime la comprensión; no la crea.
Utilizar una cadena innecesariamente larga
Si un patrón corto con nombre o una deducción más sencilla demuestra lo mismo, prefiere esa explicación.
Preguntas frecuentes
¿Las Cadenas siempre son de nivel experto?
No. Algunos patrones cortos con nombre, como Skyscraper, son técnicas avanzadas accesibles.
¿XY-Wing puede representarse como una cadena?
Sí, como una XY-Chain corta.
¿Qué es una AIC?
Una Alternating Inference Chain es un marco general que alterna inferencias Fuertes y Débiles.
¿Las Cadenas son lo mismo que adivinar?
No. Cada inferencia de la cadena es forzada; una suposición temporal se utiliza como parte de una demostración.
Qué aprender después
Estudia Coloración simple, X-Chain y XY-Chain antes de pasar a AIC completas.