Una Sudoku Chain, o catena Sudoku, è una sequenza di implicazioni forzate tra stati candidati.
Il linguaggio più utile per iniziare è:
- Strong Link: falso → vero;
- Weak Link: vero → falso.
Quando questi ruoli si alternano, uno stato può propagarsi nella griglia:
falso → vero → falso → vero → ...Una Chain utile deve terminare con una conclusione:
- almeno una estremità è vera;
- un candidato è falso;
- un'ipotesi produce una contraddizione;
- due casi diversi portano allo stesso risultato.
Lo scopo non è costruire la Chain più lunga possibile.
Lo scopo è trovare la Chain più corta che dimostra qualcosa di utile.
Una Chain di quattro nodi
Supponiamo:
A = B - C = Ddove:
=rappresenta Strong;-rappresenta Weak.
Inizia con A falso.
A falso
Strong Link:
→ B vero.
B vero
Weak Link:
→ C falso.
C falso
Strong Link:
→ D vero.
Quindi:
A falso → D vero.
Se la struttura è valida anche in senso inverso:
D falso → A vero.
Allora almeno una delle estremità A/D deve essere vera.
Qualsiasi candidato in conflitto con entrambe può essere eliminato.
- Strong Link
- Weak Link
Perché non è una supposizione arbitraria
Una Chain può iniziare con un'ipotesi temporanea:
Supponiamo A falso.
Ma ogni passaggio successivo è forzato da un Link valido.
L'ipotesi non viene accettata come soluzione.
Serve soltanto a dimostrare una conseguenza.
I pattern con nome sono Chains compresse
Molte tecniche avanzate possono essere lette come piccole Chains.
Skyscraper
Breve Chain su una singola cifra.
Two-String Kite
Chain corta su una singola cifra con un Weak Link attraverso un blocco.
W-Wing
Due caselle bivalue identiche collegate da uno Strong Link.
XY-Wing
Breve Chain attraverso caselle bivalue.
I nomi aiutano il riconoscimento.
Il linguaggio delle Chains spiega perché funzionano e come estendere la logica oltre le forme fisse.
Links dentro e tra le caselle
Dentro una casella bivalue
{3,8}
3 e 8 sono fortemente collegati:
- non 3 → 8;
- non 8 → 3.
Tra caselle collegate
Due candidati 8 che si vedono sono debolmente collegati:
- primo 8 vero → secondo 8 falso.
Questa alternanza è la base delle XY-Chain.
Chains su una sola cifra
Una X-Chain usa una sola cifra.
Gli Strong Links arrivano normalmente da coppie coniugate.
I Weak Links arrivano da candidati della stessa cifra che si vedono.
Una forma eliminante tipica:
- inizia Strong;
- termina Strong;
- dimostra che una delle due estremità è vera;
- elimina il candidato dalle caselle che vedono entrambe.
Chains attraverso caselle bivalue
Una XY-Chain usa caselle bivalue.
Dentro ogni casella:
- i due candidati sono fortemente collegati.
Tra caselle successive:
- il candidato condiviso crea la relazione Weak.
La Chain comincia e termina con lo stesso candidato, permettendo eliminazioni dalle caselle collegate comuni.
XY-Wing è la forma introduttiva a tre caselle.
Notazione delle Chains
Durante l'apprendimento, il significato viene prima della notazione.
Una rappresentazione può usare:
- linea continua = Strong;
- linea tratteggiata = Weak.
Una notazione testuale può diventare:
A = B - C = DLa notazione AIC formale ha senso soltanto dopo aver capito la propagazione vero/falso.
Quando una Chain è utile?
Una sequenza di Links può essere valida ma non produrre una mossa.
Serve una conclusione.
Pattern utile di estremità:
Almeno una delle estremità deve essere vera.
Pattern utile per contraddizione:
Questa ipotesi porta a uno stato impossibile.
Pattern utile per convergenza:
Entrambi i casi iniziali forzano lo stesso risultato.
Chain vs Net
In una Chain semplice, ogni implicazione dipende dallo stato precedente.
Un Net si ramifica o combina più rami.
Una progressione ragionevole è:
- Strong Links;
- Weak Links;
- Chains corte;
- X-Chain;
- XY-Chain.
I Forcing Nets vengono dopo.
Dai concetti alle tecniche
Simple Coloring
Metodo visivo per gestire una rete di Strong Links su una singola cifra con due stati.
X-Chain
Percorso alternato su una singola cifra.
XY-Chain
Percorso attraverso caselle bivalue.
AIC
Quadro più generale delle Alternating Inference Chains, cioè catene di inferenza alternata.
Una trattazione completa delle AIC va oltre questa guida introduttiva.
Come imparare senza perdersi
- Padroneggia Strong vs Weak.
- Segui Chains astratte di quattro nodi.
- Trova gli stessi Links sulla griglia.
- Rileggi Skyscraper, Two-String Kite e W-Wing.
- Impara X-Chain corte.
- Impara XY-Chain corte.
- Passa solo dopo alle AIC più generali.
Errori comuni
Alternare linee senza verificare la logica
La relazione è più importante del disegno.
Leggere un Weak Link al contrario
Falso non forza il partner a vero a meno che la relazione sia anche Strong.
Costruire una Chain senza conclusione
La Chain deve dimostrare una mossa.
Iniziare dalla notazione formale
La notazione comprime una comprensione già presente.
Usare una Chain inutilmente lunga
Se una tecnica corta dimostra la stessa cosa, preferiscila.
FAQ
Le Chains sono sempre tecniche Expert?
No. Pattern corti come Skyscraper sono già forme di Chain accessibili.
XY-Wing può essere visto come una Chain?
Sì, come una breve XY-Chain.
Cos'è una AIC?
Una Alternating Inference Chain alterna implicazioni Strong e Weak.
Una Chain è un tentativo?
No. Ogni passaggio è forzato; un'ipotesi temporanea serve soltanto alla prova.
Cosa imparare dopo?
Passa a Simple Coloring, X-Chain e XY-Chain prima di studiare AIC più generali.