Enlace Fuerte
enlace fuerte
Una relación exclusiva donde un dígito está 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 dígito específico X, los candidatos de X dentro de una unidad (fila, columna o bloque) están limitados a exactamente 2 celdas. Tiene la fuerte relación 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 técnicas basadas en cadenas y sinónimo de par conjugado.
Definición del enlace fuerte
La definición 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 lógica: si A no es X, B se confirma como X. Lo inverso también se cumple, permitiendo inferencia bidireccional, que es la característica definitoria de los enlaces fuertes.
Diferencias con los enlaces débiles
Los enlaces débiles tienen la relación exclusiva más débil '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 débil. Los enlaces fuertes son 'una debe ser X', los enlaces débiles son 'ambas no pueden ser X simultáneamente'. La construcción de cadenas alterna entre ambos para construir cadenas largas y encontrar contradicciones.
Uso en técnicas
Los enlaces fuertes sustentan muchas técnicas avanzadas. X-Wing forma un rectángulo con 2 enlaces fuertes, Swordfish combina 3 enlaces fuertes, la Coloración encadena enlaces fuertes, y W-Wing conecta 2 celdas bi-valor vía enlaces fuertes. Tener el ojo para identificar rápidamente enlaces fuertes en el tablero es un requisito previo para dominar las soluciones avanzadas. El hábito sistemático de contar candidatos por unidad para cada dígito es efectivo.