Preprosto barvanje pobarva graf močnih povezav ene števke z dvema barvama — recimo modro in zeleno.
Na močni povezavi imata konca nasprotni barvi: natanko eden je resničen. To so vrata do razmišljanja Medusa in AIC.
Zakaj deluje
Če se dve celici iste barve vidita, ta barva ne more biti resnična (dve resnici iste števke bi se videli). Celotna barva je torej napačna — nasprotna barva je resnična.
Če celica vidi obe barvi, v vsakem primeru vidi resničnega kandidata — zato ne more biti ta števka.
Barvanje spremeni splet povezav »natanko eden od teh« v preprosta pravila barvanja.
Kako ga opaziti
Graf močnih povezav najprej zgradi iz dvolokalnih. Konflikt iste barve ali vidi-obe-barvi sta pasti, na kateri moraš paziti.
Prikaz
Za eno števko poveži vsako močno povezavo (natanko dva kandidata v enoti) v verigo ali omrežje.
Pobarvaj omrežje z dvema barvama. Nasprotni barvi pomenita »natanko eden je resničen«. Zelene celice kažejo uporabno barvanje na 7.
Pazi na konflikte iste barve ali celice, ki vidijo obe barvi — to so pasti.
Izloči 7 tam, kjer barvanje to prepoveduje (rdeče).
Primer 1
Pobarvaj omrežje močnih povezav za eno števko.
Barvanje na 1 najde protislovje ali past.
Odstrani 1 tam, kjer pravila barvanja rečejo ne (rdeče). Konflikt iste barve ali vidi-obe pomeni izločanje.
Primer 2
Pobarvaj omrežje močnih povezav za eno števko.
Barvanje na 2 najde protislovje ali past.
Odstrani 2 tam, kjer pravila barvanja rečejo ne (rdeče). Konflikt iste barve ali vidi-obe pomeni izločanje.