SOLO-003 · Sudoku classique
EXPERTLa maille inversée
Compléter entièrement la grille. Une seule solution respecte toutes les contraintes.
Corrigé — cette page contient la réponse.
La réponse exacte
345278916 / 791635824 / 862491537 / 529713468 / 673984152 / 184562379 / 218347695 / 937856241 / 456129783
| L / C | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 3 | 4 | 5 | 2 | 7 | 8 | 9 | 1 | 6 |
| 2 | 7 | 9 | 1 | 6 | 3 | 5 | 8 | 2 | 4 |
| 3 | 8 | 6 | 2 | 4 | 9 | 1 | 5 | 3 | 7 |
| 4 | 5 | 2 | 9 | 7 | 1 | 3 | 4 | 6 | 8 |
| 5 | 6 | 7 | 3 | 9 | 8 | 4 | 1 | 5 | 2 |
| 6 | 1 | 8 | 4 | 5 | 6 | 2 | 3 | 7 | 9 |
| 7 | 2 | 1 | 8 | 3 | 4 | 7 | 6 | 9 | 5 |
| 8 | 9 | 3 | 7 | 8 | 5 | 6 | 2 | 4 | 1 |
| 9 | 4 | 5 | 6 | 1 | 2 | 9 | 7 | 8 | 3 |
Le raisonnement
- Noter les candidats de chaque case en croisant ligne, colonne et région.
- Dans le certificat ci-dessous, les unités 1 à 9 sont les lignes, 10 à 18 les colonnes, 19 à 27 les régions. Les unités 28 et 29, si présentes, sont les diagonales.
- Un sous-ensemble nu de deux ou trois cases réserve autant de chiffres : ces chiffres sont exclus des autres cases de l’unité. Une interaction confine un chiffre dans l’intersection de deux unités et l’exclut du reste de la seconde.
- Chaque hypothèse ouvre une branche séparée. Ne jamais conserver dans la branche voisine une valeur trouvée sous une hypothèse abandonnée. Les contradictions et tous les chiffres déduits figurent dans l’arbre de preuve.
- La recherche trouve exactement une grille complète. Elle parcourt 3 états ; les 1 branches contradictoires sont refermées. Vérifier enfin chaque unité et chaque indice de départ.
Fausses pistes et erreurs
- Confondre une hypothèse temporaire avec une valeur démontrée.
- Utiliser un sous-ensemble de trois cases dont l’union contient quatre chiffres.
- Oublier une contrainte de variante ou conserver une donnée provenant d’une branche réfutée.
Déplier le certificat détaillé de recherche
Chaque branche est indépendante. L’arbre montre les déductions et contradictions du protocole utilisé ; ce n’est pas l’unique méthode possible.
- L2C2 : seule place du 9 dans l’unité 2 → 9
- L3C9 : seule place du 7 dans l’unité 3 → 7
- L5C5 : seule place du 8 dans l’unité 5 → 8
- L6C9 : seule place du 9 dans l’unité 6 → 9
- L5C4 : seule place du 9 dans l’unité 5 → 9
- L5C2 : seule place du 7 dans l’unité 5 → 7
- L4C4 : seule place du 7 dans l’unité 4 → 7
- L5C9 : seule place du 2 dans l’unité 5 → 2
- L4C2 : seule place du 2 dans l’unité 4 → 2
- L4C1 : seule place du 5 dans l’unité 4 → 5
- L6C7 : seule place du 3 dans l’unité 6 → 3
- L4C6 : seule place du 3 dans l’unité 4 → 3
- L7C8 : seule place du 9 dans l’unité 7 → 9
- L7C4 : seule place du 3 dans l’unité 7 → 3
- L8C3 : seule place du 7 dans l’unité 8 → 7
- L9C5 : seule place du 2 dans l’unité 14 → 2
- L9C4 : candidat unique → 1
- L8C9 : seule place du 1 dans l’unité 8 → 1
- L8C5 : seule place du 5 dans l’unité 14 → 5
- L9C6 : candidat unique → 9
- L8C6 : candidat unique → 6
- L7C5 : candidat unique → 4
- L7C3 : candidat unique → 8
- L7C7 : candidat unique → 6
- L5C7 : candidat unique → 1
- L4C7 : candidat unique → 4
- L4C8 : candidat unique → 6
- L4C5 : candidat unique → 1
- L5C1 : candidat unique → 6
- L6C5 : candidat unique → 6
- L3C2 : seule place du 6 dans l’unité 3 → 6
- L8C1 : seule place du 9 dans l’unité 8 → 9
- L9C8 : seule place du 8 dans l’unité 9 → 8
- L9C2 : seule place du 5 dans l’unité 9 → 5
- Sous-ensemble nu dans l’unité 2 : L2C4, L2C8, L2C9 réservent [2, 4, 6] ; retirer ces chiffres de L2C3.
- Interaction des unités 2 et 21 : le 4 de l’unité 2 est confiné dans leur intersection ; l’enlever de L1C9.
L1C2 = 3
Hypothèse : L1C2 = 3
- L8C2 : candidat unique → 4
- L8C8 : candidat unique → 3
- L3C8 : candidat unique → 2
- L2C8 : candidat unique → 4
- L1C9 : candidat unique → 6
contradiction : une case n’a plus aucun candidat
L1C2 = 4
Hypothèse : L1C2 = 4
- L8C2 : candidat unique → 3
- L8C8 : candidat unique → 4
- L2C8 : candidat unique → 2
- L2C4 : candidat unique → 6
- L1C4 : candidat unique → 2
- L1C3 : candidat unique → 5
- L1C6 : candidat unique → 8
- L1C1 : candidat unique → 3
- L1C9 : candidat unique → 6
- L2C3 : candidat unique → 1
- L2C6 : candidat unique → 5
- L2C7 : candidat unique → 8
- L2C9 : candidat unique → 4
- L3C1 : candidat unique → 8
- L3C3 : candidat unique → 2
- L3C6 : candidat unique → 1
- L3C7 : candidat unique → 5
- L3C8 : candidat unique → 3
- L6C3 : candidat unique → 4
- L6C1 : candidat unique → 1
- L9C1 : candidat unique → 4
- L9C9 : candidat unique → 3
solution complète valide
toutes les possibilités de cette bifurcation ont été examinées
Comment cette réponse a été vérifiée
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
{
"nodes": 3,
"branches": 1,
"contradictions": 1,
"depth": 1,
"pairs": 1,
"locked": 1
}Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 1 hypothèses imbriquées, examine 3 états et ferme 1 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.