Uma Grouped AIC amplia uma Alternating Inference Chain permitindo que alguns nós representem um grupo de candidatos equivalentes dentro de uma unidade, e não apenas um candidato individual.
O grupo funciona como uma proposição lógica: “o dígito X está em alguma destas posições”. A cadeia não precisa saber qual membro do grupo será verdadeiro; basta que a relação do conjunto com os nós vizinhos seja válida.
Essa abstração permite atravessar estruturas que uma AIC formada somente por nós simples não representaria de forma limpa.
Por que nós agrupados existem
Imagine que, dentro de um bloco, o dígito 6 só possa ocupar duas ou três células que pertencem à mesma linha.
Para uma inferência que sai desse bloco em direção ao restante da linha, muitas vezes não importa qual dessas células contém o 6. O que importa é a proposição:
se o 6 está neste bloco, então está em uma destas posições alinhadas.
O conjunto pode atuar como um único nó agrupado.
O grupo mais comum: uma interseção bloco-linha
Interseções linha-bloco e coluna-bloco são lugares naturais para group nodes.
Se todas as posições de um candidato dentro de um bloco ficam concentradas na mesma linha, o grupo pode se relacionar com candidatos externos dessa linha.
A mesma geometria aparece em Candidatos Bloqueados e em partes de Empty Rectangle. Grouped AIC reutiliza essa estrutura dentro de uma cadeia mais longa.
Enlaces Fortes e Fracos com um grupo
Um grupo pode participar de Enlaces Fortes ou Fracos quando a relação correspondente está demonstrada.
Por exemplo:
- nó A fora do grupo;
- grupo G = “X está em uma destas células”;
- se A for falso, G precisa ser verdadeiro: relação Forte naquela direção;
- se G for verdadeiro, um candidato incompatível B precisa ser falso: relação Fraca.
Não basta reunir células próximas. O grupo precisa representar uma proposição lógica válida para o link usado.
Grouped AIC segue as regras de AIC comum
Depois que os nós estão definidos, a cadeia mantém o princípio geral:
Forte → Fraco → Forte → Fraco → ...Os endpoints determinam eliminações ou colocações da mesma forma que em uma AIC ordinária.
A dificuldade extra está em demonstrar que cada nó agrupado e cada relação entre grupos e candidatos realmente possui a força indicada.
Exemplo de Grouped AIC
Grouped AIC vs AIC comum
Uma AIC comum usa candidatos individuais como nós.
Grouped AIC permite comprimir várias posições que desempenham o mesmo papel lógico em um único nó. Isso pode:
- encurtar uma cadeia;
- permitir atravessar uma interseção de unidades;
- revelar relações que parecem quebradas se cada candidato for tratado isoladamente.
O preço é uma validação mais cuidadosa do grupo.
Grouped AIC vs Candidatos Bloqueados
Candidatos Bloqueados usam uma interseção linha/bloco ou coluna/bloco para uma eliminação local imediata.
Grouped AIC pode usar exatamente a mesma concentração de candidatos como parte de uma cadeia maior, sem exigir que a estrutura produza sozinha uma eliminação.
Assim, uma geometria básica pode funcionar como um nó avançado.
Grouped AIC e nós ALS
Almost Locked Sets podem desempenhar papel semelhante em cadeias mais gerais.
Um ALS resume várias células e candidatos em uma proposição lógica conectada por Restricted Common Candidates. Dependendo da notação e do solver, cadeias avançadas podem misturar nós simples, grupos de interseção e estruturas ALS.
A ideia comum é compactar várias possibilidades internas em uma relação externa bem definida.
Por que nós agrupados são poderosos
Sem agrupamento, uma cadeia pode parecer interrompida porque nenhum candidato individual fornece o link necessário.
O grupo preserva a informação de que uma de várias posições precisa cumprir determinado papel, mesmo sem sabermos qual delas.
Isso amplia muito o espaço de inferências disponíveis sem abandonar a lógica determinística.
Erros comuns
Tratar candidatos arbitrários como um grupo
Os membros precisam formar uma proposição lógica coerente, normalmente dentro de uma unidade ou interseção bem definida.
Esquecer todos os membros na visibilidade do alvo
Um alvo não pode “enxergar o grupo” se existe uma posição possível do grupo que não entra em conflito com ele.
Misturar um grupo com uma rede
Um group node representa uma alternativa compacta. Uma estrutura com ramificações independentes pode ser uma Forcing Net, não um único nó.
Supor que links de grupo são automaticamente Fortes
A proximidade geométrica não define a força do link. É preciso provar a condição “se um lado for falso, o outro deve ser verdadeiro”.
Esconder um link inválido dentro da notação
Uma cadeia elegante no papel continua errada se qualquer transição entre nós não for justificável pelas regras do Sudoku.
FAQ
O que é um group node no Sudoku?
É um conjunto de candidatos tratado como uma única proposição lógica dentro de uma cadeia, normalmente porque “pelo menos um destes candidatos” precisa cumprir determinado papel.
Grouped AIC é mais difícil do que AIC?
Em geral, sim. A lógica básica é a mesma, mas você precisa validar corretamente grupos e relações de visibilidade além dos links entre candidatos individuais.
Grouped AIC é a mesma coisa que Forcing Net?
Não. Grouped AIC continua sendo uma cadeia alternante. Uma Forcing Net pode ramificar em múltiplas consequências independentes.
ALS pode ser usado como nó de AIC?
Em linguagens avançadas de resolução, estruturas ALS podem participar de cadeias como nós compostos quando suas relações externas estão corretamente definidas.
O que aprender depois
Depois de Grouped AIC, aprofunde Almost Locked Sets, ALS-XZ e Forcing Chains. Eles ampliam ainda mais a ideia de representar relações complexas por estruturas lógicas compactas.