Sudoku Le Sudoku possède une belle courbe d’apprentissage. Au début, vous cherchez les chiffres manquants évidents. Puis vous notez les candidats. Ensuite, une grille refuse d’avancer jusqu’à ce que vous repériez une paire, un candidat verrouillé, un poisson, une aile, une chaîne ou une astuce d’unicité.
Voici une liste large et pratique des techniques de Sudoku. Elle ne remplace pas les tutoriels complets : c’est une carte. Quand nous avons déjà un guide complet, le nom de la technique mène vers celui-ci.
Les techniques les plus utiles sont le balayage, le cross-hatching, les naked singles, hidden singles, candidats verrouillés, paires nues, paires cachées, X-Wing, Swordfish, XY-Wing, Simple Colouring, Unique Rectangles, chaînes et Almost Locked Sets.
Techniques de Sudoku pour débutants
Ces techniques sont la base : rapides, fiables et présentes dans presque toutes les grilles.
Scanning
Scanning est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Cross-Hatching
Cross-Hatching est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Counting
Counting est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Full House
Full House est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Last Free Cell
Last Free Cell est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Last Possible Number
Last Possible Number est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Last Remaining Cell
Last Remaining Cell est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Candidate Elimination
Candidate Elimination est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Pencil Marks
Pencil Marks est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Snyder Notation
Snyder Notation est une technique de base qui aide à placer des chiffres ou à nettoyer les candidats sans logique avancée.
Singles, paires, triples et quads
Les sous-ensembles utilisent de petits groupes de cellules ou de candidats dans une même maison.
Naked Single
Naked Single repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Hidden Single
Hidden Single repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Naked Pair
Naked Pair repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Hidden Pair
Hidden Pair repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Naked Triple
Naked Triple repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Hidden Triple
Hidden Triple repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Naked Quad
Naked Quad repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Hidden Quad
Hidden Quad repère un petit ensemble de candidats dans une maison pour supprimer les possibilités qui ne peuvent plus aller ailleurs.
Techniques de candidats verrouillés
Les candidats verrouillés relient les blocs aux lignes et colonnes.
Locked Candidates
Locked Candidates exploite l’interaction entre un bloc et une ligne ou colonne pour retirer un candidat impossible.
Pointing Pair
Pointing Pair exploite l’interaction entre un bloc et une ligne ou colonne pour retirer un candidat impossible.
Pointing Triple
Pointing Triple exploite l’interaction entre un bloc et une ligne ou colonne pour retirer un candidat impossible.
Box/Line Reduction
Box/Line Reduction exploite l’interaction entre un bloc et une ligne ou colonne pour retirer un candidat impossible.
Claiming Pair or Triple
Claiming Pair or Triple exploite l’interaction entre un bloc et une ligne ou colonne pour retirer un candidat impossible.
Techniques de poissons
Les poissons examinent un seul candidat dans plusieurs lignes et colonnes pour forcer des éliminations.
X-Wing
X-Wing suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Swordfish
Swordfish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Jellyfish
Jellyfish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Finned X-Wing
Finned X-Wing suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Finned Swordfish
Finned Swordfish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Finned Jellyfish
Finned Jellyfish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Sashimi X-Wing
Sashimi X-Wing suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Sashimi Swordfish
Sashimi Swordfish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Turbot Fish
Turbot Fish suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Two-String Kite
Two-String Kite suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Empty Rectangle
Empty Rectangle suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Skyscraper
Skyscraper suit un seul candidat dans plusieurs lignes et colonnes afin de verrouiller ses positions et forcer des éliminations.
Techniques d’ailes
Les ailes utilisent quelques cellules pour créer une alternative logique et éliminer un candidat.
XY-Wing
XY-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
XYZ-Wing
XYZ-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
W-Wing
W-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
WXYZ-Wing
WXYZ-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
M-Wing
M-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
S-Wing
S-Wing utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
XY-Chain
XY-Chain utilise quelques cellules liées pour montrer qu’un candidat partagé ne peut pas survivre dans certaines cases.
Chaînes et coloration
Les chaînes suivent ce qui doit être vrai ou faux ; la coloration rend ces relations visibles.
Simple Colouring
Simple Colouring suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Multi-Colouring
Multi-Colouring suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Remote Pairs
Remote Pairs suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
X-Chain
X-Chain suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Alternating Inference Chain (AIC)
Alternating Inference Chain (AIC) suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Nice Loop
Nice Loop suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Grouped AIC
Grouped AIC suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Forcing Chain
Forcing Chain suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Nishio
Nishio suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
3D Medusa
3D Medusa suit une chaîne de conséquences vrai/faux pour prouver une élimination ou un placement.
Techniques d’unicité
Ces techniques supposent qu’un Sudoku bien construit possède une seule solution.
Unique Rectangle
Unique Rectangle utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Unique Rectangle Type 1
Unique Rectangle Type 1 utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Unique Rectangle Type 2
Unique Rectangle Type 2 utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Unique Rectangle Type 3
Unique Rectangle Type 3 utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Unique Rectangle Type 4
Unique Rectangle Type 4 utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Hidden Rectangle
Hidden Rectangle utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Avoidable Rectangle
Avoidable Rectangle utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Unique Loop
Unique Loop utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
BUG and BUG+1
BUG and BUG+1 utilise l’hypothèse d’une solution unique pour éviter un motif qui permettrait deux solutions.
Almost Locked Sets et techniques expertes
Ces méthodes sont plus rares, mais essentielles dans les grilles très difficiles.
Almost Locked Set (ALS)
Almost Locked Set (ALS) utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
ALS-XZ
ALS-XZ utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
ALS-XY-Wing
ALS-XY-Wing utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Sue de Coq
Sue de Coq utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Death Blossom
Death Blossom utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Exocet
Exocet utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Pattern Overlay Method
Pattern Overlay Method utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Templates
Templates utilise des ensembles presque verrouillés ou une logique experte apparentée pour créer des éliminations ciblées.
Techniques de dernier recours et de solveur
Ces méthodes sont utiles à connaître, mais moins élégantes pour la résolution humaine.
Bifurcation
Bifurcation est utile pour vérifier ou débloquer une grille, mais on l’emploie plutôt quand les motifs humains ne suffisent plus.
Trial and Error
Trial and Error est utile pour vérifier ou débloquer une grille, mais on l’emploie plutôt quand les motifs humains ne suffisent plus.
Backtracking
Backtracking est utile pour vérifier ou débloquer une grille, mais on l’emploie plutôt quand les motifs humains ne suffisent plus.
Brute Force
Brute Force est utile pour vérifier ou débloquer une grille, mais on l’emploie plutôt quand les motifs humains ne suffisent plus.
N’essayez pas de mémoriser toutes les techniques à la fois. Apprenez un niveau, entraînez-vous jusqu’à ce qu’il devienne naturel, puis ajoutez le suivant.
Les meilleurs solveurs suivent un ordre fiable : placer l’évident, nettoyer les candidats, chercher les sous-ensembles courants, examiner les interactions bloc-ligne, puis passer aux poissons, ailes, chaînes, unicité et ALS seulement si la grille l’exige.
Questions fréquentes
Les plus importantes sont le balayage, le cross-hatching, les singles, les paires, les candidats verrouillés, X-Wing, Swordfish, XY-Wing, Simple Colouring et Unique Rectangles.
Commencez par le balayage, le cross-hatching, les full houses, les naked singles, les hidden singles et l’élimination simple des candidats.
Un ordre pratique est : singles, candidats verrouillés, sous-ensembles nus et cachés, poissons de base, ailes, coloration, chaînes, unicité puis ALS.
Non. X-Wing, XY-Wing, AIC, ALS-XZ et Unique Rectangles sont des méthodes logiques fondées sur des règles vérifiables.
Il existe des dizaines de techniques nommées ; le total dépend de la façon de compter les variantes, sous-types, chaînes groupées, poissons avec nageoire, ALS et motifs d’unicité.