Paprastas spalvinimas nuspalvina vieno skaitmens stipriųjų jungčių grafą dviem spalvomis – tarkime, mėlyna ir žalia.
Stipriosios jungties galai būna priešingų spalvų: lygiai vienas iš jų teisingas. Tai vartai į Medusa ir AIC mąstymą.
Kodėl tai veikia
Jei du tos pačios spalvos langeliai mato vienas kitą, ta spalva negali būti teisinga (dvi to paties skaitmens tiesos matytų viena kitą). Taigi visa ta spalva klaidinga – teisinga priešinga spalva.
Jei langelis mato abi spalvas, jis bet kuriuo atveju mato teisingą kandidatą – todėl negali būti tas skaitmuo.
Spalvinimas paverčia „lygiai vienas iš šių“ jungčių tinklą paprastomis dažymo taisyklėmis.
Kaip pastebėti
Pirmiausia sudaryk stipriųjų jungčių grafą iš dviejų vietų linijų. Tos pačios spalvos konfliktas ar abiejų spalvų matymas – spąstai, kurių ieškai.
Demonstracija
Vienam skaitmeniui sujunk visas stipriąsias jungtis (lygiai du kandidatai srityje) į grandinę ar tinklą.
Nuspalvink tinklą dviem spalvomis. Priešingos spalvos reiškia „lygiai viena teisinga“. Žali langeliai rodo naudingą spalvinimą su 7.
Stebėk tos pačios spalvos konfliktus arba langelius, kurie mato abi spalvas – tai spąstai.
Pašalink 7 ten, kur spalvinimas to neleidžia (raudona).
1 pavyzdys
Nuspalvink vieno skaitmens stipriųjų jungčių tinklą.
Spalvinimas su 1 randa prieštarą ar spąstus.
Pašalink 1 ten, kur dažymo taisyklės sako „ne“ (raudona). Tos pačios spalvos konfliktas arba abiejų spalvų matymas reiškia pašalinimą.
2 pavyzdys
Nuspalvink vieno skaitmens stipriųjų jungčių tinklą.
Spalvinimas su 2 randa prieštarą ar spąstus.
Pašalink 2 ten, kur dažymo taisyklės sako „ne“ (raudona). Tos pačios spalvos konfliktas arba abiejų spalvų matymas reiškia pašalinimą.