Esiste una formula per risolvere un Sudoku?
Ultimo aggiornamento
Non esiste una formula. Il Sudoku non è un problema matematico - È un puzzle logico che usa cifre. Nessuna equazione o formula aritmetica produce direttamente la risposta. Ciò che funziona è l'eliminazione sistematica dei vincoli.
Perché la matematica non lo risolverà
Le cifre 1-9 nel Sudoku sono solo simboli. Potresti sostituirle con lettere o colori e il puzzle sarebbe identico. Ciò che conta è l'unicità all'interno delle unità - Ogni simbolo appare esattamente una volta in ogni riga, colonna e box. Non esiste una relazione aritmetica tra le celle che una formula possa sfruttare.
Cosa funziona davvero - Propagazione dei vincoli
Il Sudoku è un problema di soddisfacimento di vincoli. Inizi con 81 celle, ciascuna vincolata dalla sua riga, colonna e box. Posizionare una cifra propaga nuovi vincoli - Quella cifra viene eliminata da altre 20 celle. La reazione a catena continua fino a quando il puzzle è risolto o è necessaria una tecnica più complessa.
La gerarchia delle tecniche, dalla più semplice alla più difficile:
- Naked singles - Un candidato rimanente in una cella
- Hidden singles - Una posizione per una cifra in un'unità
- Naked e hidden pairs, triples
- X-Wing, Swordfish
- Catene e logica a più passaggi
Cosa fanno invece i computer
I computer risolvono il Sudoku usando backtracking search - Prova una cifra, propaga i vincoli e inverti se viene raggiunta una contraddizione. Per gli umani questo è equivalente a indovinare, che non è né soddisfacente né istruttivo. La risoluzione umana preferisce sempre tecniche deduttive che garantiscono correttezza senza alcun tentativo ed errore.