Finnes det en formel for å løse en Sudoku?
Sist oppdatert
Det finnes ingen formel. Sudoku er ikke et matematisk problem - Det er et logisk puslespill som tilfeldigvis bruker sifre. Ingen ligning eller aritmetisk formel produserer svaret direkte. Det som fungerer er systematisk begrensningseliminering.
Hvorfor matematikk ikke vil løse det
Sifrene 1-9 i Sudoku er bare symboler. Du kunne erstatte dem med bokstaver eller farger og puslespillet ville være identisk. Det som betyr noe er unikhet innen enheter - Hvert symbol vises nøyaktig én gang i hver rad, kolonne og boks. Det er ingen aritmetisk relasjon mellom celler som en formel kan utnytte.
Hva som faktisk fungerer - Constraint Propagation
Sudoku er et begrensningsoppfyllelsesproblem. Du starter med 81 celler, hver begrenset av sin rad, kolonne og boks. Å plassere ett siffer sprer nye begrensninger - Det sifferet elimineres fra 20 andre celler. Kjedereaksjonen fortsetter til puslespillet er løst eller en mer kompleks teknikk er nødvendig.
Teknikkhierarkiet, enklest til vanskeligst:
- Nakne singler - En kandidat gjenstår i en celle
- Skjulte singler - En posisjon for et siffer i en enhet
- Nakne og skjulte par, tripler
- X-Wing, Swordfish
- Kjeder og flertrinns logikk
Hva datamaskiner gjør i stedet
Datamaskiner løser Sudoku ved å bruke tilbakesporingssøk - Prøv et siffer, forplant begrensninger, og reverser hvis en motsigelse nås. For mennesker tilsvarer dette gjetting, som verken er tilfredsstillende eller lærerikt. Menneskelig løsning foretrekker alltid deduktive teknikker som garanterer korrekthet uten prøving og feiling.