Una Cadena de inferencia alternante o AIC (Alternating Inference Chain) es una secuencia de inferencias entre candidatos en la que se alternan Enlaces fuertes y Enlaces débiles.
Las AIC generalizan gran parte de la lógica de cadenas avanzadas del sudoku.
En lugar de limitar la cadena a:
- un solo dígito, como una X-Chain;
- o una secuencia de celdas bivalue, como una XY-Chain;
una AIC puede cambiar de dígito, celda y unidad siempre que cada transición respete la inferencia necesaria.
La lectura esencial es:
si este candidato es falso, el siguiente debe ser verdadero; si ese candidato es verdadero, el siguiente debe ser falso; continúa hasta que los extremos demuestren algo útil.
Una AIC no es adivinación. Es una demostración compacta construida con relaciones entre candidatos que ya existen en la cuadrícula.
Requisitos previos: Enlaces fuertes y débiles
Las AIC solo son fiables si los Enlaces fuertes y débiles están bien definidos.
Enlace fuerte
Para dos candidatos A y B:
A falso → B verdaderoUn ejemplo habitual es un par conjugado: un dígito tiene exactamente dos posiciones legales en una unidad.
Si una es falsa, la otra debe ser verdadera.
Enlace débil
Para dos candidatos A y B:
A verdadero → B falsoDos candidatos están unidos débilmente cuando no pueden ser verdaderos a la vez.
Por ejemplo:
- el mismo dígito en dos celdas que se ven;
- dos candidatos distintos dentro de la misma celda.
Una regla sutil pero importante
Un Enlace fuerte también puede utilizarse en la dirección débil, porque si A y B no pueden ser verdaderos a la vez, A verdadero sigue implicando B falso.
Un simple Enlace débil no puede convertirse en Enlace fuerte.
Esta asimetría es fundamental al construir cadenas.
Por qué los enlaces deben alternarse
Supón que empezamos asumiendo que el candidato A es falso.
Un Enlace fuerte permite deducir:
A falso → B verdaderoDesde B verdadero, un Enlace débil permite deducir:
B verdadero → C falsoY desde C falso, otro Enlace fuerte da:
C falso → D verdaderoEl ritmo lógico es por tanto:
falso → verdadero → falso → verdadero → ...Eso es la inferencia alternante de una AIC.
Si dos pasos consecutivos no permiten la transición de verdad necesaria, la cadena es inválida aunque la geometría resulte atractiva.
Notación de las AIC
Muchos solvers utilizan:
=para un Enlace fuerte;-para un Enlace débil.
Una cadena esquemática puede escribirse así:
A = B - C = D - E = FDebe leerse de izquierda a derecha como una ruta de implicaciones.
Los símbolos no son decoración: cada uno debe corresponder a una relación real entre candidatos dentro de una celda o una unidad.
¿Qué hace útil a una AIC?
Una cadena solo es útil si sus extremos demuestran algo fuera de ella o si el recorrido crea una contradicción que obliga a una conclusión.
Dos patrones de extremos son especialmente importantes.
Extremos con el mismo dígito
Si una AIC empieza y termina con Enlaces fuertes sobre el mismo dígito, al menos uno de los dos extremos debe ser verdadero.
Por tanto, cualquier candidato externo de ese dígito que vea ambos extremos puede eliminarse.
Es la eliminación clásica por extremos de una AIC.
Extremos con dígitos distintos en celdas que se ven
Si los extremos utilizan dígitos distintos y sus celdas se ven entre sí, la cadena puede demostrar eliminaciones cruzadas:
- el dígito inicial no puede estar en la celda final;
- el dígito final no puede estar en la celda inicial.
La regla debe derivarse de la cadena, no suponerse por simetría visual.
AIC Tipo 1
Una clasificación habitual llama AIC Tipo 1 a la cadena que tiene el mismo dígito en ambos extremos.
La cadena demuestra:
al menos uno de los extremos contiene el dígito X.
Cualquier otro candidato X que vea ambos extremos es falso.
Se parece a la regla de extremos de una X-Chain, pero el interior de una AIC puede cambiar de dígito y utilizar muchas más relaciones.
Ejemplo paso a paso de AIC Tipo 1
AIC Tipo 2
Una AIC Tipo 2 empieza y termina con Enlaces fuertes sobre dígitos diferentes, y las celdas de los extremos se ven entre sí.
La cadena demuestra un par de eliminaciones cruzadas.
Si los extremos son:
- candidato X en la celda A;
- candidato Y en la celda B;
- y A ve B;
la cadena puede demostrar que:
- Y no puede estar en A;
- X no puede estar en B.
La razón es que cada posibilidad en un extremo fuerza el estado opuesto necesario en el otro extremo para eliminar el candidato conflictivo.
Ejemplo paso a paso de AIC Tipo 2
AIC y Nice Loops
La terminología Nice Loop es anterior o se solapa con el lenguaje moderno de AIC que utilizan muchos solvers.
La lógica de inferencia subyacente es muy parecida.
Como distinción práctica:
- AIC: pone el foco en una cadena abierta y en lo que demuestran sus extremos;
- Nice Loop: pone el foco en una cadena que vuelve sobre sí misma y en lo que obliga su cierre.
Los programas y comunidades pueden clasificar algunos casos de manera distinta.
Para la corrección de la resolución, el nombre importa menos que dos preguntas:
¿Cada transición Fuerte/Débil es válida y la conclusión de los extremos o del bucle se deduce lógicamente?
Nice Loops discontinuos
Un bucle puede regresar a su candidato inicial creando una contradicción.
Por ejemplo, puede demostrar en la práctica:
si A es verdadero → ... → A es falsoEntonces A debe ser falso.
O puede demostrar:
si A es falso → ... → A es verdaderoEntonces A debe ser verdadero.
Es un bucle discontinuo porque el cierre crea la contradicción que produce la deducción.
El resultado puede ser:
- una eliminación de candidato;
- o una colocación forzada.
AIC / Nice Loops continuos
Un bucle es continuo cuando el cierre respeta las reglas normales de propagación en vez de generar una contradicción entre inicio y final.
Estos bucles pueden ser potentes porque las relaciones débiles del recorrido quedan restringidas por el ciclo completo.
Eso puede eliminar:
- copias adicionales de un dígito de una unidad representada por un Enlace débil;
- candidatos adicionales de una celda representada por un Enlace débil entre dos dígitos.
Los bucles continuos son conceptualmente más difíciles que una AIC ordinaria por extremos, así que conviene dominar primero las cadenas abiertas.
AIC caníbales
A veces una AIC elimina un candidato que aparece dentro de la propia cadena.
Al principio puede parecer incorrecto, pero no lo es.
Una cadena es una demostración, no un conjunto de candidatos que deban ser verdaderos simultáneamente.
Si la lógica de los extremos demuestra que un candidato interno es falso, puede eliminarse aunque ese mismo candidato haya servido para expresar la inferencia.
Estas cadenas suelen llamarse AIC caníbales.
AIC frente a X-Chain
Una X-Chain:
- utiliza un único dígito candidato durante todo el recorrido;
- alterna Enlaces fuertes y débiles para ese dígito;
- normalmente elimina ese dígito de celdas que ven ambos extremos fuertes.
Una AIC:
- puede cambiar de dígito;
- puede desplazarse por enlaces de celda y de unidad;
- permite más tipos de conclusiones en los extremos.
Por eso una X-Chain puede entenderse como un miembro restringido a un solo dígito dentro de la familia más amplia de inferencia alternante.
AIC frente a XY-Chain
Una XY-Chain utiliza una secuencia de celdas bivalue.
Dentro de cada celda bivalue, sus dos candidatos proporcionan la relación interna de uno u otro; entre celdas, los candidatos coincidentes crean los enlaces externos.
Una AIC es más general.
No exige que todas las celdas participantes sean bivalue y puede atravesar pares conjugados, enlaces de celda y otras estructuras válidas de candidatos.
Si las XY-Chains ya te resultan cómodas, las AIC son el paso natural: la notación se generaliza, pero el razonamiento por implicaciones sigue siendo el mismo.
AIC frente a Coloración simple
La Coloración simple suele seguir un único dígito por una red conectada de pares conjugados y asigna dos polaridades.
Una AIC:
- puede utilizar varios dígitos;
- no necesita construir una red completa de dos colores;
- sigue una ruta de inferencia concreta.
La Coloración suele ser más visual. Las AIC son más flexibles.
¿Qué es una AIC agrupada?
Una AIC agrupada permite que un nodo de la cadena represente un grupo de candidatos y no un único candidato individual.
Por ejemplo, varias copias del candidato X dentro de una intersección bloque/fila pueden comportarse colectivamente como uno de los lados de un Enlace fuerte.
La lógica sigue siendo inferencia alternante, pero los nodos son más abstractos.
Grouped AIC tiene su propia Guide porque supone un salto importante en notación y reconocimiento. Aquí fijamos primero la base no agrupada.
Cómo encontrar AIC sin seguir cadenas al azar
Seguir todas las relaciones posibles de candidatos es ineficiente.
Utiliza un proceso orientado a objetivos.
1. Busca estructuras densas de enlaces
Presta atención a:
- pares conjugados;
- celdas bivalue;
- dígitos con pocas posiciones candidatas;
- intersecciones donde se conectan relaciones fuertes.
2. Empieza desde un extremo prometedor
Los buenos extremos suelen compartir un posible objetivo o interactuar de forma útil con otro candidato cercano.
3. Alterna de forma deliberada
En cada paso pregunta:
- ¿qué estado de verdad conozco ahora?
- ¿necesito a continuación una inferencia Fuerte o Débil?
- ¿la relación entre candidatos permite realmente ese paso?
4. Detente cuando los extremos demuestren algo
Una cadena larga que no produce ninguna eliminación no es útil.
No sigas ampliándola solo porque existan más enlaces.
5. Prefiere la demostración clara más corta
Una misma eliminación puede describirse como:
- X-Chain;
- XY-Chain;
- Empty Rectangle;
- Turbot Fish;
- AIC.
Utiliza la representación más corta que siga siendo rigurosa.
Errores frecuentes con AIC
Error 1: alternar símbolos sin alternar inferencias
Escribir = - = - no crea una cadena válida.
Cada enlace debe permitir la transición lógica necesaria.
Error 2: tratar un Enlace débil como fuerte
De A verdadero → B falso no puedes inferir automáticamente A falso → B verdadero.
Solo un Enlace fuerte real permite esa dirección.
Error 3: asumir que todos los candidatos de la cadena son verdaderos a la vez
Una AIC expresa inferencias condicionales, no una asignación simultánea de candidatos.
Error 4: eliminar desde un objetivo que solo ve un extremo
En una eliminación Tipo 1 con el mismo dígito, el objetivo debe ver ambos extremos.
Ver uno solo no basta.
Error 5: construir cadenas innecesariamente largas
Las cadenas largas son más difíciles de verificar y más fáciles de interpretar mal.
Si un patrón más corto demuestra lo mismo, utilízalo.
Error 6: confundir demostración por contradicción con adivinación
Una AIC no elige una rama arbitraria para ver qué ocurre.
Cada inferencia está obligada por relaciones Fuertes/Débiles, y la conclusión queda demostrada para las posibilidades relevantes de los extremos.
¿Cuándo conviene aprender AIC?
Las AIC tienen mucho más sentido cuando ya dominas:
- candidatos;
- Enlaces fuertes y débiles;
- X-Chains;
- XY-Chains;
- Coloración simple u otros razonamientos de redes de enlaces.
Si estos conceptos todavía cuestan, la notación de una AIC puede parecer mucho más compleja que su lógica real.
FAQ
¿Qué significa AIC en sudoku?
AIC significa Alternating Inference Chain, o Cadena de inferencia alternante. La cadena alterna relaciones Fuertes y Débiles para propagar implicaciones verdadero/falso.
¿Una AIC es lo mismo que un Nice Loop?
Son marcos de inferencia muy relacionados y la terminología varía entre solvers. AIC suele poner el foco en cadenas abiertas y extremos; Nice Loop, en bucles cerrados y reglas de propagación.
¿Una AIC tiene que utilizar varios dígitos?
No. Una cadena alternante de un solo dígito puede expresarse como AIC, aunque un nombre especializado como X-Chain suele ser más claro.
¿Una XY-Chain es una AIC?
Conceptualmente las XY-Chains encajan dentro del marco más amplio de inferencia alternante, pero tienen una estructura más específica basada en celdas bivalue. Conservar el nombre especializado ayuda a reconocer el patrón.
¿Las AIC son prueba y error?
No. Una AIC es una demostración deductiva por implicaciones. Cada transición está justificada por un Enlace fuerte o débil existente y la conclusión se deduce lógicamente.
¿Qué debería aprender después de AIC?
Las extensiones naturales son Grouped AIC, cadenas basadas en ALS, bucles continuos y estructuras de forcing más complejas.
Qué aprender después
Cuando las AIC ordinarias resulten cómodas, el siguiente gran paso es la inferencia agrupada: permitir que varios candidatos actúen como un solo nodo. Eso abre la puerta a Grouped AIC, ALS Chains y muchas deducciones de nivel experto.