Coloring Proofs
Coloring Proofs
Coloring Proofs
Coloración
A diferencia de la Paridad o algunos otros temas que veremos, las coloraciones
no son un concepto matemático claramente definido. Por ello, es más fácil ilustrar
de qué se trata esto resolviendo algunos problemas:
Problema 1.
¿Puede un tablero de ajedrez ser cubierto con fichas de tamaño 2 × 1, de tal
manera que solamente las dos casillas de dos esquinas opuestas resulten
descubiertas?
Solución.
La respuesta es no. Lo más importante para poder resolver este problema es no
olvidar que lo que tenemos es un tablero de ajedrez, y no cualquier cuadrícula de
8 × 8. ¿Qué tiene de particular un tablero de ajedrez? Que sus casillas están
coloreadas: hay 32 blancas y 32 negras.
Notemos que, debido a la forma en la que están coloreadas las casillas del
tablero, cada vez que colocamos una ficha de 2 × 1 sobre éste, ésta cubre siempre
una casilla negra y una blanca. Pero las casillas que se encuentran en dos esquinas
opuestas del tablero tienen siempre el mismo color, así que, sin contar estas
esquinas, nos quedan por cubrir 30 casillas de un color y 32 del otro, lo cual no se
puede hacer con fichas de 2 × 1, puesto que ya vimos que cada ficha cubre siempre
una casilla blanca y una negra (si se pudiera necesitaríamos 31 fichas de 2 × 1 que
ocuparían 31 casillas blancas y 31 casillas negras).
Observación.
Como es el caso de los problemas de paridad, los problemas de coloraciones
muchas veces preguntan si algo es posible o no, y casi siempre la respuesta es no.
En este primer problema las casillas ya estaban coloreadas, pero en otros las
casillas estarán “en blanco” y tú tendrás que proponer una coloración que te sea
útil para resolver el problema.
Coloración 2
Problema 2.
Considera un tablero cuadriculado de 9 × 9, al que se le han quitado 3 de sus
esquinas (de 1 × 1). ¿Será posible cubrirlo con fichas de 3 × 1 sin que éstas se
traslapen?
Solución.
Ahora el problema ha cambiado, ya que no tenemos nuestro tablero
“coloreado”. Por lo tanto, debemos encontrar una coloración que “nos convenga”.
Problema 3.
Un piso rectangular es cubierto con mosaicos de 2 × 2 y de 4 × 1. Un mosaico se
rompió, y sólo hay uno disponible del otro tipo. Muestre que no importa cómo se
reacomoden los mosaicos, no se puede sustituir el roto por el nuevo.
Coloración 3
Solución.
Coloreemos el piso como se muestra en la figura. Un mosaico de 4 × 1 siempre
cubre exactamente 0 o 2 cuadros negros. Un mosaico de 2 × 2 siempre cubre
exactamente 1 cuadro negro. Por lo tanto, no importa el tipo que se rompa, siempre
sobrará o hará falta un cuadro negro qué cubrir.
Problemas Propuestos
1. ¿Es posible formar un rectángulo exactamente con los cinco tetraminos de
abajo?
10. El plano es coloreado con dos colores. Demuestra que existen tres puntos del
mismo color, los cuales son vértices de un triángulo equilátero.
12. Se considera la gráfica dibujada sobre la superficie de un cubo como sigue: los
vértices son los vértices del cubo y los centros de las caras del cubo; las aristas
son los segmentos que unen cada centro de una cara con los 4 vértices del cubo
que forman esa cara. ¿Es posible hacer un recorrido que pase exactamente una
vez por cada uno de los vértices de la gráfica?
16. El Problema de la Galería de Arte. Una galería de arte tiene forma de n-ágono (no
necesariamente convexo). Demuestra que [n/3] (la parte entera de n/3) es el
mayor número de vigilantes que se necesitan para cuidar el edificio, sin
importar cuán complicada sea su forma. Nota 1: las paredes del n-ágono son las
Coloración 5
Pentágono Heptágono
[5/3] = 1 [7/3] = 2
1 vigilante puede cuidar el edificio 2 vigilantes pueden cuidar el edificio
19. Una cadena abierta de 54 cuadrados de 1 × 1 esta hecha de tal forma que cada
pareja de cuadrados consecutivos está unida por un vértice, y cada cuadrado
está unido a sus dos vecinos en vértices opuestos. ¿Es posible cubrir la
superficie de un cubo de 3 × 3 × 3 con la cadena?
21. Los puntos de un plano son coloreados usando tres colores. Demuestra que hay
dos puntos a distancia 1, teniendo ambos el mismo color.