Az Egyszerű színezés egyetlen számjegy erős kapcsolati gráfját két színnel festi ki – mondjuk kékkel és zölddel.
Egy erős kapcsolat két vége ellentétes színű: pontosan az egyik igaz. Ez a kapu a Medusa és az AIC gondolkodás felé.
Miért működik
Ha két azonos színű cella látja egymást, az a szín nem lehet igaz (ugyanannak a számjegynek két igaz példánya látná egymást). Az egész szín tehát hamis – az ellentétes szín igaz.
Ha egy cella mindkét színt látja, mindenképpen lát egy igaz jelöltet – így nem lehet ez a számjegy.
A színezés a „pontosan egy ezek közül” kapcsolatok hálóját egyszerű festési szabályokká alakítja.
Hogyan veheted észre
Először a kéthelyű jelöltekből építsd fel az erős kapcsolati gráfot. Az azonos színű ütközés és a mindkét szín látása a figyelendő csapdák.
Bemutató
Egy számjegyhez kösd össze az összes erős kapcsolatot (pontosan két jelölt egy egységben) egy lánccá vagy hálózattá.
Színezd ki a hálózatot két színnel. Az ellentétes színek jelentése: „pontosan az egyik igaz”. A zöld cellák egy hasznos színezést mutatnak erre a számjegyre: 7.
Figyelj az azonos színű ütközésekre vagy a mindkét színt látó cellákra – ezek a csapdák.
Zárd ki ezt (7) ott, ahol a színezés tiltja (piros).
1. példa
Színezd ki egy számjegy erős kapcsolati hálózatát.
A színezés erre a számjegyre ellentmondást vagy csapdát talál: 1.
Töröld ezt (1) ott, ahol a festési szabályok nemet mondanak (piros). Az azonos színű ütközés vagy a mindkét szín látása kizárást jelent.
2. példa
Színezd ki egy számjegy erős kapcsolati hálózatát.
A színezés erre a számjegyre ellentmondást vagy csapdát talál: 2.
Töröld ezt (2) ott, ahol a festési szabályok nemet mondanak (piros). Az azonos színű ütközés vagy a mindkét szín látása kizárást jelent.