Résultat
Vous saurez relier deux cellules bivalue identiques par un Strong Link valide, prouver quel candidat est garanti dans l'un des wings et éliminer ce candidat des cellules qui voient les deux wings.
La structure
Un W-Wing commence avec deux cellules bivalue éloignées contenant la même paire :
Wing A {5,9}
Wing B {5,9}Elles ne forment pas une Naked Pair si elles ne partagent pas une unité.
L'ingrédient manquant est un Strong Link sur l'un de leurs chiffres.
Étape 1 — Les deux wings
Les mêmes ensembles de candidats donnent aux deux cellules la même structure de choix, mais aucune déduction n'est encore possible.
Une paire distante a besoin d'un pont logique.
Étape 2 — Ajoutez le pont Strong Link
Supposons que le candidat 9 possède ailleurs une paire conjuguée.
Une extrémité voit Wing A et l'autre voit Wing B.
Puisqu'une extrémité de ce Strong Link doit être 9, l'un des wings est forcé à ne pas être 9 et devient donc 5.
Ainsi :
au moins un wing doit être 5.
Étape 3 — Suivez les deux cas
Cas A :
- l'extrémité proche de Wing A vaut 9 ;
- Wing A ne peut pas être 9 ;
- Wing A devient 5.
Cas B :
- l'extrémité opposée vaut 9 ;
- Wing B ne peut pas être 9 ;
- Wing B devient 5.
Branches différentes, même conclusion : un wing contient 5.
Étape 4 — Éliminez seulement des pairs communs
Un candidat 5 qui voit les deux wings peut être supprimé, car le wing qui devient 5 entrera en conflit avec lui.
Une cible qui ne voit qu'un wing ne peut pas être éliminée en toute sécurité.
Remarquez l'inversion des rôles :
- 9 est le chiffre de liaison ;
- 5 est le chiffre d'élimination.
Étape 5 — Rejetez un faux pont
Si l'unité proposée pour le lien contient trois candidats 9, le pont est seulement Weak.
Une extrémité fausse ne force plus l'autre à être vraie, et la preuve en deux cas s'effondre.
Pas de Strong Link, pas de W-Wing.
Étape 6 — Préférez une explication plus simple lorsqu'elle existe
Si les deux cellules {2,8} partagent en réalité une unité, vérifiez d'abord si elles forment une Naked Pair ordinaire.
Une explication W-Wing peut rester possible dans certaines constructions, mais la preuve directe la plus simple est généralement préférable.
Vérification rapide
Identifiez les wings, choisissez le chiffre de liaison, vérifiez le Strong Link et ne supprimez que les candidats qui voient les deux wings.
À retenir
Les cellules bivalue identiques sont les wings. Un Strong Link relie l'un des chiffres communs. L'autre chiffre commun est éliminé des pairs communs.
Ensuite
Rectangles uniques
La prochaine leçon est différente : elle utilise l'hypothèse supplémentaire que le puzzle possède exactement une solution.
Référence
Lisez W-Wing pour la preuve complète avec Strong Link et son interprétation en chaîne.