En esta página
Un Enlace fuerte es una relación entre dos estados candidatos en la que no pueden ser falsos los dos al mismo tiempo.
En el lenguaje de candidatos utilizado en estas guías:
Si A es falso, B debe ser verdadero.
Y, como la relación funciona en ambos sentidos:
Si B es falso, A debe ser verdadero.
El Enlace fuerte más familiar aparece cuando un dígito tiene exactamente dos posiciones posibles en una fila, columna o bloque. Esos dos candidatos forman un par conjugado.
Los Enlaces fuertes importan porque convierten un hecho negativo —este candidato es falso— en una consecuencia positiva —el otro candidato debe ser verdadero. Ese salto de falso a verdadero es uno de los motores principales de técnicas avanzadas como:
- Skyscraper;
- Two-String Kite;
- W-Wing;
- Coloración simple;
- X-Chain;
- XY-Chain y otras cadenas más generales.
No necesitas dominar una notación formal de cadenas para usarlos. Lo primero es reconocer por qué una relación es fuerte.
Regla rápida
Para dos estados candidatos A y B:
Enlace fuerte
A falso → B verdadero
B falso → A verdaderoOtra forma de expresar la misma condición es:
A y B no pueden ser ambos falsos.
A Falso → B Verdadero
¿Qué demuestra un Enlace fuerte?
Un Enlace fuerte no significa que ambos candidatos sean verdaderos.
Significa que el par es exhaustivo dentro del contexto lógico que lo crea: si un extremo desaparece, el otro queda forzado.
En un par conjugado estándar del mismo dígito, los estados posibles son:
| A | B | ¿Posible? |
|---|---|---|
| verdadero | falso | sí |
| falso | verdadero | sí |
| falso | falso | no |
| verdadero | verdadero | no, porque además se ven entre sí |
La última fila queda excluida por una propiedad de Enlace débil. Por eso un par conjugado ordinario es a la vez fuerte y débil: exactamente uno de sus extremos es verdadero.
Separar ambas ideas es útil porque las cadenas usan cada una para una dirección de inferencia diferente.
Par conjugado: el Enlace fuerte estándar para un mismo dígito
Supón que la fila 4 todavía necesita el dígito 7 y solo quedan dos candidatos 7:
r4c2;r4c9.
No existe una tercera posición legal para 7 en esa fila.
Por tanto:
- si
r4c2no es 7,r4c9debe ser 7; - si
r4c9no es 7,r4c2debe ser 7.
Esos dos candidatos forman un par conjugado en la fila 4.
La misma estructura puede aparecer en:
- una columna;
- un bloque 3×3.
La geometría cambia, pero la prueba lógica es la misma.
Por qué importa que sean «exactamente dos»
La unidad de origen debe contener exactamente dos posiciones posibles para ese dígito.
Si el 7 apareciera como candidato en tres celdas de la fila, eliminar una seguiría dejando dos posibilidades. Ningún compañero concreto quedaría forzado.
Habría relaciones débiles entre candidatos que se ven, pero no un Enlace fuerte entre una pareja específica.
Enlace fuerte dentro de una celda bivalue
Los Enlaces fuertes también pueden conectar valores candidatos distintos dentro de una misma celda.
Supón que una celda contiene exactamente:
{3,8}La celda debe terminar conteniendo uno de esos dos valores.
Así que:
- no 3 → 8;
- no 8 → 3.
Existe un Enlace fuerte entre los candidatos 3 y 8 dentro de la celda.
También es débil, porque una celda no puede contener ambos dígitos a la vez.
Esta relación interna es fundamental para:
- XY-Wing;
- el razonamiento de W-Wing;
- XY-Chains;
- AICs que pasan de un valor candidato a otro.
Una celda {3,8,9} no ofrece el mismo Enlace fuerte por parejas. Si 3 es falso, todavía podrían quedar 8 o 9; ningún candidato individual queda obligado.
Enlace fuerte frente a par conjugado
Son conceptos relacionados, pero no idénticos.
Par conjugado
Normalmente significa:
- el mismo dígito;
- exactamente dos posiciones candidatas;
- dentro de una fila, columna o bloque.
Enlace fuerte
Describe la inferencia lógica:
que un extremo sea falso obliga a que el otro sea verdadero.
Todo par conjugado ordinario genera un Enlace fuerte.
Pero una celda bivalue también contiene un Enlace fuerte entre candidatos diferentes, y normalmente no llamamos par conjugado a esa relación.
Enlace fuerte frente a Enlace débil
Esta distinción es la base de las cadenas.
Fuerte
A falso → B verdaderoSignifica:
A y B no pueden ser ambos falsos.
Débil
A verdadero → B falsoSignifica:
A y B no pueden ser ambos verdaderos.
Un par conjugado estándar cumple ambas condiciones:
- uno de los dos debe ser verdadero;
- los dos no pueden ser verdaderos a la vez.
Por tanto, exactamente uno es verdadero.
Una pareja que solo sea débil no tiene esa propiedad exhaustiva.
Por qué un Enlace fuerte puede desempeñar a menudo un papel débil
En relaciones ordinarias de candidatos, como un par conjugado o una celda bivalue, los dos extremos son mutuamente excluyentes además de exhaustivos.
Eso proporciona las dos direcciones que necesita la lógica de cadenas:
falso → verdadero papel fuerte
verdadero → falso papel débilPor eso un par conjugado puede utilizarse a menudo en un tramo de cadena que requiere un Enlace débil.
El sentido contrario no es válido en general.
Si dos candidatos 6 simplemente se ven en una fila que todavía contiene tres posiciones posibles para 6, entonces:
uno verdadero → el otro falso
pero:
uno falso → el otro no tiene por qué ser verdadero.
Un Enlace débil no se convierte automáticamente en fuerte.
Un par de candidatos no es automáticamente fuerte
Supón que la fila 5 contiene candidato 6 en:
r5c2;r5c4;r5c8.
Elige r5c2 y r5c4.
Están débilmente enlazados porque ambos no pueden ser 6 en la misma fila.
Pero no están fuertemente enlazados.
Si r5c2 es falso, r5c4 no queda forzado porque r5c8 todavía podría ser 6.
Un Enlace fuerte necesita una razón completa que descarte todas las alternativas fuera de sus dos extremos.
Ejemplo paso a paso
Antes de leer el tablero, usa esta comprobación:
- identifica el dígito candidato;
- identifica la unidad de origen o la celda bivalue;
- confirma que solo quedan dos alternativas en ese origen;
- prueba un extremo como falso;
- verifica que el otro queda forzado.
Cómo encontrar Enlaces fuertes en un sudoku real
Los Enlaces fuertes resultan mucho más visibles si buscas por dígito.
Para un candidato concreto:
- filtra o sigue visualmente ese dígito;
- revisa cada fila en busca de exactamente dos posiciones;
- revisa cada columna;
- revisa cada bloque;
- marca mentalmente los pares conjugados.
Después revisa también las celdas bivalue, porque sus dos candidatos tienen un Enlace fuerte interno.
Una red de Enlaces fuertes puede sugerir rápidamente:
- Skyscraper;
- Two-String Kite;
- Coloración simple;
- X-Chain;
- W-Wing o XY-Chain cuando intervienen celdas bivalue.
Los Enlaces fuertes pueden solaparse
Un mismo candidato puede pertenecer a más de un Enlace fuerte.
Por ejemplo, una posición candidata puede formar un par conjugado en su fila y también otro en su bloque. Esa superposición es precisamente la que permite que una inferencia viaje de una unidad a otra.
No necesitas «elegir» cuál de los dos enlaces es el correcto. Ambos pueden ser válidos al mismo tiempo si cada uno tiene su propia justificación exhaustiva.
Enlaces fuertes y nodos agrupados
Los sistemas expertos de cadenas pueden construir Enlaces fuertes entre grupos de candidatos en lugar de entre candidatos individuales.
En un group node, varias posiciones se tratan como un único estado lógico porque la estructura de una unidad garantiza que, si el grupo completo es falso, otro nodo debe ser verdadero.
Es una extensión válida y muy útil en Grouped AIC, pero no hace falta para dominar el modelo inicial.
Empieza con esta idea:
dos nodos candidatos conectados por una inferencia obligatoria falso → verdadero.
Después podrás ampliar el concepto a nodos agrupados sin cambiar la lógica fundamental.
Errores frecuentes
Llamar fuerte a cualquier pareja del mismo dígito
Debe quedar exactamente una alternativa compañera en la unidad de origen. Si existe una tercera posición legal, la relación no es fuerte.
Mirar solo los dos extremos
La fuerza no procede de que dos candidatos «parezcan una pareja». Procede de la restricción completa de la fila, columna, bloque o celda que los contiene.
Leer Fuerte como verdadero → verdadero
Es la dirección equivocada. El papel fuerte es:
falso → verdadero.
Suponer que Fuerte y Débil son etiquetas opuestas incompatibles
Un par conjugado ordinario es a la vez fuerte y débil.
Tratar una celda trivalue como si fuera bivalue
En {3,8,9}, descartar 3 no obliga a 8 ni a 9 individualmente.
Buscar cadenas antes de validar los candidatos
Un solo candidato omitido puede convertir un supuesto par conjugado en una relación falsa y romper toda la cadena que construyas sobre él.
Ejercicio de reconocimiento
Elige un dígito y pregunta, unidad por unidad:
«¿Quedan exactamente dos posiciones para este dígito?»
Si es así, has encontrado un par conjugado y un Enlace fuerte.
Después mira las celdas bivalue:
«¿Contiene exactamente dos candidatos?»
Si es así, esos dos candidatos están fuertemente enlazados dentro de la celda.
El objetivo del ejercicio no es resolver inmediatamente. Es aprender a reconocer con rapidez las relaciones que luego utilizarán Wings, Coloring y Chains.
FAQ
¿Qué es un Enlace fuerte en sudoku?
Es una relación en la que dos estados candidatos no pueden ser falsos al mismo tiempo: si uno es falso, el otro debe ser verdadero.
¿Qué es un par conjugado?
Dos posiciones candidatas para el mismo dígito que son las únicas posiciones posibles para ese dígito dentro de una fila, columna o bloque.
¿Todo Enlace fuerte es un par conjugado?
No. Una celda bivalue también crea un Enlace fuerte entre sus dos candidatos, aunque sean dígitos diferentes.
¿Un Enlace fuerte también puede ser débil?
Sí. Los pares conjugados y las celdas bivalue ordinarias son los ejemplos más habituales: exactamente uno de los dos extremos es verdadero.
¿Por qué son importantes los Enlaces fuertes?
Porque convierten un candidato falso en otro candidato forzosamente verdadero y permiten que la inferencia se propague por una cadena.
¿Los Enlaces fuertes resuelven celdas por sí solos?
A veces un enlace termina participando en una colocación directa, pero normalmente es una pieza de una inferencia mayor: Skyscraper, Coloring, X-Chain, W-Wing, AIC y otras técnicas.
Qué aprender después
Lee Enlaces débiles y después combina ambas direcciones de inferencia en Cadenas de sudoku.