Enkel fargelegging maler nettverket av sterke koblinger for ett siffer med to farger — for eksempel blått og grønt.
På en sterk kobling har de to endene motsatte farger: nøyaktig én er sann. Dette er en inngang til Medusa- og AIC-tenkning.
Hvorfor det virker
Hvis to celler med samme farge ser hverandre, kan ikke den fargen være sann (to sanne forekomster av samme siffer ville sett hverandre). Så hele fargen er usann — den motsatte fargen er sann.
Hvis en celle ser begge fargene, ser den en sann kandidat uansett — så den kan ikke være sifferet.
Fargelegging gjør et nett av «nøyaktig én av disse»-koblinger om til enkle maleregler.
Slik finner du den
Bygg grafen av sterke koblinger fra bilokale par først. Konflikt med samme farge eller «ser begge farger» er fellene du skal se etter.
Demonstrasjon
For ett siffer: koble alle sterke koblinger (nøyaktig to kandidater i en enhet) sammen til en kjede eller et nettverk.
Fargelegg nettverket med to farger. Motsatte farger betyr «nøyaktig én er sann». De grønne cellene viser en nyttig fargelegging på 7.
Se etter konflikter med samme farge eller celler som ser begge fargene — det er fellene.
Eliminer 7 der fargeleggingen forbyr det (rødt).
Eksempel 1
Fargelegg nettverket av sterke koblinger for ett siffer.
Fargelegging på 1 finner en motsigelse eller en felle.
Fjern 1 der malereglene sier nei (rødt). Konflikt med samme farge eller «ser begge» betyr eliminering.
Eksempel 2
Fargelegg nettverket av sterke koblinger for ett siffer.
Fargelegging på 2 finner en motsigelse eller en felle.
Fjern 2 der malereglene sier nei (rødt). Konflikt med samme farge eller «ser begge» betyr eliminering.