Comment résoudre un sudoku sans jamais deviner
Deviner a l’air productif, parce qu’un chiffre atterrit sur la grille — mais cela remplace une énigme par deux branches incertaines. Un sudoku bien construit se traite comme une chaîne de déductions vérifiables : chaque placement ou retrait de candidat suit la ligne, la colonne, le bloc ou un motif reconnu. Résoudre sans deviner ne veut pas dire que chaque coup est évident. Cela veut dire que vous séparez possibilités et engagements, tenez des candidats exacts, et changez de technique quand le scan actuel ne produit plus d’information.
Un candidat est une possibilité. Un chiffre posé est une conclusion. Ne confondez jamais les deux.
Qu’est-ce qui compte comme une conjecture ?
Deviner, c’est s’engager sur un chiffre sans preuve logique, souvent avec l’idée d’annuler si une contradiction apparaît. Les notes de candidats ne sont pas des conjectures : elles enregistrent chaque valeur encore autorisée par les contraintes connues. Les éliminations avancées n’en sont pas non plus lorsque le motif est valide. Un X-Wing, par exemple, ne dit pas où va le chiffre, mais prouve où il ne peut pas aller. Le test pratique est simple : avant de changer la grille, pouvez-vous énoncer une règle vraie dans toute complétion possible ?
Une méthode répétable sans conjecture
- Scannez les placements directs. Commencez par les singles nus et les singles cachés dans les lignes, colonnes et blocs chargés. Revérifiez les unités touchées par chaque nouveau placement.
- Construisez des listes de candidats honnêtes. Quand le scan direct s’arrête, notez les chiffres autorisés par les trois contraintes. Retirez les notes périmées tout de suite après chaque placement.
- Cherchez dans un ordre de techniques fixe. Essayez paires, candidats bloqués, triplets et motifs fish seulement après épuisement des déductions plus simples. Un ordre stable évite de chasser au hasard sur toute la grille.
- Exigez une preuve énoncée. Nommez la source et la conséquence : « le 5 est verrouillé sur la ligne 2 dans ce bloc, donc le 5 ne peut pas apparaître ailleurs en ligne 2. » Si la phrase est floue, n’effacez pas le candidat.
- Changez de point de vue en cas de blocage. Vérifiez les notes, changez de chiffre candidat ou d’unité scannée, et revenez aux singles. Ne transformez pas la frustration en placement sans preuve.
Exemple : remplacer une conjecture à deux voies par de la logique
Supposez que r6c4 contienne les candidats {3,8}. Choisir le 3 serait une conjecture, car les deux valeurs respectent encore les règles immédiates de ligne, colonne et bloc. Au lieu de ramifier, inspectez où 3 et 8 apparaissent dans les unités liées et cherchez un motif qui retire l’un des deux candidats.
- Ne placez aucun des deux candidats. Laissez {3,8} en note. L’absence de doublon immédiat ne prouve pas qu’une branche est correcte ; les contradictions peuvent apparaître bien plus tard.
- Inspectez les positions dans le bloc. Si tous les 3 du bloc sont en ligne 6, le bloc pointe vers la ligne 6. Retirez le 3 des autres cases de la ligne 6 hors du bloc, via les candidats bloqués.
- Propagez l’élimination. Supposez que r6c9 passe de {3,5} à {5}. Placez le 5, puis mettez à jour la ligne 6, la colonne 9 et son bloc. Ce nouveau chiffre peut retirer le 8 d’un voisin de r6c4.
- Ne revenez que lorsque c’est justifié. Si plus tard la logique retire le 8 de r6c4, placez le 3 et notez la raison. La même valeur finale est alors une conclusion, pas une branche testée au hasard.
Habitudes qui déguisent la conjecture
Traiter un chiffre plausible comme « évident »
Une valeur peut coller à la ligne, la colonne et le bloc actuels tout en étant fausse. « Ça a l’air juste » n’est pas une règle ; identifiez le single, le sous-ensemble ou le motif qui la force.
Utiliser des contradictions sans suivre les branches
Les branches d’essai deviennent longues et sujettes à l’erreur. Si vous apprenez la résolution logique, évitez-les pour que la technique que la grille enseigne reste visible.
Faire confiance à des candidats périmés
Un motif avancé valide bâti sur des notes dépassées n’est pas valide. Revérifiez les cases de candidats contre les chiffres posés avant une élimination à fort impact.
Liste de contrôle pour résoudre sans deviner
- Avant chaque placement, nommez s’il s’agit d’un single nu, d’un single caché, ou de la conséquence d’une élimination précise.
- Utilisez les notes pour les possibilités non résolues et réservez les grands chiffres aux valeurs prouvées par la logique.
- En cas de blocage de deux minutes, auditez une ligne, une colonne et un bloc au lieu de tester un candidat.
- Après Annuler, trouvez l’étape exacte sans preuve et restaurez la logique des candidats plutôt que d’essayer l’autre branche.
Le remède à la conjecture n’est pas plus de prudence autour d’une case ; c’est un meilleur processus pour toute la grille. Adoptez un scan fixe, tenez les candidats, exigez une raison, et changez de point de vue quand la progression s’arrête. Commencez par des grilles Classique Moyen ou Difficile, où les techniques requises sont assez visibles pour s’entraîner, et assez variées pour que la boucle sans conjecture ait du sens.
FAQ : résoudre sans deviner
Tout sudoku valide se résout-il sans conjecture ?
Une grille bien construite est censée avoir une solution unique, mais les méthodes logiques requises peuvent dépasser la boîte à outils actuelle d’un joueur. En pratique, les niveaux publiés visent un ensemble connu de techniques.
Utiliser un indice, c’est la même chose que deviner ?
Non. Un indice utile identifie un coup logiquement fondé. Traitez-le comme une leçon : nommez la technique, vérifiez pourquoi elle marche, et cherchez le même motif plus tard dans la résolution.
Les notes de candidats sont-elles autorisées en résolution logique ?
Oui. Les candidats représentent les possibilités restantes. L’essentiel est de les entrer et de les retirer selon les contraintes, pas comme des réponses finales provisoires.
Que faire si aucune technique connue ne marche ?
D’abord auditez les notes et rescanez les singles. Puis comparez le niveau de la grille à votre ensemble de techniques. Étudier la méthode suivante vaut mieux qu’un engagement inexpliqué.
Le backtracking compte-t-il comme un algorithme valide ?
Oui pour les logiciels et la vérification de solution. Ce guide vise la résolution logique humaine : expliquer chaque déduction et apprendre la structure de la grille.
