Un W-Wing utilise deux cases éloignées qui contiennent uniquement XY, reliées quelque part entre elles par un lien fort sur X (ou sur Y).
Avant celle-ci : Être à l’aise avec les cases bivaleur et les liens forts aide.
Pourquoi ça marche
Suppose que le pont soit un lien fort sur X. Alors une extrémité du pont vaut X, ce qui empêche l’une des cases XY de valoir X — cette case XY devient donc Y. En suivant soigneusement la chaîne, on montre qu’au moins une des deux cases XY doit valoir Y.
Toute case qui voit les deux cases XY ne peut donc pas valoir Y.
(Le raisonnement symétrique fonctionne si le lien fort porte sur Y.)
Démonstration
Trouve deux cases qui contiennent uniquement XY. Elles semblent identiques — mais elles peuvent être éloignées.
Relie leurs voisinages par un lien fort conjugué sur l’un de ces chiffres. Les cases vertes forment un W-Wing. Le chiffre que l’on peut attaquer est 5.
Le lien fort force au moins une des cases XY à valoir 5 — les deux mondes du pont laissent ce chiffre vrai à une extrémité.
Élimine 5 des cases qui voient les deux cases XY (en rouge).
Exemple 1
Trouve deux cases bivaleurs identiques reliées par un lien fort conjugué.
Ce W-Wing élimine 5.
Retire 5 des cases qui voient les deux extrémités (en rouge). Au moins une case XY doit valoir ce chiffre.
Exemple 2
Trouve deux cases bivaleurs identiques reliées par un lien fort conjugué.
Ce W-Wing élimine 2.
Retire 2 des cases qui voient les deux extrémités (en rouge). Au moins une case XY doit valoir ce chiffre.