Jednostavno bojanje boji graf jakih veza jedne znamenke s dvije boje — recimo plavom i zelenom.
Na jakoj vezi dva kraja imaju suprotne boje: točno je jedan istinit. To su vrata prema razmišljanju u stilu Meduze i AIC-a.
Zašto funkcionira
Ako se dva polja iste boje vide, ta boja ne može biti istinita (dvije istine iste znamenke vidjele bi se). Dakle, cijela boja je lažna — suprotna boja je istinita.
Ako polje vidi obje boje, u svakom slučaju vidi istinitog kandidata — pa ne može biti ta znamenka.
Bojanje pretvara mrežu veza „točno jedno od ovoga“ u jednostavna pravila bojanja.
Kako ga uočiti
Najprije izgradi graf jakih veza iz dvolokalnih. Sukob iste boje ili „vidi obje boje“ su zamke na koje treba paziti.
Demonstracija
Za jednu znamenku poveži svaku jaku vezu (točno dva kandidata u jedinici) u lanac ili mrežu.
Oboji mrežu s dvije boje. Suprotne boje znače „točno je jedno istinito“. Zelena polja pokazuju korisno bojanje na 7.
Pazi na sukobe iste boje ili polja koja vide obje boje — to su zamke.
Ukloni 7 ondje gdje bojanje to zabranjuje (crveno).
Primjer 1
Oboji mrežu jakih veza za jednu znamenku.
Bojanje na 1 pronalazi kontradikciju ili zamku.
Ukloni 1 ondje gdje pravila bojanja kažu ne (crveno). Sukob iste boje ili „vidi obje“ znači eliminaciju.
Primjer 2
Oboji mrežu jakih veza za jednu znamenku.
Bojanje na 2 pronalazi kontradikciju ili zamku.
Ukloni 2 ondje gdje pravila bojanja kažu ne (crveno). Sukob iste boje ili „vidi obje“ znači eliminaciju.