Una Grouped AIC è un Alternating Inference Chain in cui almeno un nodo rappresenta un gruppo di candidati equivalente a una singola alternativa logica. L’alternanza Strong/Weak non cambia: cambia soltanto ciò che un nodo può rappresentare.
Perché esistono i nodi di gruppo
A volte una Strong inference non riguarda una singola cella ma un piccolo gruppo di candidati equivalenti dentro una intersezione, per esempio “il 7 è in una di queste due celle del box”. Trattare quel gruppo come un nodo permette alla AIC di seguire una inferenza valida che una rappresentazione cella-per-cella renderebbe artificiosamente più lunga.
Il gruppo più comune: un’intersezione box-linea
Il caso più comune nasce quando tutte le posizioni di una cifra in un box sono confinate a una intersezione con una riga o colonna. Il gruppo può allora rappresentare “la cifra è in qualche punto di questa intersezione”.
Strong e Weak Links con un gruppo
Un gruppo può partecipare a un Strong o Weak Link solo se la relazione è valida per tutti i membri rilevanti. Non basta raccogliere candidati vicini: il vincolo deve giustificare il ruolo inferenziale.
Grouped AIC segue le regole degli AIC ordinari
L’alternanza resta identica agli AIC ordinari. Falso deve alimentare un ruolo Strong, vero un ruolo Weak, e gli endpoint finali devono dimostrare una eliminazione o una verità senza saltare la semantica del gruppo.
Esempio completo di Grouped AIC
Nell’esempio espandi ogni group node in celle reali e verifica che il gruppo rappresenti un’unica proposizione, per esempio “X è in una di queste celle del box”. Poi percorri l’AIC alternando Strong e Weak Link esattamente come faresti con nodi singoli.
Grouped AIC vs AIC ordinario
L’alternanza resta identica agli AIC ordinari. Falso deve alimentare un ruolo Strong, vero un ruolo Weak, e gli endpoint finali devono dimostrare una eliminazione o una verità senza saltare la semantica del gruppo.
Grouped AIC vs Locked Candidates
Locked Candidates è una deduzione locale di intersezione box-linea. Grouped AIC può usare quella stessa intersezione come nodo di gruppo dentro una catena più lunga, combinandola con altre inferenze Strong/Weak.
Grouped AIC e nodi ALS
Le AIC più avanzate possono usare nodi che rappresentano strutture ancora più generali, come ALS, purché l’inferenza tra ingresso e uscita sia dimostrata. Il principio resta identico: un nodo complesso è ammesso solo se il suo comportamento logico è ben definito.
Perché i nodi di gruppo sono potenti
I gruppi comprimono più candidati equivalenti in una singola proposizione e collegano naturalmente intersezioni box-linea a catene lontane. Questo amplia enormemente le connessioni disponibili senza cambiare le regole fondamentali di Strong e Weak inference.
Errori comuni
La notazione di gruppo è potente ma può nascondere errori. Ogni group node deve avere un significato booleano preciso, ogni Link deve restare valido dopo aver espanso il gruppo e un target deve essere incompatibile con tutti i membri rilevanti.
Trattare candidati arbitrari come un gruppo
Un gruppo deve avere un significato booleano coerente, per esempio “la cifra X è in una di queste celle”. Non raggruppare candidati arbitrari che non condividono una stessa alternativa logica.
Dimenticare tutti i membri nella visibilità del target
Se un target deve “vedere il gruppo”, deve essere incompatibile con tutte le celle che rappresentano lo stato vero del gruppo, non soltanto con uno dei suoi membri.
Confondere un gruppo con una Net
Un group node rappresenta più alternative come un solo nodo. Una Forcing Net invece si ramifica in conseguenze indipendenti e poi riconverge: sono strutture diverse.
Presumere che i Link di gruppo siano automaticamente Strong
Un Link di gruppo non è Strong per il solo fatto di essere disegnato come gruppo. La disposizione nella riga, colonna o box deve dimostrare realmente l’inferenza falso→vero richiesta.
Nascondere un Link non valido dentro la notazione
La notazione compatta non può nascondere un passaggio invalido. Espandi mentalmente il gruppo nelle sue celle e verifica che il Link continui a essere corretto secondo le normali regole del Sudoku.
FAQ
Che cos’è un group node nel Sudoku?
È un insieme di candidature trattato come una singola alternativa logica perché i vincoli garantiscono che il gruppo soddisfi il ruolo Strong o Weak richiesto.
Grouped AIC è più difficile di AIC?
Di solito sì, perché devi riconoscere sia la catena sia la validità dei nodi di gruppo. Conviene padroneggiare prima AIC con nodi singoli.
Grouped AIC e Forcing Net sono la stessa cosa?
Sì, quando le alternative iniziali sono esaustive e ogni conseguenza è logicamente valida. In quel caso è analisi per casi, non trial and error arbitrario.
Gli ALS possono essere usati come nodi AIC?
Sì, in formulazioni avanzate, quando la relazione di inferenza interna all’ALS è definita correttamente. È un ponte naturale verso tecniche ALS e Chains più generali.
Cosa imparare dopo
Dopo Grouped AIC, gli ALS e ALS-XZ mostrano nodi strutturati ancora più ricchi; le Forcing Chains introducono invece l’analisi esaustiva di più alternative.