Pratique avancée mixte

Résultat

Cette leçon consiste à choisir comment chercher, et non à prouver que vous mémorisez une longue liste de noms de techniques.

À la fin, vous devriez pouvoir lire un état de candidats décrit, choisir un angle de recherche utile, identifier la preuve d’une déduction avancée puis revenir à une logique plus simple lorsque cette élimination crée de nouvelles possibilités.

Arrêtez de chercher des noms de techniques

La résolution avancée devient beaucoup plus simple lorsque vous remplacez cette question :

Quelle technique difficile n'ai-je pas encore essayée ?

par celle-ci :

Quelle structure la grille de candidats me montre-t-elle ?

Des structures différentes suggèrent des familles de techniques différentes. Un motif clairsemé sur un seul chiffre appelle une recherche différente d'un groupe de cellules bivalue.

Utilisez les angles de recherche suivants comme une carte. Vous n'avez pas à essayer toutes les techniques sur chaque position.

Angle 1 — Suivez un chiffre

Concentrez votre attention sur un seul candidat.

Cherchez les lignes ou colonnes où ce chiffre n'a que quelques positions possibles. Demandez-vous ensuite si ces positions se relient à travers la grille.

Techniques utiles :

• X-Wing — deux unités de base partagent les mêmes deux positions de couverture ;
• Swordfish — trois unités de base sont confinées à trois unités de couverture ;
• Skyscraper — deux Strong Links d'un même chiffre se chevauchent de façon utile ;
• Two-String Kite — un Strong Link de ligne et un Strong Link de colonne se relient par un bloc.

L'habitude commune est simple : réduisez d'abord le bruit visuel à un seul chiffre.

Angle 2 — Inspectez les cellules bivalue

Une cellule bivalue possède exactement deux candidats.

Plusieurs cellules bivalue peuvent former des relations utiles, car choisir un candidat détermine immédiatement l'autre dans la cellule.

Cherchez :

• XY-Wing — un pivot bivalue relie deux pincers qui partagent un candidat cible ;
• W-Wing — deux cellules bivalue identiques sont reliées par un Strong Link sur un candidat ;
• des relations de type chaîne où les implications se propagent d'une cellule bivalue à l'autre.

Si un pivot associé à trois candidats apparaît, XYZ-Wing peut aussi devenir pertinent.

Ne suivez pas toutes les cellules bivalue de la grille. Commencez par celles qui partagent des unités ou des candidats de manière visiblement utile.

Angle 3 — Suivez les Strong Links

Un Strong Link indique que, dans une unité, au moins l'une de deux positions candidates doit être vraie.

Lorsqu'un chiffre possède plusieurs paires conjuguées, ces links peuvent créer des motifs reconnaissables ou des chaînes d'implications plus longues.

Cibles utiles :

• Skyscraper ;
• Two-String Kite ;
• connexions W-Wing ;
• raisonnement introductif par chaînes.

Le but n'est pas de dessiner le plus grand réseau possible. Cherchez une petite connexion qui donne une élimination directe.

Angle 4 — Vérifiez l'unicité uniquement lorsqu'elle est permise

Le raisonnement basé sur l'unicité diffère de la logique ordinaire des candidats, car il suppose que le puzzle possède une solution unique vérifiée.

Lorsque cette hypothèse est disponible, des candidats bivalue répétés sur deux lignes, deux colonnes et deux blocs peuvent suggérer un Rectangle unique.

Si l'unicité n'a pas été vérifiée, ignorez cet angle. Ne traitez pas le Rectangle unique comme une règle de base du Sudoku.

Manche 1 — Choisissez la famille

Dans la première manche mixte, ne nommez pas immédiatement une technique précise.

Pour chaque état, demandez :

Quelle famille de recherche correspond le mieux à la structure visible ?

Réponses possibles :

• Fish sur un seul chiffre ;
• structure bivalue/Wing ;
• motif de Strong Links sur un chiffre ;
• implication de type chaîne ;
• unicité ;
• ou utiliser d'abord une déduction plus simple.

C'est important, car la résolution avancée est surtout un problème de navigation. Réduisez l'espace de recherche avant de commencer à prouver un motif précis.

Manche 2 — Identifiez la preuve

Le nom de la technique compte maintenant moins que la preuve.

Pour chaque état avancé, votre tâche est :

Choisissez la condition qui rend réellement valide l’élimination décrite.

Une preuve correcte doit justifier :

1. les candidats ou links sources ;
2. la condition qui doit être vraie ;
3. la cellule cible qui voit les extrémités nécessaires ou la structure de couverture ;
4. le candidat qui peut donc être supprimé.

Après la déduction, comparez votre raisonnement avec la technique nommée. L'étiquette doit résumer la structure déjà prouvée, pas remplacer la preuve.

Manche 3 — Rejetez les faux motifs

Les techniques avancées sont faciles à sur-reconnaître, car de nombreux états invalides semblent presque corrects.

Entraînez-vous à rejeter les motifs aussi délibérément qu'à les trouver.

Quasi-motifs typiques :

• un X-Wing avec un candidat source supplémentaire dans une ligne de base ;
• un XY-Wing dont les pincers ne partagent pas le candidat cible requis ;
• un W-Wing dont le pont n'est pas réellement Strong ;
• une unité source de Skyscraper avec un candidat supplémentaire qui casse la paire conjuguée ;
• un rectangle qui ne respecte pas la géométrie d'unités nécessaire à un Rectangle unique.

Lorsqu'un motif échoue, ne vous arrêtez pas à « invalide ». Identifiez quelle condition a échoué. C'est ainsi que l'on construit une reconnaissance fiable.

Manche 4 — Préférez le coup utile le plus simple

Un motif avancé valide n'est pas automatiquement le coup à jouer en premier.

Si la grille contient à la fois un X-Wing et un Hidden Single, jouez généralement le Hidden Single d'abord.

Si un Swordfish est disponible mais qu'une simple élimination de Candidats enfermés ouvre immédiatement la même zone, utilisez le coup plus simple.

La maîtrise avancée consiste aussi à savoir quand ne pas utiliser de logique avancée.

Un bon ordre de résolution :

1. prendre les placements évidents et éliminations simples ;
2. mettre les candidats à jour ;
3. rescanner ;
4. passer aux motifs complexes uniquement si la grille en a encore besoin.

Manche 5 — Suivez les conséquences

La technique avancée n'est souvent que le premier mouvement d'une petite cascade.

Par exemple :

X-Wing
↓
élimination de candidat
↓
Hidden Single
↓
Candidats enfermés
↓
Naked Single

Ou :

W-Wing
↓
élimination de candidat
↓
Naked Pair
↓
deux Singles

L'habitude essentielle consiste à rescanner après chaque élimination significative. Ne continuez pas à chercher des motifs avancés alors que des conséquences plus simples attendent déjà dans la grille.

Un système d'indices pour les positions avancées

Lorsque vous bloquez, demandez le plus petit indice qui change l'endroit où vous regardez.

Indice 1 — Mode de recherche

Choisissez un angle :

Suivez un chiffre.

ou :

Inspectez les cellules bivalue.

Indice 2 — Zone

Réduisez la recherche à une ligne, colonne, bloc, chiffre ou petit groupe de candidats utile.

Indice 3 — Famille

Identifiez seulement maintenant la famille générale : Fish, Wing, motif de Strong Links, chaîne ou unicité.

Indice 4 — Structure

Cherchez la relation définissante, par exemple deux lignes de base utilisant les mêmes deux colonnes cover.

Indice 5 — Nom de la technique

Utilisez le nom exact seulement si vous en avez encore besoin.

Le nom de la technique devrait être l'un des derniers indices, pas le premier.

Checkpoint guidé final

Ce checkpoint combine plusieurs habitudes de raisonnement avancé dans des états de candidats contrôlés et décrits. Parcourez-les dans l'ordre puis appliquez la même routine à des puzzles complets.

Après chaque déduction :

1. mettez à jour l'état des candidats ;
2. cherchez des Singles et des intersections simples ;
3. jouez le coup productif le plus facile ;
4. revenez à un angle avancé uniquement si nécessaire.

Votre objectif est de passer naturellement du raisonnement simple au raisonnement avancé sans forcer un ordre de techniques prédéterminé.

Achèvement

Vous êtes prêt à terminer le parcours avancé actuel lorsque vous pouvez :

• choisir une famille de recherche appropriée sans recevoir le nom d'une technique ;
• prouver des éliminations avancées à partir de relations visibles entre candidats ;
• rejeter des quasi-motifs en nommant la condition qui échoue ;
• préférer un coup productif plus simple lorsqu'il existe ;
• suivre les conséquences d'une élimination avancée au lieu de vous arrêter au motif nommé.

Vous n'avez pas besoin de connaître toutes les techniques expertes du Sudoku pour disposer d'un système solide. Les mêmes habitudes — candidats, unités, links, implications et preuves — se prolongent dans des méthodes encore plus avancées.

Ensuite

Utilisez Stratégies avancées de Sudoku lorsque vous souhaitez une carte de recherche pour les puzzles difficiles, ou ouvrez une Guide de technique individuelle pour revoir une preuve complète.

Référence

Les Guides avancées couvrent plus en profondeur X-Wing, Swordfish, Wings, Skyscraper, Two-String Kite, W-Wing, Strong/Weak Links, Chains et les concepts d'unicité.