Enlaces fuertes y débiles

Resultado

Podrás decidir si dos candidatos tienen un Strong Link, un Weak Link, ambos o ningún enlace directo, y usar correctamente la dirección de cada implicación.

Las dos ideas

Las cadenas se construyen a partir de dos afirmaciones sencillas:

• Strong Link: los dos candidatos no pueden ser falsos a la vez.
• Weak Link: los dos candidatos no pueden ser verdaderos a la vez.

Eso da dos implicaciones seguras:

Strong: falso → verdadero
Weak:   verdadero → falso

Las flechas no son intercambiables. Un Weak Link no significa que, si un candidato es falso, el otro quede obligado a ser verdadero.

Paso 1 — Un Strong Link dentro de una unidad

Imagina que el candidato 7 aparece en exactamente dos celdas de una fila.

Si el 7 de la izquierda es falso, el 7 de la derecha debe ser verdadero porque la fila sigue necesitando un 7 en algún lugar.

Esa es la idea de Strong Link:

que un extremo sea falso obliga al otro a ser verdadero.

Paso 2 — Un Weak Link

Ahora imagina que la misma fila contiene cuatro posibles 7.

Elige dos candidatos que se vean entre sí. Si el primero es verdadero, el segundo debe ser falso: una fila no puede contener dos 7.

Pero si el primero es falso, el segundo no queda obligado a ser verdadero. Todavía existen otras dos posiciones.

Esa pareja es solo Weak.

Paso 3 — Una pareja puede ser ambas cosas

Una pareja conjugada —exactamente dos posiciones para un dígito dentro de una unidad— es Strong y Weak a la vez:

• no pueden ser falsos ambos;
• no pueden ser verdaderos ambos.

Las celdas bivalue se comportan igual internamente. Si una celda contiene solo {3,8}, que un candidato sea falso obliga al otro a ser verdadero, y que uno sea verdadero obliga al otro a ser falso.

Paso 4 — Dentro de una celda

Compara:

{3,8}

con:

{3,8,9}

Dentro de la celda bivalue, 3 y 8 son Strong + Weak.

Dentro de la celda trivalue, 3 y 8 son solo Weak: si 3 es falso, 8 no queda forzado porque todavía existe 9.

Paso 5 — Clasifica la relación

Para cada pareja, hazte dos preguntas:

1. ¿Pueden ser verdaderos ambos?
2. ¿Pueden ser falsos ambos?

Después clasifica:

• no pueden ser verdaderos ambos → Weak;
• no pueden ser falsos ambos → Strong;
• se cumplen las dos condiciones → Strong + Weak;
• ninguna está garantizada → no hay enlace directo.

Paso 6 — Propaga una cadena corta

Considera:

A = B - C = D

Empieza con A = falso.

Un Strong Link obliga a B = verdadero. El Weak Link obliga entonces a C = falso. El Strong Link final obliga a D = verdadero.

La habilidad importante no es dibujar los símbolos. Es saber por qué cada estado se deduce del anterior.

Comprobación rápida

Clasifica las relaciones y propaga las implicaciones sin invertir por error un Weak Link.

Recuerda

Strong significa no pueden ser falsos ambos. Weak significa no pueden ser verdaderos ambos.

Una misma pareja de candidatos puede cumplir ambas definiciones.

Siguiente

Cómo funcionan las cadenas

Ahora combina estas relaciones en deducciones cuyos extremos demuestren algo útil.

Referencia

Lee Strong Links y Weak Links para las definiciones completas y más ejemplos.