Finns det en formel för att lösa ett Sudoku?
Senast uppdaterad
Det finns ingen formel. Sudoku är inte ett matematiskt problem - Det är ett logikpussel som råkar använda siffror. Ingen ekvation eller aritmetisk formel producerar svaret direkt. Det som fungerar är systematisk constraint elimination.
Varför matematik inte kommer att lösa det
Siffrorna 1-9 i Sudoku är bara symboler. Du skulle kunna ersätta dem med bokstäver eller färger och pusslet skulle vara identiskt. Det som spelar roll är unikhet inom enheter – Varje symbol förekommer exakt en gång i varje rad, kolumn och ruta. Det finns inget aritmetiskt förhållande mellan celler som en formel kan utnyttja.
Vad som faktiskt fungerar - Constraint Propagation
Sudoku är ett begränsningstillfredsställelseproblem. Du börjar med 81 celler, varje begränsad av sin rad, kolumn och ruta. Att placera en siffra sprider nya begränsningar – Den siffran elimineras från 20 andra celler. Kedjereaktionen fortsätter tills pusslet är löst eller en mer komplex teknik behövs.
Teknikhierarkin, enklast till svårast:
- Nakna singlar – En kandidat kvar i en cell
- Dolda singlar – En position för en siffra i en enhet
- Nakna och dolda par, tripplar
- X-Wing, Swordfish
- Kedjor och flerstegslogik
Vad datorer gör istället
Datorer löser Sudoku med backtracking-sökning - Prova en siffra, propagera begränsningar, och vänd om en motsägelse nås. För människor är detta likvärdigt med gissning, vilket varken är tillfredsställande eller lärorikt. Mänsklig lösning föredrar alltid deduktiva tekniker som garanterar korrekthet utan något trial and error.