El Coloreado simple pinta el grafo de enlaces fuertes de un dígito con dos colores, por ejemplo azul y verde.
En un enlace fuerte, los dos extremos tienen colores opuestos: exactamente uno es verdadero. Es la puerta de entrada a la forma de pensar de Medusa y de las AIC.
Por qué funciona
Si dos celdas del mismo color se ven entre sí, ese color no puede ser verdadero (dos verdades del mismo dígito se verían). Así que todo ese color es falso y el color opuesto es verdadero.
Si una celda ve los dos colores, ve un candidato verdadero en cualquier caso, así que no puede ser el dígito.
El coloreado convierte una red de enlaces “exactamente uno de estos” en reglas de pintura sencillas.
Cómo detectarla
Construye primero el grafo de enlaces fuertes a partir de los bilocales. Los conflictos del mismo color y ver ambos colores son las trampas que debes vigilar.
Demostración
Para un dígito, conecta todos los enlaces fuertes (exactamente dos candidatos en una unidad) en una cadena o red.
Colorea la red con dos colores. Colores opuestos significan “exactamente uno es verdadero”. Las celdas verdes muestran un coloreado útil de 7.
Atento a los conflictos del mismo color o a las celdas que ven los dos colores: esas son las trampas.
Elimina 7 donde el coloreado lo prohíbe (rojo).
Ejemplo 1
Colorea la red de enlaces fuertes de un dígito.
El coloreado de 1 encuentra una contradicción o una trampa.
Elimina 1 donde las reglas de pintura dicen que no (rojo). Un conflicto del mismo color o ver ambos colores significa eliminación.
Ejemplo 2
Colorea la red de enlaces fuertes de un dígito.
El coloreado de 2 encuentra una contradicción o una trampa.
Elimina 2 donde las reglas de pintura dicen que no (rojo). Un conflicto del mismo color o ver ambos colores significa eliminación.