Enlace Fuerte
enlace fuerte
Una relacion exclusiva donde un digito esta limitado a exactamente 2 celdas en una unidad, con una de ellas necesariamente verdadera.
Un Enlace Fuerte (Strong Link) se refiere al estado donde, para un digito especifico X, los candidatos de X dentro de una unidad (fila, columna o bloque) estan limitados a exactamente 2 celdas. Tiene la fuerte relacion exclusiva 'una es X si y solo si la otra no lo es, y ambas no pueden ser no-X'. Es un concepto fundamental de todas las tecnicas basadas en cadenas y sinonimo de par conjugado.
Definicion del enlace fuerte
La definicion estricta de enlace fuerte es 'al menos una de dos proposiciones debe ser verdadera'. En el contexto del Sudoku, esto se convierte en el par de proposiciones 'la celda A es X, o la celda B es X'. La posibilidad de que ambas sean no-X queda excluida. Esto corresponde al silogismo disyuntivo en logica: si A no es X, B se confirma como X. Lo inverso tambien se cumple, permitiendo inferencia bidireccional, que es la caracteristica definitoria de los enlaces fuertes.
Diferencias con los enlaces debiles
Los <a href="/es/glossary/weak-link/">enlaces debiles</a> tienen la relacion exclusiva mas debil 'al menos una de dos celdas no es X'. Se permite que ambas sean no-X. Por ejemplo, si una fila tiene candidatos X en 3+ celdas, cualquier 2 de esas celdas forman un enlace debil. Los enlaces fuertes son 'una debe ser X', los enlaces debiles son 'ambas no pueden ser X simultaneamente'. La construccion de cadenas alterna entre ambos para construir cadenas largas y encontrar contradicciones.
Uso en tecnicas
Los enlaces fuertes sustentan muchas tecnicas avanzadas. X-Wing forma un rectangulo con 2 enlaces fuertes, Swordfish combina 3 enlaces fuertes, la <a href="/es/glossary/coloring/">Coloracion</a> encadena enlaces fuertes, y W-Wing conecta 2 celdas bi-valor via enlaces fuertes. Tener el ojo para identificar rapidamente enlaces fuertes en el tablero es un requisito previo para dominar las soluciones avanzadas. El habito sistematico de contar candidatos por unidad para cada digito es efectivo.