In questa pagina
Il Sudoku è un puzzle logico perché ogni mossa valida deve seguire da vincoli dichiarati. Una tecnica non è utile per il nome o per la forma: è utile perché trasforma ciò che sappiamo sui candidati in una prova.
Una prova produce normalmente un inserimento — una cifra deve andare in una cella — oppure un'eliminazione — una cifra non può andare in una cella.
Full House, Naked Single, Hidden Single e qualsiasi inserimento creato dopo eliminazioni.
I conflitti tra peer, i Locked Candidates, i Fish e molte Chains terminano con eliminazioni.
Subset, coppie coniugate e Fish funzionano riservando cifre a una struttura più piccola.
I collegamenti forti e deboli si combinano in Chains, coloring, AIC e metodi di forcing.
Cosa significa “logico” nel Sudoku?
Una deduzione è logica quando la conclusione segue necessariamente dalle regole e dalle eventuali premesse esplicite. Le regole classiche sono una copia di ogni cifra in ogni riga, colonna e blocco. Tecniche di unicità possono aggiungere la premessa “questo puzzle è verificato come a soluzione unica”.
Una Chain lunga può essere perfettamente logica; un placement scelto “perché sembra giusto” resta un guess.
Quattro tipi ricorrenti di informazione Sudoku
1. Valore forzato
Una cifra è dimostrata come unica possibilità per una cella o unica posizione per una cifra in una unità. Esempi: Full House, Naked Single, Hidden Single o una conseguenza di eliminazioni avanzate.
2. Valore proibito
Una candidatura è dimostrata impossibile. Peer già risolti, Locked Candidates, subsets, Fish e Chains producono spesso questo tipo di informazione.
3. Riserva
Un gruppo di celle riserva un insieme di cifre senza sapere ancora l'ordine finale. Naked/Hidden Subsets e molte strutture base-cover sono esempi di capacità riservata.
4. Implicazione
Lo stato di una candidatura forza lo stato di un'altra: Strong Link falso→vero, Weak Link vero→falso. Le Chains combinano queste relazioni.
I candidati sono un modello dell'incertezza
Un candidato non significa “questa cifra probabilmente va qui”. Significa soltanto che non è stata ancora esclusa dai vincoli attuali. Mantenere candidati completi e aggiornati rende esplicita l'incertezza che le tecniche devono ridurre.
Legale è più debole di risolto
Se 7 è legalmente possibile in una cella, non significa che 7 sia il valore corretto. “Legale” vuol dire soltanto che nessuna regola locale lo vieta ancora. Per inserirlo serve una prova che renda false le alternative o che renda quella posizione unica.
Ragionamento cell-first
Guarda una singola cella e il suo set di candidati. È naturale per Naked Singles, Naked Subsets, Wings e Chains bivalue.
Ragionamento digit-first
Scegli una cifra e traccia tutte le sue posizioni in righe, colonne e blocchi. È naturale per Hidden Singles, Locked Candidates, Fish, Coloring e X-Chains.
Ragionamento unit-first
Considera una riga, colonna o blocco come oggetto completo. Conta celle, cifre e riserve. È particolarmente utile per subsets e intersezioni.
Logica locale e logica distribuita
Deduzioni locali
La prova è concentrata in una cella o in una unità: Single, Pair, Pointing, Claiming.
Deduzioni distribuite
La prova collega zone lontane della griglia: Fish, Wings, Coloring, Chains, AIC. Le regole non cambiano; cambia quanto lontano devi seguire le conseguenze.
Contare è una delle idee più profonde e ricorrenti del Sudoku
Molte tecniche sono argomenti di capacità: un certo numero di celle deve ospitare un certo numero di cifre.
Conteggio nei subsets
N celle che possono contenere soltanto N cifre riservano quelle cifre e le eliminano dal resto dell'unità.
Conteggio nei Hidden Subsets
N cifre che possono comparire soltanto in N celle riservano quelle celle, permettendo di rimuovere candidati esterni dal subset.
Conteggio nei Fish
N unità base confinano una cifra dentro N unità cover; le N copie richieste occupano le cover e permettono eliminazioni esterne.
Strong e Weak Links sono linguaggio di implicazione
Weak Link
Due stati non possono essere entrambi veri: A vero → B falso.
Strong Link
Due stati non possono essere entrambi falsi: A falso → B vero.
Le coppie coniugate e le celle bivalue spesso soddisfano entrambe le proprietà.
Le Chains trasformano implicazioni in prove
Alternando Strong e Weak, uno stato può propagarsi attraverso molti candidati. Gli endpoint possono dimostrare che almeno uno è vero, che un candidato è falso o che una ipotesi conduce a contraddizione.
La contraddizione è un metodo di prova
Supporre temporaneamente A e dimostrare che A rende impossibile una regola, una cella o una unità significa che A è falso. Questo è ragionamento per assurdo, non guessing casuale, purché ogni passaggio sia forzato.
Prova diretta e prova per contraddizione possono descrivere la stessa logica
Una tecnica può essere spiegata come “queste cifre sono riservate qui, quindi X è impossibile” oppure come “se X fosse vero, la riserva non potrebbe essere soddisfatta”. Le formulazioni differiscono ma possono rappresentare la stessa necessità logica.
Un pattern valido non è sempre una mossa utile
Puoi trovare una Naked Pair che non elimina nulla o una X-Chain con endpoint senza target comune. Riconoscere una struttura e produrre una deduzione sono due cose diverse.
La cascata di dipendenze
Una eliminazione modifica un set di candidati; questo può creare un Single, restringere una cifra in una unità, creare una coppia coniugata e quindi aprire una Chain. Le tecniche non vivono isolate: ogni deduzione cambia il grafo logico del puzzle.
Solver di correttezza e solver human-style rispondono a domande diverse
Solver completo / contatore di soluzioni
Cerca uno o tutti i completamenti validi e può usare backtracking, exact cover o SAT. Risponde a “esiste una soluzione?” e “quante soluzioni ci sono?”.
Analizzatore human-style
Cerca il prossimo passo spiegabile usando una libreria di tecniche e restituisce una prova leggibile. Può fallire nel trovare una mossa anche quando un solver completo sa che la soluzione esiste.
L'unicità è una premessa aggiuntiva
Un puzzle può rispettare le regole ma avere più soluzioni. Unique Rectangle e BUG+1 richiedono che la singola soluzione sia stata verificata. Non trasformare questa proprietà editoriale del puzzle in una regola universale.
La logica non richiede un unico ordine universale di tecniche
Due solver possono trovare mosse diverse entrambe valide. Un buon ordine pratico privilegia deduzioni semplici prima di quelle costose, ma la correttezza non dipende dal fatto che tutti scelgano la stessa mossa successiva.
Un modello compatto di risoluzione logica
- rappresenta le possibilità correnti;
- trova una restrizione o relazione utile;
- formula la premessa;
- deriva una conseguenza necessaria;
- applica placement/eliminazione;
- aggiorna i candidati;
- ripeti con la nuova informazione.
FAQ
Eliminare un candidato è una vera mossa Sudoku?
Sì. Ridurre possibilità è progresso logico anche quando non produce immediatamente un numero grande nella griglia.
Le tecniche avanzate usano regole Sudoku diverse?
Normalmente no: combinano le stesse regole su strutture più distribuite. Le tecniche di unicità aggiungono esplicitamente una premessa sul numero di soluzioni.
La contraddizione è la stessa cosa che indovinare?
No. Se l'ipotesi viene seguita solo attraverso conseguenze forzate fino a una impossibilità, è una prova logica.
Perché due solver possono trovare mosse successive diverse?
Perché una griglia può contenere più deduzioni valide contemporaneamente e ogni solver usa priorità o librerie diverse.
Ogni pattern valido produce un'eliminazione?
No. Serve un target che soddisfi le condizioni della tecnica.
La logica Sudoku è soltanto eliminazione?
No. Comprende inserimenti, eliminazioni, riserve, implicazioni e prove per contraddizione.
Usare un solver al computer è ancora “logica”?
Un algoritmo può essere logicamente corretto, ma un solver completo che usa ricerca risponde a una domanda diversa da un percorso human-style senza guessing.
Cosa imparare dopo
Leggi Bisogna indovinare nel Sudoku? per il confine tra prova e ricerca, Sudoku e matematica per i modelli formali e Chains per applicare direttamente le implicazioni.