La Colorazione semplice dipinge il grafo dei legami forti di una cifra con due colori, per esempio blu e verde.
Su un legame forte, le due estremità hanno colori opposti: esattamente una è vera. È la porta d’ingresso al ragionamento di Medusa e delle AIC.
Perché funziona
Se due celle dello stesso colore si vedono, quel colore non può essere vero (due verità della stessa cifra si vedrebbero). Quindi tutto quel colore è falso, e il colore opposto è vero.
Se una cella vede entrambi i colori, vede comunque un candidato vero: non può contenere la cifra.
La colorazione trasforma una rete di legami “esattamente uno di questi” in semplici regole di pittura.
Come individuarlo
Costruisci prima il grafo dei legami forti partendo dalle celle bilocali. Conflitto dello stesso colore o cella che vede entrambi i colori: sono queste le trappole da cercare.
Dimostrazione
Per una cifra, collega ogni legame forte (esattamente due candidati in un’unità) in una catena o in una rete.
Colora la rete con due colori. Colori opposti significano “esattamente uno è vero”. Le celle verdi mostrano una colorazione utile su 7.
Cerca conflitti dello stesso colore o celle che vedono entrambi i colori: sono queste le trappole.
Elimina 7 dove la colorazione lo vieta (in rosso).
Esempio 1
Colora la rete dei legami forti per una cifra.
La colorazione su 1 trova una contraddizione o una trappola.
Rimuovi 1 dove le regole di pittura dicono di no (in rosso). Conflitto dello stesso colore o cella che vede entrambi i colori significa eliminazione.
Esempio 2
Colora la rete dei legami forti per una cifra.
La colorazione su 2 trova una contraddizione o una trappola.
Rimuovi 2 dove le regole di pittura dicono di no (in rosso). Conflitto dello stesso colore o cella che vede entrambi i colori significa eliminazione.