AIC (cadenas alternas)
AIC significa Cadenas de inferencia alternas y son cadenas que alternan entre enlaces fuertes y débiles a través del tablero.
Ver la técnica en la práctica
Pasa por los ejemplos paso a paso. Cada paso explica lo que ves en el tablero y por qué la conclusión se sostiene.
- Comenzamos en fila 3, columna 8 con el número 3.
Así es como reconoces el patrón
AIC significa «cadenas de inferencia alternas»: cadenas que alternan enlaces fuertes y débiles. Un enlace fuerte indica que al menos uno de dos candidatos debe ser correcto, como las dos únicas posiciones de un número en una unidad o los dos candidatos de una celda bivalue. Un enlace débil indica que, como máximo, uno puede ser correcto, como dos candidatos iguales en una misma unidad.
Cuando la cadena alterna fuerte, débil, fuerte, débil todo el camino, los extremos se comportan como un par fuerte normal: al menos uno de ellos debe ser correcto. Si la cadena comienza y termina con el mismo número, el número puede eliminarse de todas las celdas que ven ambos extremos. AIC es el marco general detrás de muchas técnicas nombradas, y tanto el coloreado como XY-Wing pueden escribirse como cadenas AIC cortas.
Procedimiento paso a paso
- Encuentra un enlace fuerte para un número y usa uno de sus extremos como punto de partida de la cadena.
- Continúa alternando: después de un enlace fuerte va uno débil, y después de uno débil debe venir otro fuerte.
- Continúa hasta alcanzar un candidato con el mismo número que al inicio y un enlace fuerte en ambos extremos.
- Elimina el número de todas las celdas que ven ambos extremos de la cadena.
Errores comunes
- Usar dos enlaces débiles seguidos. En ese caso la lógica se rompe y la conclusión al final de la cadena deja de ser válida.
- Creer que los extremos son la solución. La cadena solo demuestra que al menos uno de ellos es correcto, no cuál.
- Tratar un enlace fuerte como unidireccional. Un enlace fuerte siempre puede usarse como débil, pero uno débil nunca puede usarse como fuerte.
¿Cuándo necesitas la técnica?
Los tableros más difíciles requieren técnicas que siguen largas cadenas lógicas por todo el tablero. En la práctica son demostraciones: partes de una hipótesis, sigues sus consecuencias y compruebas qué no puede ser cierto. Recorre paso a paso los ejemplos siguientes con las mismas herramientas que el solucionador utiliza en tu propio tablero.