Resultado
Podrás seguir una cadena de inferencias alternas, explicar qué demuestran sus extremos, usar esa demostración para una eliminación y reconocer cuándo una cadena es válida pero no útil.
Una cadena necesita una conclusión
Una cadena no es valiosa por ser larga.
Es valiosa porque demuestra algo que antes no era evidente.
Un flujo útil es:
- elegir una suposición inicial;
- propagar correctamente cada implicación;
- inspeccionar el extremo;
- convertir la relación entre extremos en una colocación, eliminación o contradicción.
Paso 1 — Sigue los estados
Empieza con:
A = B - C = DSupón A = falso.
La cadena queda:
A falso
→ B verdadero
→ C falso
→ D verdaderoCada flecha debe estar justificada por la relación anterior.
Paso 2 — Sigue desde el otro extremo
Ahora empieza con D = falso y recorre la cadena hacia atrás.
Descubres la conclusión espejo:
- si A es falso, D es verdadero;
- si D es falso, A es verdadero.
Por tanto, A y D no pueden ser falsos a la vez. Al menos uno de los extremos debe ser verdadero.
Esa afirmación sobre los extremos es la parte útil de la cadena.
Paso 3 — Elimina de una celda relacionada común
Supón que el candidato T entra en conflicto con los dos extremos A y D.
Como al menos uno de los extremos es verdadero, T no puede sobrevivir:
- si A es verdadero, T es falso;
- si D es verdadero, T es falso.
En ambos casos, T se elimina.
Paso 4 — Una cadena válida puede no hacer nada
Puedes seguir una cadena perfectamente válida cuya relación entre extremos no tenga un objetivo útil ni cree una contradicción.
No es una demostración fallida. Es simplemente una cadena no productiva en el estado actual.
No colecciones cadenas por sí mismas. Busca una conclusión.
Paso 5 — Encuentra el enlace roto
Una cadena puede parecer convincente y contener un Strong Link inválido.
Si una supuesta pareja conjugada tiene en realidad un tercer candidato en su unidad fuente, desaparece la implicación falso → verdadero. Toda conclusión posterior a ese enlace queda sin apoyo.
Verifica siempre los links antes de confiar en el extremo.
Paso 6 — Los patrones con nombre son cadenas comprimidas
Skyscraper, Two-String Kite y W-Wing pueden entenderse mediante el mismo lenguaje de implicaciones.
La geometría te ayuda a encontrarlos. La lógica de cadena explica por qué la eliminación es válida.
Esta diferencia se vuelve cada vez más útil conforme avanzan las técnicas.
Comprobación rápida
Sigue las implicaciones, identifica la afirmación útil de los extremos y distingue una cadena rota de una cadena válida pero no productiva.
Recuerda
El patrón te ayuda a buscar. Las implicaciones aportan la demostración.
Siguiente
W-Wing
Usa la misma lógica de Strong Links dentro de un patrón compacto con nombre.
Referencia
Lee Cadenas de Sudoku para X-Chains, XY-Chains, notación y el camino hacia cadenas de inferencia alterna más generales.