Enkel färgläggning målar grafen av starka länkar för en siffra med två färger – säg blått och grönt.
På en stark länk har de två ändarna motsatta färger: exakt en är sann. Det här är en inkörsport till Medusa- och AIC-tänkande.
Varför det fungerar
Om två celler med samma färg ser varandra kan den färgen inte vara sann (två sanna exemplar av samma siffra skulle se varandra). Så hela den färgen är falsk – den motsatta färgen är sann.
Om en cell ser båda färgerna ser den en sann kandidat hur det än blir – så den kan inte vara siffran.
Färgläggning gör ett nät av ”exakt en av dessa”-länkar till enkla målarregler.
Så hittar du det
Bygg grafen av starka länkar från bilokala par först. Konflikt med samma färg eller att se båda färgerna är fällorna att hålla utkik efter.
Demonstration
För en siffra, koppla ihop alla starka länkar (exakt två kandidater i en enhet) till en kedja eller ett nätverk.
Färglägg nätverket med två färger. Motsatta färger betyder ”exakt en är sann”. De gröna cellerna visar en användbar färgläggning på 7.
Håll utkik efter konflikter med samma färg eller celler som ser båda färgerna – det är fällorna.
Eliminera 7 där färgläggningen förbjuder den (rött).
Exempel 1
Färglägg nätverket av starka länkar för en siffra.
Färgläggning på 1 hittar en motsägelse eller fälla.
Ta bort 1 där målarreglerna säger nej (rött). Konflikt med samma färg eller en cell som ser båda färgerna betyder eliminering.
Exempel 2
Färglägg nätverket av starka länkar för en siffra.
Färgläggning på 2 hittar en motsägelse eller fälla.
Ta bort 2 där målarreglerna säger nej (rött). Konflikt med samma färg eller en cell som ser båda färgerna betyder eliminering.