Imposibilidad al quitar esquinas opuestas.
El problema del tablero de ajedrez mutilado es un clásico en combinatoria y teoría de teselados que sirve como la introducción canónica a los argumentos de coloración y los invariantes. El problema estándar pregunta: si quitas dos esquinas opuestas de un tablero de ajedrez normal de $8 \times 8$, ¿puedes cubrir perfectamente los 62 cuadros restantes con 31 dominós de tamaño $2 \times 1$? Aunque un cálculo simple de área sugiere que podría ser posible ($62 = 31 \times 2$), la respuesta es que no, aunque no lo parezca.
Este problema es importante porque demuestra que las condiciones necesarias (como tener el área total correcta) no siempre son condiciones suficientes. Para resolverlo, tienes que mirar más allá del simple conteo y analizar las propiedades estructurales del tablero. La técnica que usas se basa en la coloración estándar del tablero de ajedrez, donde los cuadros adyacentes tienen colores diferentes. Esto introduce una restricción de paridad: cada dominó que pongas en el tablero debe cubrir exactamente un cuadro negro y un cuadro blanco.
La intuición detrás de la solución es que un teselado perfecto requiere un "equilibrio" de colores. Si quieres cubrir una región con dominós, el número de cuadros negros debe ser igual al número de cuadros blancos. Al quitar dos esquinas opuestas, que siempre son del mismo color en un