Il Sudoku ha regole semplici ma una struttura molto profonda.
Nel classico 9×9 il giocatore deve soltanto rispettare:
- nove righe;
- nove colonne;
- nove blocchi 3×3;
- i numeri da 1 a 9 una sola volta per unità.
Da questi vincoli nascono domande più ampie:
- Quante griglie complete esistono?
- Quanti indizi servono almeno per determinare una soluzione unica?
- Come si verifica matematicamente l'unicità?
- Come viene generato un buon puzzle?
- Perché una griglia è Facile e un'altra Esperto?
- Qual è il rapporto tra Sudoku, quadrati latini, combinatoria ed Exact Cover?
La Teoria del Sudoku studia queste domande.
Un sistema di vincoli
Ogni casella non risolta parte da un insieme di possibilità.
Righe, colonne, blocchi e inserimenti già effettuati eliminano candidati.
Dal punto di vista del giocatore, questa propagazione appare come:
- Singles;
- Candidati bloccati;
- sottoinsiemi;
- Fish;
- Wings;
- Chains.
Dal punto di vista matematico o algoritmico, lo stesso puzzle può essere rappresentato come:
- problema di soddisfacimento di vincoli;
- Exact Cover;
- rete di conflitti;
- ricerca ricorsiva;
- formulazioni SAT.
La rappresentazione cambia.
Il Sudoku no.
Sudoku e quadrati latini
Un quadrato latino di ordine 9 usa nove simboli in modo che ciascuno appaia una volta in ogni riga e colonna.
Una griglia Sudoku completa rispetta questi vincoli più quelli dei blocchi 3×3.
Quindi:
Ogni griglia Sudoku classica completa è un quadrato latino con un vincolo regionale aggiuntivo.
Ma non ogni quadrato latino 9×9 è un Sudoku valido.
Esplora la teoria del SudokuSudoku e matematicaScopri la matematica del Sudoku: quadrati latini, vincoli, griglie soluzione, simmetrie, Exact Cover e algoritmi di ricerca.Leggi la guida teorica →Quante griglie complete esistono?
Il numero di griglie Sudoku classiche 9×9 complete è:
6 670 903 752 021 072 936 960
circa:
6,671 × 10²¹
Raggruppando poi le griglie equivalenti sotto le simmetrie standard del Sudoku, restano:
5 472 730 538
griglie essenzialmente diverse.
Esplora la teoria del SudokuSudoku e matematicaScopri la matematica del Sudoku: quadrati latini, vincoli, griglie soluzione, simmetrie, Exact Cover e algoritmi di ricerca.Leggi la guida teorica →Una soluzione completa non è ancora un puzzle
Una griglia piena di 81 valori è già una soluzione.
Per ottenere un puzzle bisogna scegliere quali numeri mantenere come indizi.
Ogni rimozione apre nuove domande:
- esiste ancora almeno una soluzione?
- è ancora unica?
- il puzzle è risolvibile con la libreria human-style prevista?
- quale difficoltà produce?
- la disposizione degli indizi è adatta al prodotto?
La generazione è quindi una pipeline di costruzione e validazione.
Esplora la teoria del SudokuCome vengono generati i SudokuScopri come un generatore crea una soluzione, rimuove indizi, verifica l’unicità, analizza il percorso umano e calibra la difficoltà.Leggi la guida teorica →Soluzione unica
Una griglia iniziale può avere:
- zero soluzioni;
- una soluzione;
- più soluzioni.
I Sudoku classici pubblicati mirano normalmente a una sola soluzione.
L'unicità è importante per:
- validità;
- generazione;
- conteggio delle soluzioni;
- tecniche facoltative come Unique Rectangle.
Ma non equivale a:
- difficoltà;
- eleganza;
- risolvibilità con una specifica libreria di tecniche umane.
Il minimo di indizi
Se richiediamo una soluzione unica possiamo chiedere:
Qual è il numero minimo di indizi iniziali possibile in un Sudoku classico 9×9?
La risposta provata è:
17
Esistono Sudoku unici a 17 indizi.
È stato dimostrato con ricerca esaustiva assistita da computer che non esiste alcun Sudoku classico unico con 16 indizi.
Esplora la teoria del SudokuNumero minimo di indizi nel SudokuScopri perché un Sudoku classico 9×9 unico richiede almeno 17 indizi e come una ricerca esaustiva ha escluso tutti i casi a 16.Leggi la guida teorica →Minimo e minimale non sono la stessa cosa
Minimo
Il numero globale più basso possibile di indizi.
Nel classico 9×9 unico:
17.
Puzzle minimale
Puzzle in cui rimuovere qualsiasi indizio presente distrugge l'unicità.
Un Sudoku minimale può avere più di 17 indizi.
Sono concetti diversi.
La difficoltà modella il lavoro umano
Il numero di indizi non determina da solo la difficoltà.
Un modello utile può considerare:
- tecnica più avanzata necessaria;
- numero di passaggi;
- dipendenze tra passaggi;
- densità dei candidati;
- difficoltà di riconoscimento;
- dati reali dei giocatori.
La difficoltà deve quindi riflettere il percorso di risoluzione umano.
Esplora la teoria del SudokuCome viene valutata la difficoltà del SudokuScopri perché la difficoltà dipende da tecniche, sforzo, dipendenze tra passaggi e dati dei giocatori, non soltanto dal numero di indizi.Leggi la guida teorica →Perché questa teoria conta per il prodotto
Solver completo
Risponde:
- esiste una soluzione?
- è unica?
Solver human-style
Produce:
- passaggi nominati;
- eliminazioni spiegabili;
- percorso didattico;
- dati per il rating.
Generatore
Combina:
- griglia soluzione;
- scelta degli indizi;
- verifica di unicità;
- analisi human-style;
- rating;
- filtri di qualità.
Separare questi ruoli rende il sistema più robusto.
Theory, Guides e Learn
Guides
Cos'è questo concetto e come funziona?
Learn
Riesco a riconoscerlo e applicarlo?
Theory
Quale proprietà profonda del Sudoku rende il concetto possibile?
Esempio:
Soluzioni uniche
↓
Unique Rectangle
↓
esercizio LearnPagine Theory
- Numero minimo di indizi
- Soluzioni uniche
- Sudoku e matematica
- Come vengono generati i Sudoku
- Come viene valutata la difficoltà
FAQ
Il Sudoku richiede matematica?
Non aritmetica. I numeri funzionano soprattutto come simboli distinti.
Un Sudoku a 17 indizi è automaticamente Esperto?
No.
Un puzzle unico è automaticamente ben costruito?
No.
Perché servono solver diversi?
Perché validità/unicità e percorso umano spiegabile sono problemi differenti.
Cosa leggere dopo?
Apri la pagina Theory relativa alla domanda che ti interessa. La sezione non è un corso lineare obbligatorio.