Is er een formule om een Sudoku op te lossen?
Laatst bijgewerkt
Er is geen formule. Sudoku is geen wiskundig probleem - Het is een logische puzzel die toevallig digits gebruikt. Geen vergelijking of rekenkundige formule produceert het antwoord direct. Wat werkt is systematische constraint eliminatie.
Waarom wiskunde het niet zal oplossen
De cijfers 1-9 in Sudoku zijn slechts symbolen. Je zou ze kunnen vervangen door letters of kleuren en de puzzel zou identiek zijn. Wat telt is uniciteit binnen units - Elk symbool verschijnt precies één keer in elke rij, kolom en box. Er is geen rekenkundige relatie tussen cellen die een formule kan exploiteren.
Wat echt werkt - Constraint Propagation
Sudoku is een constraint-satisfaction problem. Je begint met 81 cellen, elk beperkt door zijn rij, kolom en box. Het plaatsen van één cijfer verspreidt nieuwe constraints - Dat cijfer wordt geëlimineerd uit 20 andere cellen. De kettingreactie gaat door totdat de puzzel is opgelost of een complexere techniek nodig is.
De techniekhiërarchie, van eenvoudigst naar moeilijkst:
- Naked singles - Eén kandidaat over in een cel
- Hidden singles - Eén positie voor een cijfer in een unit
- Naked and hidden pairs, triples
- X-Wing, Swordfish
- Chains en multi-step logic
Wat computers in plaats daarvan doen
Computers lossen Sudoku op met backtracking search - Probeer een cijfer, verspreid beperkingen, en keer terug als een tegenstrijdigheid wordt bereikt. Voor mensen is dit gelijk aan raden, wat noch bevredigend noch leerzaam is. Menselijk oplossen geeft altijd de voorkeur aan deductieve technieken die correctheid garanderen zonder enig trial and error.