En esta página
Una Cadena de sudoku es una secuencia de estados candidatos conectados por inferencias lógicas. En lugar de buscar una figura geométrica fija, sigues qué debe ser verdadero o falso si un candidato cambia de estado.
La mayoría de las cadenas avanzadas se entienden a partir de dos relaciones:
- Enlace fuerte: falso → verdadero;
- Enlace débil: verdadero → falso.
Al alternarlas, una consecuencia puede viajar por el tablero hasta producir una eliminación, una contradicción o una colocación forzada.
Antes de las Cadenas: entiende los estados candidatos
Un nodo de una cadena no es simplemente «una celda». Es un estado candidato, por ejemplo:
r4c2 contiene 7Ese estado puede ser verdadero o falso.
Una misma celda bivalue puede aportar dos nodos distintos, y el mismo dígito puede aparecer como nodos distintos en muchas celdas.
Pensar en estados candidatos evita uno de los errores más comunes: dibujar conexiones entre celdas sin comprobar qué afirmación lógica representa cada conexión.
Las dos direcciones de inferencia
Enlace fuerte
A falso → B verdaderoA y B no pueden ser ambos falsos.
Enlace débil
A verdadero → B falsoA y B no pueden ser ambos verdaderos.
Una cadena alterna estos roles para que la salida de un enlace sea la entrada lógica del siguiente.
Una cadena de cuatro nodos
Supón:
A = B - C = DAquí = representa un papel fuerte y - un papel débil.
A falso
Como A–B es fuerte:
B verdadero.
B verdadero
Como B–C es débil:
C falso.
C falso
Como C–D es fuerte:
D verdadero.
Por tanto:
A falso → D verdadero.
- Enlace fuerte
- Enlace débil
Por qué una cadena puede leerse a menudo en ambos sentidos
Cuando los enlaces utilizados son válidos también desde el extremo opuesto, puedes repetir la propagación al revés.
Si además:
D falso → A verdadero,
entonces A y D no pueden ser ambos falsos. Al menos uno de los extremos es verdadero.
Ese tipo de conclusión permite eliminar un candidato exterior que entre en conflicto con ambos extremos.
No todas las cadenas producen exactamente esta conclusión, pero es uno de los patrones más frecuentes.
Las Cadenas no son adivinación arbitraria
Una cadena no dice:
«supongamos A y veamos qué ocurre»
sin control lógico.
Cada salto debe estar justificado por una relación fuerte o débil concreta. Si una rama conduce a una contradicción, la contradicción demuestra algo sobre el estado inicial; si dos ramas convergen en la misma consecuencia, esa consecuencia es forzada.
Eso es razonamiento deductivo, aunque utilice estados hipotéticos como herramienta de prueba.
Las técnicas con nombre son Cadenas comprimidas
Muchas técnicas avanzadas pueden expresarse como cadenas cortas.
Skyscraper
Puede verse como una cadena corta de un solo dígito entre dos pares conjugados.
Two-String Kite
Conecta un par conjugado de fila y otro de columna mediante una relación débil dentro de un bloque.
W-Wing
Utiliza dos celdas bivalue conectadas por un Strong Link externo para producir una inferencia sobre el otro candidato.
XY-Wing
Es una cadena bivalue muy corta en la que los candidatos cambian al pasar por el pivote.
Los nombres siguen siendo útiles porque permiten reconocer estructuras frecuentes sin reconstruir toda la cadena cada vez.
Enlaces dentro y entre celdas
Dentro de una celda bivalue
En {3,8}:
no 3 → 8
no 8 → 3Existe un Enlace fuerte entre ambos candidatos. Como una celda no puede contener los dos, también existe el papel débil.
Entre celdas relacionadas
Si dos celdas que se ven contienen ambas candidato 8:
una = 8 → la otra ≠ 8Eso aporta un Enlace débil para 8.
Dentro de un par conjugado
Si un 5 solo puede aparecer en dos posiciones de una unidad, esas posiciones están conectadas de forma fuerte y débil: exactamente una será verdadera.
Cadenas de un solo dígito
Una cadena puede mantener el mismo candidato durante todo el recorrido.
Ese es el modelo de X-Chain:
- Strong Links mediante pares conjugados;
- Weak Links mediante visibilidad entre candidatos iguales;
- un mismo dígito desde el primer nodo hasta el último.
Skyscraper, Two-String Kite y Turbot Fish pueden entenderse como formas cortas y reconocibles de este lenguaje.
Cadenas de celdas bivalue
En otras cadenas, el valor candidato cambia al atravesar celdas bivalue.
Una XY-Chain puede recorrer algo como:
{3,9} → {9,8} → {8,2} → {2,3}Los Enlaces fuertes están dentro de cada celda y los débiles conectan celdas peer que comparten el candidato correspondiente.
Coloring es otra forma de gestionar estados de cadena
La Coloración simple asigna dos estados alternos a una red conectada de pares conjugados para un único dígito.
En lugar de seguir un camino concreto, mantiene visibles dos polaridades sobre toda una componente.
Conceptualmente sigue siendo el mismo lenguaje de inferencia binaria. Coloring es una representación visual de parte de la lógica que las cadenas expresan como recorrido.
¿Qué hace útil a una cadena?
Una cadena correcta no tiene por qué producir progreso. Para ser útil necesita una conclusión.
Eliminación por extremos
Si se demuestra que A o Z debe ser verdadero, un candidato exterior que vea ambos extremos puede eliminarse.
Contradicción
Si una hipótesis obliga finalmente a que dos candidatos incompatibles sean verdaderos, o deja una unidad sin posición para un dígito, esa hipótesis es falsa.
Colocación forzada
Una cadena puede demostrar directamente que un candidato no puede ser falso y, por tanto, debe ser verdadero.
Convergencia
Dos posibilidades diferentes pueden conducir a la misma consecuencia. Si todos los casos válidos producen X, entonces X es forzado.
Cadenas abiertas, bucles y el camino hacia AIC
Una cadena abierta tiene extremos distintos y suele utilizar una relación entre ellos para obtener la conclusión.
Un loop vuelve a conectar la inferencia con su estructura inicial y puede producir eliminaciones internas o externas.
Las Alternating Inference Chains (AIC) formalizan este lenguaje de Strong/Weak Links de forma más general, permitiendo combinar distintos tipos de nodos y relaciones.
Cadena frente a Red
Una cadena es esencialmente un camino:
A → B → C → DUna Red (Net) permite ramificación:
B → C
A →
D → ELas redes pueden demostrar deducciones muy potentes, pero son más difíciles de verificar manualmente. Para un solver humano, las cadenas suelen ser un punto de entrada mucho más manejable.
Notación de cadenas
Distintas comunidades utilizan símbolos diferentes. Una convención habitual es:
= Enlace fuerte
- Enlace débilAsí:
A = B - C = Drepresenta la alternancia de roles.
La notación es una herramienta de compresión, no la lógica en sí. Si no puedes explicar por qué cada enlace es fuerte o débil, escribir los símbolos no valida la cadena.
Cómo verificar una cadena
Antes de aceptar una deducción:
- identifica cada nodo candidato;
- justifica cada Enlace fuerte;
- justifica cada Enlace débil;
- comprueba que la alternancia permite propagar los estados;
- verifica la conclusión en ambos casos relevantes;
- asegúrate de que el target realmente entra en conflicto con los extremos o estados demostrados.
Si un solo enlace falla, la cadena completa deja de ser prueba.
Cómo buscar Cadenas sin perderte
No intentes recorrer todo el grafo de candidatos.
Empieza por estructuras prometedoras:
- dígitos con muchos pares conjugados;
- celdas bivalue conectadas;
- Strong Links que ya forman un Skyscraper/Kite/W-Wing parcial;
- candidatos que comparten posibles targets.
Construye cadenas cortas primero y detente en cuanto aparezca una conclusión útil.
Errores frecuentes
Alternar estilos de línea sin comprobar la inferencia
Una línea «fuerte» dibujada entre dos nodos no la convierte en un Enlace fuerte. Debe existir la condición lógica real.
Leer un Enlace débil al revés
De A verdadero → B falso no puedes deducir automáticamente A falso → B verdadero.
Olvidar que los nodos son estados candidatos, no solo celdas
Una celda puede contener varios estados distintos con relaciones diferentes.
Construir una cadena sin conclusión
Una cadena válida pero sin eliminación, contradicción o colocación no cambia el tablero.
Eliminar un target que entra en conflicto con un solo extremo
La eliminación estándar por extremos exige que el target quede descartado independientemente de cuál extremo sea verdadero.
Saltar directamente a una notación formal
Aprende primero a narrar la lógica en lenguaje natural.
Utilizar una cadena innecesariamente larga
Si una deducción más corta demuestra lo mismo, es más fácil de verificar y explicar.
Cómo aprender Cadenas sin agobiarse
Una progresión práctica es:
- Enlaces fuertes;
- Enlaces débiles;
- Skyscraper y Two-String Kite;
- W-Wing y XY-Wing;
- Simple Coloring;
- X-Chain;
- XY-Chain;
- AIC.
Así cada técnica añade una capa nueva sobre un lenguaje ya conocido.
FAQ
¿Qué es una Cadena de sudoku?
Una secuencia de estados candidatos conectados por inferencias que permiten propagar verdad y falsedad hasta obtener una deducción.
¿Por qué las Cadenas alternan Enlaces fuertes y débiles?
Porque el papel fuerte convierte falso en verdadero y el débil convierte verdadero en falso. La alternancia permite que el estado continúe avanzando.
¿Las Cadenas son lo mismo que adivinar?
No. Cada salto está justificado lógicamente y la conclusión debe ser válida para los casos considerados.
¿Todas las Cadenas son técnicas expertas?
No. Patrones relativamente accesibles como Skyscraper, Two-String Kite o XY-Wing pueden describirse como cadenas cortas.
¿XY-Wing puede representarse como una cadena?
Sí. Es una introducción compacta al mismo tipo de propagación bivalue que luego se extiende en XY-Chain.
¿Qué es una AIC?
Una Alternating Inference Chain es una formalización general de cadenas que alternan relaciones Strong/Weak y pueden utilizar distintos tipos de nodos candidatos.
¿Cuál es la diferencia entre una Cadena y una Red?
Una cadena sigue un camino lineal. Una red permite ramificaciones y combina varias consecuencias antes de converger en una conclusión.
Qué aprender después
Continúa con Coloración simple, X-Chain y XY-Chain. Después, AIC generaliza el mismo lenguaje a estructuras más flexibles.