Einföld litun málar net sterkra tenginga einnar tölu með tveimur litum — til dæmis bláum og grænum.
Á sterkri tengingu hafa endarnir tveir gagnstæða liti: nákvæmlega annar er sannur. Þetta er inngangur að Medusa- og AIC-hugsun.
Af hverju þetta virkar
Ef tveir reitir í sama lit sjá hvor annan getur sá litur ekki verið sannur (tveir sannleikar sömu tölu myndu sjá hvor annan). Allur liturinn er því ósannur — gagnstæði liturinn er sannur.
Ef reitur sér báða litina sér hann sannan möguleika hvort sem er — svo hann getur ekki verið talan.
Litun breytir vef af „nákvæmlega einn af þessum“-tengingum í einfaldar málningarreglur.
Hvernig á að koma auga á það
Byggðu net sterkra tenginga fyrst út frá tvístæðum tölum. Árekstur sama litar eða reitur sem sér báða litina eru gildrurnar sem þarf að fylgjast með.
Sýnidæmi
Fyrir eina tölu skaltu tengja allar sterkar tengingar (nákvæmlega tveir möguleikar í einingu) í keðju eða net.
Litaðu netið með tveimur litum. Gagnstæðir litir þýða „nákvæmlega einn er sannur.“ Grænu reitirnir sýna gagnlega litun á 7.
Fylgstu með árekstrum sama litar eða reitum sem sjá báða litina — það eru gildrurnar.
Útilokaðu 7 þar sem litunin bannar það (rautt).
Dæmi 1
Litaðu net sterkra tenginga fyrir eina tölu.
Litun á 1 finnur mótsögn eða gildru.
Fjarlægðu 1 þar sem málningarreglurnar segja nei (rautt). Árekstur sama litar eða reitur sem sér báða litina þýðir útilokun.
Dæmi 2
Litaðu net sterkra tenginga fyrir eina tölu.
Litun á 2 finnur mótsögn eða gildru.
Fjarlægðu 2 þar sem málningarreglurnar segja nei (rautt). Árekstur sama litar eða reitur sem sér báða litina þýðir útilokun.