A Coloración simple pinta o grafo de ligazóns fortes dun díxito con dúas cores, por exemplo azul e verde.
Nunha ligazón forte, os dous extremos teñen cores opostas: exactamente un é verdadeiro. É unha porta de entrada ao pensamento de Medusa e AIC.
Por que funciona
Se dúas celas da mesma cor se ven entre si, esa cor non pode ser verdadeira (dúas verdades do mesmo díxito veríanse). Así que toda esa cor é falsa e a cor oposta é verdadeira.
Se unha cela ve as dúas cores, ve un candidato verdadeiro en calquera caso, así que non pode ser o díxito.
A coloración converte unha rede de ligazóns “exactamente un destes” en regras de pintura sinxelas.
Como detectalo
Constrúe primeiro o grafo de ligazóns fortes a partir dos bilocais. Os conflitos de mesma cor ou ver as dúas cores son as trampas que hai que vixiar.
Demostración
Para un díxito, conecta todas as ligazóns fortes (exactamente dous candidatos nunha unidade) nunha cadea ou rede.
Colorea a rede con dúas cores. Cores opostas significan “exactamente un é verdadeiro”. As celas verdes mostran unha coloración útil en 7.
Atenta aos conflitos de mesma cor ou ás celas que ven as dúas cores: esas son as trampas.
Elimina 7 onde a coloración o prohibe (vermello).
Exemplo 1
Colorea a rede de ligazóns fortes dun díxito.
A coloración en 1 atopa unha contradición ou trampa.
Quita 1 onde as regras de pintura din que non (vermello). Un conflito de mesma cor ou ver as dúas cores significa eliminación.
Exemplo 2
Colorea a rede de ligazóns fortes dun díxito.
A coloración en 2 atopa unha contradición ou trampa.
Quita 2 onde as regras de pintura din que non (vermello). Un conflito de mesma cor ou ver as dúas cores significa eliminación.