Vienkāršā krāsošana iekrāso viena cipara spēcīgo saišu grafu ar divām krāsām — piemēram, zilu un zaļu.
Uz spēcīgas saites abiem galiem ir pretējas krāsas: tieši viens ir patiess. Tie ir vārti uz Medusa un AIC domāšanu.
Kāpēc tas darbojas
Ja divas vienas krāsas šūnas redz viena otru, šī krāsa nevar būt patiesa (divas viena cipara patiesības redzētu viena otru). Tātad visa krāsa ir nepatiesa — patiesa ir pretējā krāsa.
Ja šūna redz abas krāsas, tā jebkurā gadījumā redz patiesu kandidātu — tātad tā nevar būt šis cipars.
Krāsošana pārvērš „tieši viens no šiem” saišu tīklu vienkāršos krāsošanas noteikumos.
Kā to pamanīt
Vispirms veido spēcīgo saišu grafu no divvietu kandidātiem. Vienas krāsas konflikts vai abu krāsu redzēšana — tie ir slazdi, ko uzmanīt.
Demonstrācija
Vienam ciparam savieno katru spēcīgo saiti (tieši divi kandidāti apgabalā) ķēdē vai tīklā.
Iekrāso tīklu ar divām krāsām. Pretējas krāsas nozīmē „tieši viens ir patiess”. Zaļās šūnas rāda noderīgu krāsojumu ar 7.
Uzmani vienas krāsas konfliktus vai šūnas, kas redz abas krāsas — tie ir slazdi.
Izslēdz 7 tur, kur krāsojums to aizliedz (sarkanā krāsā).
1. piemērs
Iekrāso viena cipara spēcīgo saišu tīklu.
Krāsojums ar 1 atrod pretrunu vai slazdu.
Izņem 1 tur, kur krāsošanas noteikumi saka „nē” (sarkanā krāsā). Vienas krāsas konflikts vai abu krāsu redzēšana nozīmē izslēgšanu.
2. piemērs
Iekrāso viena cipara spēcīgo saišu tīklu.
Krāsojums ar 2 atrod pretrunu vai slazdu.
Izņem 2 tur, kur krāsošanas noteikumi saka „nē” (sarkanā krāsā). Vienas krāsas konflikts vai abu krāsu redzēšana nozīmē izslēgšanu.