A. I. Chains con 3 o 4 Strong Links

 

 

 

Iniziamo gli esempi con le catene più corte di 3 o 4 Strong Links; come già scritto nelle pagine di teoria, potrebbero esserci catene anche di 2 Strong Links, ma questi casi sono già "intercettati" dalle tecniche dei "Franken & Mutant X-Wing" perché possono verificarsi solo con catene composte da un unico candidato, oppure potrebbero esserci catene anche di 2 Strong Links se si prendono in considerazione i "Subsets di candidati diversi", ma questa tecnica non è ancora implementata nel Sudoku 16x16 Logic Solver.

È un po' difficile fornire una classificazione dettagliata perché i "modelli o pattern" possibili di composizione sono veramente tanti e ci possono essere altrettanti modi per raggrupparli; alla fine, però, come è logico dipendono tutti dalle poche regole di base già esposte.

Per i casi di Alternating Inference Chains con 3 Strong Links esistono comunque vari "modelli o pattern" ricorrenti e abbastanza semplici da riconoscere anche per i "risolutori umani", e sono stati identificati nel tempo – nei vari forum e chat specializzati – con varie sigle non sempre univoche; qui sotto sono esposti a parte le "XY-Wing" (per alcuni semplicemente "Y-Wing") e le "W-Wing"; per il resto si è cercato di proporre schemi un po' diversi fra loro senza tuttavia poter minimamente coprire tutti i casi possibili.

Per le Alternating Inference Chains con 4 Strong Links non ci sono raggruppamenti per "modelli o pattern" di base identificati con sigle precise, a parte il caso delle "XY-Chains" valido per qualsiasi lunghezza di catena e che rappresenta Strong Links composti solo da due candidati diversi nella stessa cella – e le "XY-Chains" comprendono anche le già citate "XY-Wing" o "Y-Wing".

 

Sudoku 16x16 Alternating Inference Chains con 3 Strong Links tipo "XY-Wing" o "Y-Wing" con una, due e quattro eliminazioni
Le "XY-Wing" o "Y-Wing" sono catene composte esclusivamente da Strong Links di due candidati diversi nella stessa cella

 

Sudoku 16x16 Alternating Inference Chains con 3 Strong Links tipo "W-Wing" con due, quattro e sei eliminazioni
Le "W-Wing" sono catene composte ai due vertici da 2 Strong Links di due candidati diversi nella stessa cella + uno Strong Link centrale di due candidati uguali in riga o colonna o riquadro

 

Sudoku 16x16 Alternating Inference Chains con 3 Strong Links con, da sinistra, rispettivamente
uno Strong Link di settore + 2 di cella (una eliminazione), 2 Strong Links di settore + uno di cella (tre eliminazioni) e 3 Strong Links di settore (due eliminazioni)

 

Sudoku 16x16 Alternating Inference Chains con 3 Strong Links e gruppi di candidati uguali nei vari Strong Links, sia interni che ai vertici di catena;
da sinistra un gruppo interno e cinque eliminazioni, due gruppi interni e una eliminazione, un gruppo interno + uno di vertice e una eliminazione

 

Sudoku 16x16 Alternating Inference Chains con 4 Strong Links con, da sinistra, rispettivamente
uno Strong Link di settore + 3 di cella (due eliminazioni), 2 Strong Links di settore + 2 di cella (cinque eliminazioni) e 3 Strong Links di settore + uno di cella (una eliminazione)

 

Sudoku 16x16 Alternating Inference Chains con 4 Strong Links con, da sinistra, rispettivamente
"XY-Chain" di 4 Strong Links di cella (una eliminazione), 4 Strong Links di settore (due eliminazioni) e ben 6 gruppi totali di candidati di cui 2 ai vertici di catena (una eliminazione)

 

Sudoku 16x16 Alternating Inference Chains con 4 Strong Links e gruppi di candidati uguali ai vertici di catena con, da sinistra, rispettivamente
un gruppo al vertice catena (una eliminazione), un gruppo centrale + uno al vertice catena (una eliminazione) e 2 gruppi ai vertici di catena (tre eliminazioni)