Una Alternating Inference Chain (AIC) è una forma generale di Chain che alterna ruoli Strong e Weak tra stati candidati. Le X-Chains e molte XY-Chains possono essere viste come casi più specifici di questo linguaggio.
L'obiettivo non è costruire una linea lunga: è dimostrare una relazione utile tra gli endpoint. Quando la catena è corretta, le due estremità possono produrre eliminazioni, inserimenti o contraddizioni verificabili.
Prerequisiti: Strong e Weak Links
Strong Link
Un ruolo Strong significa che i due endpoint non possono essere entrambi falsi: A falso → B vero e viceversa quando la relazione è bidirezionale nel contesto.
Weak Link
Un ruolo Weak significa che i due endpoint non possono essere entrambi veri: A vero → B falso.
Una regola sottile ma importante
Una relazione che è sia Strong sia Weak — per esempio una coppia coniugata o i due candidati di una cella bivalue — può essere usata nel ruolo richiesto dalla posizione nella Chain. Non confondere l'etichetta geometrica con la direzione inferenziale che stai usando.
Perché i link devono alternarsi
Uno Strong Link prende un falso e produce un vero; il Weak successivo prende quel vero e produce un falso. L'alternanza permette alla conseguenza di avanzare senza salti:
falso → vero → falso → vero → ...Due Weak consecutivi, per esempio, non permetterebbero di dedurre il secondo passaggio partendo da un falso.
Notazione AIC
Molti solver usano = per il ruolo Strong e - per il ruolo Weak. Una sequenza come A = B - C = D va letta come una catena di inferenze, non come equazioni matematiche.
La notazione varia tra comunità. Per VeyraPlay conta soprattutto saper spiegare ogni passaggio in linguaggio naturale.
Cosa rende utile un AIC?
Endpoint della stessa cifra
Se la Chain dimostra che almeno uno dei due endpoint X è vero, qualsiasi candidato X che vede entrambi può essere eliminato.
Endpoint di cifre diverse in celle che si vedono
Se la relazione tra endpoint dimostra che una certa combinazione è impossibile, la visibilità tra le celle può trasformare la conclusione in un inserimento o in un'eliminazione. Il controllo deve essere fatto sullo stato candidato specifico, non soltanto sulla cella.
AIC Type 1
Nel Type 1 classico gli endpoint rappresentano la stessa cifra e non possono essere entrambi falsi. Un candidato esterno della stessa cifra che vede entrambi gli endpoint è quindi falso.
È la generalizzazione naturale dell'eliminazione endpoint vista nelle X-Chains.
Esempio AIC Type 1 passo dopo passo
AIC Type 2
Nel Type 2 gli endpoint sono candidati diversi ma appartengono a una configurazione in cui la relazione finale crea una incompatibilità utile. Un endpoint falso forza l'altro vero e la geometria delle celle trasforma questa dipendenza in una deduzione concreta.
La nomenclatura Type 1/2 non è universale in tutti i solver; la prova logica è più importante del numero del tipo.
Esempio AIC Type 2 passo dopo passo
AIC e Nice Loops
Un Nice Loop è una rappresentazione ciclica della stessa famiglia di inferenze. Quando una AIC si chiude su se stessa, il modo in cui la continuità viene mantenuta o interrotta nel nodo di chiusura determina le conclusioni possibili.
I termini AIC e Nice Loop si sovrappongono storicamente, ma non tutti gli autori li usano in modo identico.
Discontinuous Nice Loops
Un loop discontinuo presenta, nel punto di chiusura, due link dello stesso ruolo o una discontinuità logica che rende impossibile uno stato del nodo. Quella contraddizione locale può forzare o eliminare il candidato interessato.
Continuous AIC / Nice Loops
In un loop continuo l'alternanza Strong/Weak resta coerente attorno all'intero ciclo. Le conclusioni possono riguardare candidati esterni che vedono particolari coppie di nodi oppure relazioni interne che diventano sfruttabili grazie alla chiusura.
AIC cannibalistici
Un AIC “cannibalistico” produce una eliminazione su un candidato che appartiene anche alla struttura della catena, anziché soltanto su un target esterno. È una forma più avanzata e richiede una verifica particolarmente chiara per evitare di eliminare un nodo necessario alla propria prova.
AIC vs X-Chain
Una X-Chain usa una sola cifra. Un AIC può attraversare più cifre, caselle bivalue, coppie coniugate e altre relazioni Strong/Weak, quindi è una generalizzazione più ampia.
AIC vs XY-Chain
Una XY-Chain standard è limitata a caselle bivalue e cambia cifra attraverso di esse. Un AIC non richiede che tutti i nodi siano bivalue e può usare molti tipi di link.
AIC vs Simple Coloring
Simple Coloring gestisce una rete a una cifra con due polarità. AIC segue una sequenza inferenziale specifica e può essere multi-cifra. Entrambi derivano dallo stesso linguaggio Strong/Weak.
Cos'è un Grouped AIC?
Un Grouped AIC permette a un nodo di rappresentare un gruppo di candidature che funziona collettivamente come endpoint di una inferenza. È utile quando la restrizione logica appartiene a più celle all'interno della stessa unità invece che a un singolo candidato.
Come trovare AIC senza tracciare catene casuali
1. Trova strutture dense di link
Cerca coppie coniugate, caselle bivalue e zone dove più Strong Links si incrociano.
2. Parti da un endpoint plausibile
Scegli un candidato che, se collegato a un altro endpoint, potrebbe eliminare un peer comune o creare una contraddizione.
3. Alterna deliberatamente
Dopo un ruolo Strong cerca un Weak valido; dopo un Weak cerca un Strong valido. Non seguire semplicemente celle vicine.
4. Fermati quando gli endpoint dimostrano qualcosa
Una Chain senza conclusione è solo una struttura valida ma improduttiva.
5. Preferisci la prova chiara più corta
Catene corte sono più semplici da verificare, insegnare e mantenere nei candidati.
Errori comuni negli AIC
Errore 1: alternare simboli senza alternare inferenze
Disegnare = e - non rende valido un link. Devi poter verbalizzare il passaggio vero/falso.
Errore 2: trattare un Weak Link come Strong
Dal falso di una candidatura Weak-only non segue il vero dell'altra.
Errore 3: supporre che tutti i candidati della Chain siano veri insieme
La catena descrive stati alternativi e implicazioni, non un insieme di placements simultanei.
Errore 4: eliminare da un candidato che vede un solo endpoint
Per una conclusione “almeno uno dei due endpoint è vero”, il target deve confliggere con entrambe le possibilità.
Errore 5: costruire catene inutilmente lunghe
Prima cerca una conclusione più corta o una tecnica nominata equivalente.
Errore 6: confondere una prova per contraddizione con guessing
Una ipotesi temporanea è logica quando ogni conseguenza è forzata e la contraddizione dimostra formalmente la falsità dell'ipotesi.
Quando dovresti imparare gli AIC?
Dopo aver reso automatici Strong/Weak Links, Simple Coloring, X-Chain e XY-Chain. Gli AIC diventano molto più semplici quando non devi più pensare alla definizione di ogni link.
FAQ
Cosa significa AIC nel Sudoku?
Alternating Inference Chain, cioè catena di inferenza alternata.
Un AIC è la stessa cosa di un Nice Loop?
I concetti sono strettamente collegati e in alcune tassonomie si sovrappongono, ma “Nice Loop” enfatizza le strutture chiuse e la terminologia non è universale.
Un AIC deve usare più di una cifra?
No. Una X-Chain può essere descritta come un AIC specializzato a una sola cifra.
Una XY-Chain è un AIC?
Può essere rappresentata nel linguaggio AIC; è un caso strutturato basato su caselle bivalue.
Gli AIC sono tentativi ed errori?
No. Ogni passaggio è un'inferenza necessaria e la conclusione è dimostrata.
Cosa dovrei imparare dopo gli AIC?
Grouped AIC, X-Cycles, ALS e Forcing Chains estendono ulteriormente il ragionamento inferenziale.
Cosa imparare dopo
Confronta Grouped AIC, X-Cycles e Forcing Chains, e usa Logica del Sudoku come riferimento concettuale per implicazioni e contraddizioni.