A Coloração Simples pinta o grafo de elos fortes de um dígito com duas cores — por exemplo, azul e verde.
Em um elo forte, as duas pontas têm cores opostas: exatamente uma é verdadeira. É a porta de entrada para o raciocínio de Medusa e AIC.
Por que funciona
Se duas células da mesma cor se veem, essa cor não pode ser verdadeira (duas verdades do mesmo dígito estariam se vendo). Então a cor inteira é falsa — a cor oposta é verdadeira.
Se uma célula vê as duas cores, ela vê um candidato verdadeiro de qualquer jeito — então não pode ser o dígito.
A coloração transforma uma teia de elos “exatamente um destes” em regras simples de pintura.
Como identificar
Monte primeiro o grafo de elos fortes a partir dos bilocais. Conflito de mesma cor ou ver as duas cores são as armadilhas a observar.
Demonstração
Para um dígito, ligue todos os elos fortes (exatamente dois candidatos em uma unidade) em uma cadeia ou rede.
Pinte a rede com duas cores. Cores opostas significam “exatamente uma é verdadeira”. As células verdes mostram uma coloração útil em 7.
Fique de olho em conflitos de mesma cor ou em células que veem as duas cores — essas são as armadilhas.
Elimine 7 onde a coloração proíbe (vermelho).
Exemplo 1
Pinte a rede de elos fortes de um dígito.
A coloração em 1 encontra uma contradição ou armadilha.
Remova 1 onde as regras de pintura dizem não (vermelho). Conflito de mesma cor ou ver as duas cores significa eliminação.
Exemplo 2
Pinte a rede de elos fortes de um dígito.
A coloração em 2 encontra uma contradição ou armadilha.
Remova 2 onde as regras de pintura dizem não (vermelho). Conflito de mesma cor ou ver as duas cores significa eliminação.