In questa pagina
Un Sudoku ha soluzione unica quando esiste esattamente un completamento che soddisfa tutti i clues iniziali e le regole di riga, colonna e blocco.
L'unicità è una proprietà dell'intero puzzle, non una regola locale visibile in una singola cella.
I tre possibili stati del conteggio soluzioni
Nessuna soluzione
I clues sono incompatibili oppure qualche vincolo rende impossibile completare la griglia.
Esattamente una soluzione
Un solo completamento soddisfa tutti i vincoli. È lo stato normalmente desiderato per un puzzle classico pubblicato.
Più di una soluzione
Due o più griglie complete sono compatibili con gli stessi clues. Il puzzle è sottodeterminato rispetto allo standard “unique”.
Gli indizi sono in conflitto, quindi nessuna griglia completata può soddisfarli tutti.
Questo è l'obiettivo previsto per i Sudoku classici pubblicati.
Gli indizi non contengono abbastanza informazioni per forzare un'unica risposta finale.
L'unicità non è una quarta regola del Sudoku
Le regole classiche dicono che ogni riga, colonna e blocco contiene 1–9 una volta. Una griglia di partenza può rispettare queste regole localmente e ammettere comunque più soluzioni.
Quindi “il puzzle è unico” deve essere verificato o dichiarato come proprietà aggiuntiva.
Un candidato legale non è necessariamente la soluzione
Se 7 può stare legalmente in una cella, significa solo che non viola ancora un clue o un valore risolto. Potrebbero esistere completamenti globali in cui quella candidatura fallisce e altri in cui sembra inizialmente possibile.
La soluzione emerge dalla combinazione di tutti i vincoli.
Come può un Sudoku avere più soluzioni?
Se i clues non eliminano abbastanza gradi di libertà, alcune regioni possono essere completate in modi differenti mantenendo valide tutte le unità. Spesso i completamenti differiscono in un piccolo pattern scambiabile, ma possono differire anche in zone più ampie.
Un puzzle con più soluzioni può comunque rispettare le regole Sudoku?
Sì. Ogni singolo completamento può essere perfettamente valido. Il problema è che i clues iniziali non determinano quale completamento sia quello previsto.
Come il software verifica l'unicità
Un solver completo cerca soluzioni e si ferma normalmente dopo aver trovato la seconda:
- trova un primo completamento;
- continua la ricerca escludendo quel percorso o esplorando rami alternativi;
- se trova una seconda soluzione, il puzzle non è unico;
- se lo spazio di ricerca viene esaurito senza seconda soluzione, l'unicità è provata.
Backtracking, exact cover, SAT o altri solver possono svolgere questo compito.
Perché le sole tecniche human-style non equivalgono a una prova di unicità
Un analizzatore human-style può trovare un percorso fino a una soluzione. Questo dimostra che esiste almeno un completamento, ma non esclude automaticamente che ne esista un altro raggiungibile con scelte diverse.
Per il conteggio soluzioni serve un solver completo o una prova matematica equivalente.
Perché i generatori ricontrollano l'unicità
Ogni volta che un generatore rimuove un clue, il numero di soluzioni può cambiare da uno a molti. La verifica deve quindi essere ripetuta durante la costruzione o almeno su ogni candidato puzzle finale.
Unico non significa facile
Un puzzle può avere esattamente una soluzione e richiedere Chains esperte o un percorso molto stretto.
Esplora la teoria del SudokuCome viene valutata la difficoltà del SudokuScopri come si calcola la difficoltà Sudoku usando solve path, tecniche richieste, lavoro, dipendenze, recognition cost e dati dei giocatori.Leggi la guida teorica →Unico non significa minimal
Un puzzle può essere unico ma contenere clues ridondanti. “Minimal” richiede che la rimozione di qualsiasi clue distrugga l'unicità.
Esplora la teoria del SudokuNumero minimo di clues nel SudokuScopri perché un Sudoku classico 9×9 unico richiede almeno 17 clues, come è stato escluso il caso 16 e cosa significa minimal.Leggi la guida teorica →Unico non significa ben progettato
Unicità è necessaria per molti prodotti, ma non garantisce estetica, difficoltà appropriata, percorso didattico, varietà o assenza di mosse brutte.
Perché l'unicità conta per Unique Rectangle
Unique Rectangle evita una configurazione che permetterebbe due completamenti. L'eliminazione è valida soltanto quando il puzzle è noto come unico.
Unicità e guessing sono domande diverse
“Ha una sola soluzione?” è una proprietà globale del puzzle. “Posso risolverlo senza guessing con la mia libreria di tecniche?” riguarda il percorso di risoluzione. Un puzzle può essere unico e tuttavia superare le capacità del giocatore corrente.
Cosa succede se un Sudoku pubblicato ha più soluzioni?
Dal punto di vista di un prodotto classico che promette unicità, è un difetto di contenuto. Il puzzle dovrebbe essere ritirato/corretto e qualsiasi tecnica basata sulla premessa di unicità non dovrebbe essere applicata a quella versione.
FAQ
Ogni Sudoku ha una soluzione?
No. Una griglia di partenza può avere zero, una o più soluzioni.
Un Sudoku classico pubblicato dovrebbe avere esattamente una soluzione?
Normalmente sì, se il prodotto lo presenta come puzzle standard ben formato.
L'unicità è una delle regole base di riga, colonna e blocco?
No. È una proprietà aggiuntiva del puzzle completo.
Un Sudoku può avere due soluzioni valide senza infrangere le regole?
Sì. Due completamenti distinti possono entrambi rispettare tutte le regole.
Un puzzle può essere unico ma estremamente difficile?
Sì. Unicità e difficoltà sono indipendenti.
Trovare una soluzione dimostra l'unicità?
No. Dimostra soltanto che esiste almeno una soluzione.
Come può il software verificare l'unicità in modo efficiente?
Usa un solver completo e interrompe la ricerca non appena trova una seconda soluzione; se esaurisce lo spazio dopo una sola, il puzzle è unico.
Ogni Sudoku unico è minimal?
No. Può contenere clues rimovibili pur restando unico.
Posso usare Unique Rectangle senza premessa di unicità?
Non in sicurezza nella forma standard basata sul deadly pattern.
Cosa imparare dopo
Collega unicità a Minimum Clues, Generazione, Unique Rectangle e Difficulty Rating.