Onko olemassa kaavaa sudokun ratkaisemiseen?
Viimeksi päivitetty
Kaavaa ei ole. Sudoku ei ole matemaattinen ongelma - Se on logiikkapulma, joka sattuu käyttämään numeroita. Mikään yhtälö tai aritmeettinen kaava ei tuota vastausta suoraan. Mikä toimii, on systemaattinen rajoitusten poisto.
Miksi matematiikka ei ratkaise sitä
Numerot 1-9 Sudokussa ovat vain symboleja. Voisit korvata ne kirjaimilla tai väreillä, ja pulma olisi identtinen. Tärkeää on yksilöllisyys yksiköiden sisällä - Jokainen symboli esiintyy täsmälleen kerran jokaisella rivillä, sarakkeessa ja laatikossa. Solujen välillä ei ole aritmeettista suhdetta, jota kaava voisi hyödyntää.
Mikä todella toimii - Constraint Propagation
Sudoku on rajoitustäyttöongelma. Aloitat 81 solulla, joista jokaista rajoittaa sen rivi, sarake ja laatikko. Yhden numeron sijoittaminen levittää uusia rajoituksia - Tämä numero eliminoidaan 20 muusta solusta. Ketjureaktio jatkuu, kunnes pulma on ratkaistu tai tarvitaan monimutkaisempi tekniikka.
Tekniikkahierarkia, yksinkertaisimmasta vaikeimpaan:
- Naked singlet - Yksi ehdokas jäljellä solussa
- Hidden singlet - Yksi paikka numerolle yksikössä
- Naked ja hidden parit, kolmikot
- X-Wing, Swordfish
- Ketjut ja monivaiheinen logiikka
Mitä tietokoneet tekevät sen sijaan
Tietokoneet ratkaisevat Sudokun käyttämällä backtracking search -menetelmää - Kokeile digitiä, levitä rajoitteita ja peruuta, jos ristiriita saavutetaan. Ihmisille tämä vastaa arvaamista, mikä ei ole tyydyttävää eikä opettavaista. Ihmisratkaisu suosii aina deduktiivisia tekniikoita, jotka takaavat oikeellisuuden ilman yritystä ja erehdystä.