Cadena de inferencia alternante (AIC) en Sudoku

Una AIC conecta afirmaciones de candidatos alternando enlaces fuertes y débiles. La relación entre sus extremos permite una eliminación lógica sin adivinar.

Definición y condiciones

Un enlace fuerte indica que dos candidatos no pueden ser ambos falsos; uno débil indica que no pueden ser ambos verdaderos. La cadena debe alternar inferencias válidas.

Ejemplo en el tablero completo

La cadena 5-R1C2-3-R1C4=3=R3C4=9=R7C4=2=R7C2-2-R8C3-5 demuestra que R1C2 o R8C3 contiene 5. R1C3 ve ambos extremos, así que se elimina el 5.

Cómo encontrarlo

Empiece con un enlace fuerte útil, alterne enlaces débiles y fuertes, anote cada candidato y compruebe la visibilidad de los extremos antes de eliminar.

Por qué funciona

En una AIC abierta de tipo 1, al menos uno de los extremos del mismo dígito es verdadero. Una celda externa que vea ambos no puede contenerlo.

Relación con otras técnicas

Las AIC y los nice loops usan lógica de implicación similar. No encadene dos enlaces débiles sin una inferencia válida ni trate cualquier pareja visible como enlace fuerte.

Resumen

Verifique cada enlace y use la conclusión demostrada por los extremos, no la forma visual de la cadena.

Preguntas frecuentes

¿Qué es una AIC?

Una secuencia de inferencias con enlaces fuertes y débiles alternos.

¿Es una conjetura?

No; cada paso procede de restricciones de candidatos.

¿Qué elimina una AIC tipo 1?

El dígito del extremo en celdas que ven ambos extremos.