Una AIC (*Alternating Inference Chain*, cadena de inferencias alternas) es una cadena flexible de inferencias fuertes y débiles. Puede saltar entre dígitos y tipos de patrón: la X-Chain y la XY-Chain son AIC especiales, y muchos patrones con nombre son “solo AIC cortas”.
Antes de esta: X-Chain, XY-Chain y muchos finales de alas y peces son AIC especiales.
Por qué funciona
Inferencia fuerte: si A es falso, B es verdadero. Inferencia débil: si A es verdadero, B es falso.
Alternarlas de extremo a extremo significa que los dos extremos fuertes no pueden ser falsos a la vez. Todo lo que ve los dos extremos se elimina: la misma idea de “te pica en cualquier caso”, con más tipos de enlaces permitidos.
Cómo detectarla
Mejor cadenas que sean fuertes en los dos extremos. Piensa: si este extremo es falso → el otro es verdadero.
Demostración
Sigue inferencias fuertes y débiles alternas por el tablero. Mejor que sea fuerte en los dos extremos.
Las celdas verdes dibujan una AIC con 2.
La cadena demuestra que los dos extremos no pueden ser falsos a la vez: si un extremo es falso, el otro tiene que ser verdadero.
Elimina los candidatos que ven los dos extremos (rojo) (aquí 2).
Ejemplo 1
Traza una cadena de inferencias alternas.
Esta AIC da eliminaciones de 2.
Elimina los candidatos marcados (rojo) (aquí 2). Los dos extremos no pueden ser falsos, así que las vecinas comunes reciben el aguijón.
Ejemplo 2
Traza una cadena de inferencias alternas.
Esta AIC da eliminaciones de 7.
Elimina los candidatos marcados (rojo) (aquí 7). Los dos extremos no pueden ser falsos, así que las vecinas comunes reciben el aguijón.