Una Grouped AIC amplía una Alternating Inference Chain permitiendo que algunos nodos no sean una única candidatura, sino un grupo de candidatos equivalentes dentro de una misma house.
El grupo se trata como una proposición lógica: “el dígito X está en alguna de estas posiciones”. No afirma cuál de ellas es verdadera; solo agrupa varias posiciones que cumplen juntas el mismo papel en la cadena.
Esta generalización permite conectar estructuras que una AIC de nodos simples no puede recorrer de forma limpia.
Por qué existen los group nodes
Imagina que, dentro de un box, el dígito 6 solo puede estar en dos o tres celdas de la misma fila.
Para una inferencia que sale del box hacia el resto de esa fila, no siempre importa cuál de esas celdas contiene el 6. Lo importante es la proposición:
si el 6 está en este box, está en alguna de estas posiciones alineadas.
Ese conjunto puede actuar como un nodo agrupado.
El grupo más común: una intersección box-línea
Las intersecciones fila-box o columna-box son lugares naturales para group nodes.
Si todas las posiciones de un candidato dentro de un box se concentran en una misma fila, el grupo puede enlazarse con candidatos externos de esa fila.
La misma geometría está detrás de muchos Locked Candidates y Empty Rectangles. Grouped AIC reutiliza esa estructura dentro de una cadena más larga.
Strong y Weak Links con un grupo
Un grupo puede participar en Strong o Weak Links si la relación está demostrada.
Ejemplo conceptual:
- candidato A fuera del grupo;
- grupo G = “X está en una de estas celdas”;
- si A es falso, G debe ser verdadero → relación Strong en esa dirección;
- si G es verdadero, un candidato incompatible B debe ser falso → Weak Link.
No basta con que varias celdas estén juntas: el grupo debe representar una proposición lógica válida para el enlace usado.
Grouped AIC sigue las reglas de AIC normales
Una vez definidos los nodos, la cadena conserva el principio general:
Strong → Weak → Strong → Weak...
Los endpoints determinan la eliminación o colocación exactamente como en una AIC ordinaria.
La dificultad está en demostrar que cada nodo agrupado y cada enlace entre grupos/candidatos es válido.
Ejemplo de Grouped AIC
Grouped AIC vs AIC ordinaria
AIC ordinaria usa candidatos individuales como nodos.
Grouped AIC permite proposiciones del tipo “X está en una de estas celdas”. Esto puede acortar cadenas y descubrir enlaces que de otro modo requerirían una representación mucho más larga.
Si todos los nodos pueden expresarse individualmente sin perder claridad, la AIC normal suele ser preferible.
Grouped AIC vs Locked Candidates
Locked Candidates ya explota un grupo de candidatos concentrado en una intersección box-línea.
La diferencia es de alcance:
- Locked Candidates produce una eliminación local directa;
- Grouped AIC usa ese mismo grupo como nodo dentro de una red de inferencias más larga.
Por eso aprender Pointing/Claiming antes facilita mucho esta técnica.
Grouped AIC y nodos ALS
Algunas cadenas avanzadas pueden tratar un Almost Locked Set o una relación entre ALS como un nodo lógico todavía más rico.
Esto extiende el mismo principio: sustituir varios candidatos por una proposición bien definida que tenga relaciones Strong/Weak demostrables con el resto de la cadena.
No todo ALS es automáticamente un nodo válido; la inferencia concreta debe justificarse.
Por qué los group nodes son potentes
Agrupar candidatos permite atravesar regiones en las que la información real es “uno de estos lugares”, no “este candidato individual”.
Eso:
- reduce cadenas artificialmente largas;
- conecta intersecciones de houses;
- integra patrones locales en inferencias globales;
- prepara el salto hacia ALS y redes más avanzadas.
Errores comunes
Tratar candidatos arbitrarios como un grupo
Los miembros deben formar una proposición lógica coherente, normalmente dentro de una house y para el mismo dígito.
Olvidar todos los miembros al validar la visibilidad del objetivo
Si el endpoint es un grupo, una eliminación externa debe ser compatible con todas las posiciones del grupo que puedan ser verdaderas.
Confundir un grupo con una red ramificada
Un group node representa una sola proposición. Si la inferencia se divide en varias ramas independientes, estás entrando en Forcing Nets.
Suponer que los enlaces de grupo son automáticamente Strong
La fuerza del enlace debe demostrarse. Concentración geométrica no equivale por sí sola a Strong Link.
Esconder un enlace inválido dentro de la notación
La notación compacta nunca sustituye a la prueba. Expande el grupo mentalmente y verifica qué ocurre en cada posibilidad.
FAQ
¿Qué es un group node en sudoku?
Es un conjunto de candidatos, normalmente del mismo dígito dentro de una house, tratado como la proposición “uno de estos candidatos es verdadero” dentro de una cadena.
¿Grouped AIC es más difícil que AIC?
Normalmente sí, porque además de seguir la alternancia debes validar la semántica de cada grupo.
¿Grouped AIC es lo mismo que un Forcing Net?
No. Una Grouped AIC sigue siendo esencialmente una cadena alternante. Un Forcing Net contiene ramificaciones lógicas explícitas.
¿Se pueden usar ALS como nodos AIC?
Sí, en formas avanzadas, siempre que la relación que conecta el ALS con la cadena esté formalmente justificada.
Qué aprender después
Continúa con Almost Locked Sets, ALS-XZ y Forcing Chains para ampliar el repertorio de nodos y estructuras de inferencia.