Usar cuadritos blancos y negros.
La coloración de tablero de ajedrez es una técnica combinatoria fundamental que te sirve para analizar problemas de mosaicos (tilings), rutas y transformaciones en tableros. La idea central es asignar uno de dos "colores" (normalmente blanco y negro, o 0 y 1) a cada casilla de una cuadrícula o estructura de red, de modo que las casillas adyacentes siempre tengan colores diferentes. Esta asignación crea un invariante de paridad: cualquier movimiento de una casilla a otra adyacente resulta en un cambio de color, y cualquier dominó de $1 \times 2$ que pongas debe cubrir exactamente una casilla de cada color.
Esta técnica es clave para demostrar que algo es imposible, sobre todo en problemas de mosaicos donde los argumentos de área no son suficientes. Por ejemplo, una región podría tener un área par, lo que sugeriría que teóricamente podrías cubrirla con dominós, pero un argumento de coloración puede revelarte un desequilibrio estructural (como un número desigual de casillas blancas y negras) que hace que sea imposible cubrirla. Más allá de los mosaicos, la coloración de tablero la usas para analizar la paridad de los pasos en una ruta (como el recorrido de un caballo en un tablero de ajedrez) o para determinar si ciertos estados son alcanzables en juegos de transformaciones.
La intuición se basa en el principio de los invariantes. Al mapear un estado geométrico o combinatorio a una propiedad binaria (color), puedes rastrear los cambios de forma algebraica. Si un proceso (como poner una ficha o mover una pieza) mantiene el equilibrio entre los colores o alterna el color de forma predecible, cualquier estado que rompa este equilibrio o secuencia es inalcanzable. Aunque la coloración con 2 colores es la más común, puedes generalizar este concepto a coloraciones con $k$ colores para poliminós más complejos.
La Condición para Cubrir con Dominós Para que puedas cubrir una región $R$ de una cuadrícula con dominós de $1 \times 2$, una condición necesaria (pero no suficiente) es que el número de casillas negras ($N_B$) sea igual al número de casillas blancas ($N_W$