Un Enlace fuerte conecta dos posibilidades candidatas que no pueden ser falsas al mismo tiempo.
La inferencia es:
Si A es falso, B debe ser verdadero.
En la resolución habitual mediante candidatos, el Enlace fuerte más común aparece cuando un dígito solo tiene dos posiciones posibles dentro de una fila, columna o bloque.
Esas dos posiciones forman un par conjugado.
Los Enlaces fuertes son el principal motor «falso → verdadero» detrás de:
- Skyscraper;
- Two-String Kite;
- W-Wing;
- Coloración;
- X-Chains;
- Cadenas más generales.
Regla rápida
Enlace fuerte
A falso
↓
B verdaderoLa relación describe qué ocurre cuando uno de los extremos queda descartado.
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.
Solo quedan dos candidatos 7:
r4c2r4c9
La fila debe contener un 7.
Así que:
- si
r4c2no es 7 →r4c9debe ser 7; - si
r4c9no es 7 →r4c2debe ser 7.
Eso es un Enlace fuerte sobre el candidato 7.
El mismo patrón funciona en:
- una columna;
- un bloque.
Enlace fuerte dentro de una celda bivalue
Los Enlaces fuertes también pueden conectar candidatos diferentes dentro de una misma celda.
Si una celda contiene únicamente:
{3,8}
entonces:
- si no es 3 → debe ser 8;
- si no es 8 → debe ser 3.
Este Enlace fuerte interno es el motor que permite a las XY-Chains pasar de un candidato a otro.
Enlace fuerte frente a par conjugado
Par conjugado
Normalmente significa:
- mismo dígito;
- exactamente dos posiciones en una unidad.
Enlace fuerte
Es la relación lógica de inferencia:
que uno sea falso obliga a que el otro sea verdadero.
Por tanto, una celda bivalue tiene un Enlace fuerte entre sus dos candidatos aunque normalmente no se denomine par conjugado.
Por qué un par conjugado también tiene un Enlace débil
Dos candidatos del mismo dígito en una fila no pueden ser verdaderos al mismo tiempo.
Así que un par conjugado posee ambas propiedades:
Fuerte
No pueden ser ambos falsos.
Débil
No pueden ser ambos verdaderos.
Esto importa en las cadenas porque un Enlace fuerte puede utilizarse con frecuencia donde se necesita un papel débil.
Lo contrario no es cierto en general.
Un par de candidatos no es automáticamente fuerte
Supón que la fila 5 contiene el candidato 6 en:
- c2;
- c4;
- c8.
Elige c2 y c4.
Están débilmente enlazados porque ambos no pueden ser 6 en la misma fila.
Pero no están fuertemente enlazados.
Si c2 es falso, c4 no tiene por qué ser verdadero: c8 podría ser el 6.
La fuerza aparece cuando la restricción es exhaustiva.
Ejemplo paso a paso
Los Enlaces fuertes como capa de búsqueda
A los jugadores avanzados suele ayudarles visualizar los Enlaces fuertes antes de buscar patrones con nombre.
Para un dígito:
- resalta el candidato;
- busca filas con exactamente dos posiciones;
- revisa columnas;
- revisa bloques;
- dibuja o anota mentalmente los pares conjugados.
Una red de Enlaces fuertes puede sugerir:
- Skyscraper;
- Two-String Kite;
- Coloración simple;
- X-Chain.
Las celdas bivalue repetidas pueden sugerir W-Wing o XY-Chain.
Enlaces fuertes y nodos agrupados
Los sistemas expertos de cadenas pueden construir Enlaces fuertes entre grupos de candidatos en lugar de entre celdas individuales.
Es teoría avanzada válida, pero el primer modelo mental puede mantenerse más sencillo:
dos nodos candidatos conectados por una inferencia forzada falso → verdadero.
Los enlaces agrupados son una extensión posterior a este alcance introductorio.
Errores frecuentes
Llamar fuerte a cualquier par del mismo dígito
No debe existir una tercera posición válida en la unidad de origen.
Leer la implicación como verdadero → verdadero
Es la dirección incorrecta.
Suponer que Fuerte y Débil son opuestos incompatibles
Un par conjugado es ambas cosas.
Olvidar de dónde proviene el enlace
Debes saber si lo crea:
- una fila;
- una columna;
- un bloque;
- una celda bivalue.
Ejercicio de reconocimiento
Para un dígito elegido, pregunta:
«¿Exactamente dos posiciones en esta unidad?»
Si es así, marca un Enlace fuerte.
Para una celda bivalue, pregunta:
«¿Exactamente dos valores en esta celda?»
Si es así, los dos candidatos están fuertemente enlazados dentro de la celda.
Preguntas frecuentes
¿Qué es un par conjugado?
Dos posiciones candidatas para el mismo dígito que son las únicas posiciones posibles para ese dígito en una unidad.
¿Todo Enlace fuerte es un par conjugado?
No. Las celdas bivalue también crean Enlaces fuertes entre candidatos diferentes.
¿Un Enlace fuerte también puede ser débil?
Sí, y los pares conjugados ordinarios son el ejemplo estándar.
¿Por qué son importantes los Enlaces fuertes?
Convierten un candidato falso en otro candidato forzosamente verdadero y permiten que la inferencia viaje a través de Cadenas.
Qué aprender después
Lee Enlaces débiles y después combina las dos direcciones en Cadenas de sudoku.