W-Wing naudoja du toli vienas nuo kito esančius langelius, kuriuose yra tik XY, sujungtus stipriąja jungtimi su X (ar su Y) kažkur tarp jų.
Prieš tai: Pravers patirtis su dviejų reikšmių langeliais ir stipriosiomis jungtimis.
Kodėl tai veikia
Tarkime, tiltas yra stiprioji jungtis su X. Tada vienas tilto galas yra X, ir tai atstumia vieną iš XY langelių nuo X – tas XY langelis tampa Y. Atidus grandinės sekimas rodo, kad bent vienas iš dviejų XY langelių turi būti Y.
Todėl bet kuris langelis, kuris mato abu XY langelius, negali būti Y.
(Veidrodinis argumentas tinka, jei stiprioji jungtis yra su Y.)
Demonstracija
Rask du langelius, kuriuose yra tik XY. Jie atrodo vienodi – bet gali būti toli vienas nuo kito.
Sujunk jų kaimynystes stipriąja konjuguota jungtimi su vienu iš tų skaitmenų. Žali langeliai sudaro W-Wing. Skaitmuo, kurį galime pulti, yra 5.
Stiprioji jungtis priverčia bent vieną iš XY langelių būti 5 – abu tilto pasauliai palieka tą skaitmenį teisingą viename gale.
Pašalink 5 iš langelių, kurie mato abu XY langelius (raudona).
1 pavyzdys
Rask du vienodus dviejų reikšmių langelius, sujungtus stipriąja konjuguota jungtimi.
Šis W-Wing pašalina 5.
Pašalink 5 iš langelių, kurie mato abu galus (raudona). Bent vienas XY langelis turi būti tas skaitmuo.
2 pavyzdys
Rask du vienodus dviejų reikšmių langelius, sujungtus stipriąja konjuguota jungtimi.
Šis W-Wing pašalina 2.
Pašalink 2 iš langelių, kurie mato abu galus (raudona). Bent vienas XY langelis turi būti tas skaitmuo.