Énoncé:
Su Doku (qui signifie "lieu des nombres" en japonais) est le nom donné à un concept de puzzle populaire. Son origine n'est pas claire, mais il faut en attribuer le mérite à Leonhard Euler, qui a inventé un concept de puzzle similaire, et beaucoup plus difficile, appelé carré latin. L'objectif des énigmes Su Doku, cependant, est de remplacer les blancs (ou zéros) dans une grille de $9$ par $9$ de telle sorte que chaque ligne, colonne et boîte de $3$ par $3$ contienne chacun des chiffres de $1$ à $9$. Vous trouverez ci-dessous un exemple d'une grille de départ typique et de sa grille de solution.
Une énigme Su Doku bien construite a une solution unique et peut être résolue par la logique, bien qu'il puisse être nécessaire d'employer des méthodes de "supposition et de test" afin d'éliminer des options (les avis sont très partagés à ce sujet). La complexité de la recherche détermine la difficulté du puzzle; l'exemple ci-dessus est considéré comme facile car il peut être résolu par déduction directe.
Le fichier texte de 6 Ko, sudoku.txt (clic droit, "Enregistrer le lien sous"), contient cinquante énigmes Su Doku différentes, dont la difficulté varie, mais qui ont toutes une solution unique (la première énigme du fichier est l'exemple ci-dessus).
En résolvant les cinquante puzzles, trouvez la somme des nombres à 3 chiffres trouvés dans le coin supérieur gauche de chaque grille de solution; par exemple, $483$ est le nombre à 3 chiffres trouvé dans le coin supérieur gauche de la grille de solution ci-dessus.
Lien du problème originel