En esta página
Un Enlace débil conecta dos estados candidatos que no pueden ser verdaderos al mismo tiempo.
La inferencia es:
Si A es verdadero, B debe ser falso.
Pero la relación inversa no se obtiene automáticamente:
Si A es falso, B todavía puede ser verdadero o falso.
Esa asimetría es lo esencial.
Los Enlaces débiles son la mitad verdadero → falso del razonamiento mediante cadenas. Permiten que un candidato confirmado descarte otro estado incompatible y entregue la inferencia al siguiente Enlace fuerte.
Regla rápida
Para dos estados candidatos A y B:
Enlace débil
A verdadero → B falso
B verdadero → A falsoPero:
A falso → no hay una conclusión forzada sobre BOtra forma de expresarlo es:
A y B no pueden ser ambos verdaderos.
A Verdadero → B Falso
¿Qué demuestra un Enlace débil?
Un Enlace débil demuestra incompatibilidad, no exhaustividad.
Si dos candidatos están débilmente enlazados y uno resulta verdadero, el otro debe desaparecer.
Pero si uno desaparece, el Enlace débil por sí solo no te dice qué ocurre con el otro.
Ese detalle separa el papel débil del fuerte:
- Fuerte: falso → verdadero;
- Débil: verdadero → falso.
Las cadenas avanzadas funcionan precisamente porque alternan ambos tipos de inferencia.
El mismo dígito dentro de una unidad
Supón que una fila contiene varios candidatos 6.
Cualquier pareja de candidatos 6 de esa fila está débilmente enlazada porque una fila solo puede contener un 6.
Si:
r4c2 = 6entonces cualquier otro candidato 6 de la fila 4 es falso.
Lo mismo ocurre en:
- una columna;
- un bloque 3×3.
Y sigue siendo cierto aunque existan tres, cuatro o más posiciones candidatas para ese dígito.
Esto es importante: un Enlace débil no exige que la pareja sea exhaustiva.
Candidatos diferentes dentro de una celda
Los candidatos de una misma celda también están débilmente enlazados.
Supón una celda con:
{3,8,9}Si la celda es 3:
- no puede ser 8;
- no puede ser 9.
Por tanto, 3 está débilmente enlazado con 8 y con 9 dentro de esa celda.
Pero si 3 es falso, todavía quedan dos posibilidades. Ni 8 ni 9 queda forzado individualmente.
En una celda bivalue {3,8}, la relación entre 3 y 8 es además fuerte porque, si uno es falso, el otro debe ser verdadero.
Fuerte frente a Débil
Enlace fuerte
A falso → B verdaderoSignifica:
A y B no pueden ser ambos falsos.
Enlace débil
A verdadero → B falsoSignifica:
A y B no pueden ser ambos verdaderos.
Falso → Verdadero
Verdadero → Falso
La diferencia no describe qué enlace es «mejor». Describe qué dirección de inferencia está justificada.
Por qué los pares conjugados son fuertes y débiles a la vez
Toma un par conjugado del candidato 7 en una fila.
Solo existen dos posiciones posibles para 7.
Eso proporciona la propiedad fuerte:
si una posición no es 7, la otra debe ser 7.
Pero ambas posiciones además comparten fila, así que no pueden contener 7 a la vez.
Eso proporciona la propiedad débil:
si una posición es 7, la otra no puede ser 7.
Por tanto, el mismo par puede desempeñar cualquiera de los dos papeles dentro de una cadena.
Un Enlace débil general no obtiene automáticamente la propiedad fuerte. Para eso necesitas además una razón que garantice que una de las dos alternativas debe ser verdadera.
Un Enlace débil no elige un sustituto
Supón una celda {2,5,8}.
Si sabes que el candidato 2 es verdadero, 5 y 8 son falsos.
Pero si descubres que 2 es falso, el Enlace débil no permite elegir entre 5 y 8.
Del mismo modo, si tres candidatos 4 comparten una fila y uno queda descartado, no puedes concluir cuál de los otros dos será el 4.
Un Enlace débil elimina incompatibilidades. No convierte por sí solo una ausencia en una colocación.
Comparación paso a paso
Antes de leer el tablero, pregunta para cada relación:
- ¿qué dos estados candidatos estoy comparando?;
- ¿pueden ser verdaderos a la vez?;
- si uno es verdadero, ¿el otro queda necesariamente falso?;
- si uno es falso, ¿el otro queda necesariamente verdadero o todavía existen alternativas?;
- si existe también esa segunda propiedad, la relación es además fuerte.
De dónde surgen los Enlaces débiles
Las fuentes más comunes son restricciones locales de exclusión.
Mismo dígito en la misma fila
Dos candidatos del mismo dígito que comparten fila no pueden ser verdaderos simultáneamente.
Mismo dígito en la misma columna
La misma lógica se aplica dentro de una columna.
Mismo dígito en el mismo bloque
Dos candidatos iguales dentro de un bloque 3×3 son incompatibles.
Candidatos diferentes en la misma celda
Una celda solo puede contener un valor, así que si un candidato es verdadero todos los demás candidatos de esa celda son falsos.
Todas estas relaciones responden a la misma pregunta:
Si este candidato fuera verdadero, ¿qué otro estado quedaría necesariamente descartado?
Los Enlaces débiles pueden conectar segmentos de Enlaces fuertes
Una cadena suele avanzar así:
falso
→ [Fuerte]
verdadero
→ [Débil]
falso
→ [Fuerte]
verdaderoEl Enlace fuerte convierte una falsedad en una verdad forzada.
El Enlace débil convierte esa verdad en una nueva falsedad incompatible.
La alternancia puede continuar hasta que los extremos produzcan una eliminación, una contradicción o una colocación.
Enlaces débiles en XY-Chains
Las XY-Chains alternan dos fuentes especialmente fáciles de reconocer:
- Enlace fuerte dentro de una celda bivalue;
- Enlace débil entre celdas que se ven y comparten un candidato.
Ejemplo:
A {3,9}
B {9,8}Si A ve B y A = 9, entonces B ≠ 9.
Como B es bivalue:
B ≠ 9 → B = 8.El 9 entre las dos celdas aporta el tramo débil; la pareja {9,8} dentro de B aporta el siguiente tramo fuerte.
Enlaces débiles en Cadenas de un solo dígito
En una X-Chain, el candidato X permanece fijo durante toda la cadena.
- los pares conjugados proporcionan Enlaces fuertes;
- dos candidatos X que se ven proporcionan Enlaces débiles.
La propagación típica es:
falso → verdadero → falso → verdaderoEso permite conectar Strong-Link segments situados en unidades distintas sin cambiar de dígito.
Enlace débil frente a relación de peers
Dos celdas peer se ven porque comparten fila, columna o bloque.
Pero el Enlace débil se define entre estados candidatos, no simplemente entre celdas.
Si dos celdas peer contienen ambas candidato 5, esos dos estados 5 están débilmente enlazados.
Si una celda contiene 5 y la otra no contiene 5, no existe ese Enlace débil para el candidato 5.
Y candidatos diferentes en celdas peer no son incompatibles solo por verse: r1c1=3 y r1c2=8 pueden ser ambos verdaderos.
La visibilidad crea el contexto; los estados candidatos concretos determinan el enlace.
Errores frecuentes
Leer falso → verdadero desde un Enlace débil
Esa conclusión necesita un Enlace fuerte. Un Enlace débil solo garantiza verdadero → falso.
Pensar que «débil» significa «incierto»
Weak es un término lógico, no una valoración de utilidad. Los Enlaces débiles son imprescindibles para las cadenas.
Suponer que solo los pares conjugados crean Enlaces débiles
Cualquier par de candidatos iguales que se vean es débil, aunque existan más posiciones para ese dígito en la unidad.
Olvidar los Enlaces débiles dentro de una celda
Si una celda contiene varios candidatos, cualquiera que resulte verdadero elimina los demás.
Tratar Fuerte y Débil como etiquetas mutuamente excluyentes
Un par conjugado y una celda bivalue ordinaria pueden ser ambas cosas a la vez.
Enlazar candidatos que no entran en conflicto
Dos estados no forman un Enlace débil solo porque estén próximos o sus celdas se vean. Debe existir una razón por la que no puedan ser verdaderos simultáneamente.
Ejercicio de reconocimiento
Elige un candidato 7 y observa sus posiciones.
Para cada pareja que comparta fila, columna o bloque, pregunta:
«Si este 7 fuese verdadero, ¿el otro tendría que ser falso?»
Si la respuesta es sí, existe un Enlace débil.
Después pregunta:
«Si este 7 fuese falso, ¿el otro tendría que ser verdadero?»
Solo si la respuesta también es sí tienes además un Enlace fuerte.
FAQ
¿Qué es un Enlace débil en sudoku?
Una relación entre dos estados candidatos que no pueden ser verdaderos al mismo tiempo. Si uno es verdadero, el otro debe ser falso.
¿Dos candidatos del mismo dígito en una unidad siempre tienen Enlace débil?
Sí, siempre que ambos sean candidatos válidos y compartan esa fila, columna o bloque. La unidad no puede contener el mismo dígito dos veces.
¿Siempre tienen Enlace fuerte?
No. Solo cuando son exactamente las dos posiciones posibles para ese dígito en la unidad.
¿Un enlace puede ser Fuerte y Débil al mismo tiempo?
Sí. Los pares conjugados y las relaciones internas de una celda bivalue son ejemplos habituales.
¿Por qué las Cadenas alternan Enlaces fuertes y débiles?
Porque el papel fuerte transforma falso en verdadero y el papel débil transforma verdadero en falso. Al alternarlos, el estado puede propagarse de nodo en nodo.
¿«Débil» significa que el enlace es menos útil?
No. Describe una dirección de inferencia concreta. Sin Enlaces débiles no existiría gran parte del razonamiento de Chains, Coloring o AIC.
Qué aprender después
Con Enlaces fuertes y Enlaces débiles separados con claridad, el siguiente paso es Cadenas de sudoku, donde ambos papeles se alternan para construir deducciones más largas.