Juegos matemticos

por Michael Joswig

Michael Joswiges profesor de
geometra y matemtica discreta
en la Universidad Tcnica de Berln.

La travesura juvenil
de una medallista Fields
Con 19 aos, Maryam Mirzakhani obtuvo un resultado en teora de grafos cuya
validez perdura hasta hoy

E n 2014, durante el ltimo Congreso

Internacional de Matemticos, la ca-
tedrtica de Stanford Maryam Mirzakhani
evitar interferencias. Una situacin si-
milar aparece en el diseo de programas
informticos; en este caso, los recursos
Si se trata de mapas, redes de telefona
mvil y otros problemas, los grafos corres-
pondientes son simples: contienen un
se convirti en la primera mujer de la his- limitados del sistema son los registros, los nmero finito de vrtices; ninguna arista
toria galardonada con la medalla Fields, espacios de memoria del procesador que conecta un vrtice consigo mismo; entre
considerada a menudo el premio Nobel pueden modificarse con gran rapidez y en dos vrtices cualesquiera no media ms
de matemticas. Su brillante carrera co- los que, por ejemplo, se van almacenando que una arista; y estas no poseen carac-
menz muy pronto. A continuacin repa- las sumas parciales. tersticas adicionales, como un nmero
saremos un resultado en teora de grafos
logrado por la iran en 1996, cuando an
M a r ya m M i r z a k h a n i
era una estudiante de 19 aos.
El trabajo de Mirzakhani parte de una
pregunta relacionada con el clebre pro-
blema de los cuatro colores. Este puede
enunciarse del siguiente modo: dado un
mapa geogrfico cualquiera, es posible
colorear todos los pases usando solo cua-
tro colores, de tal modo que dos naciones
del mismo color nunca compartan fron-
tera? (Por frontera debemos entender
aqu ms que un punto.)
El primer paso para resolverlo consiste
en reformularlo en trminos de un grafo.
Para ello, sustituimos cada pas por un
punto (vrtice) y, despus, conectare-
mos dos de ellos con una lnea (arista)
si y solo si los pases correspondientes son
adyacentes. De esta manera, habremos
transformado nuestro mapa original en
un grafo.
La teora de grafos constituye un rea
muy frtil de las matemticas. Ello se
debe a que sus objetos son abstractos (las
aristas y los vrtices no poseen ninguna
propiedad, ms all de que las primeras La Repblica Islmica de Irn no se ha distinguido por la promocin de la ciencia y, des-
cortesa de maryam mirzakhani, universidad stanford

conectan los segundos), lo que permite
derivar todo tipo de resultados. Y, en nu-
merosas aplicaciones, conviene ignorar
las caractersticas de los objetos y con-
centrarse solo en sus relaciones.
Por ejemplo, los resultados sobre colo-
raciones de grafos no afectan nicamente
a los cartgrafos. En las redes de telefo-
na mvil, dos operadores cuyas reas de
influencia se superpongan no deberan
utilizar la misma frecuencia si desean
de luego, tampoco por la de la mujer. No obstante, Maryam Mirzakhani, nacida en Tehern
en 1977, no se ve como una vctima del sistema. Con ayuda de la directora de su escuela, lo-
gr participar en las Olimpiadas Internacionales de Matemticas de 1994 y 1995. En ambas
ocasiones volvi a casa con una medalla de oro. Tras licenciarse en 1999 en la Universidad
Tecnolgica de Sharif, march a Harvard para doctorarse con Curtis McMullen, uno de los
medallistas Fields de 1998. En su tesis doctoral de 2004 resolvi preguntas que haban deja-
do abiertas expertos de la talla de Edward Witten y Maxim Kontsevich, medallistas Fields en
1990 y 1998, respectivamente. Tras estancias en el Instituto Clay de Matemticas y en Prin-
ceton, Mirzakhani es, desde 2008, profesora en Stanford. En 2014 obtuvo la medalla Fields
por sus contribuciones al estudio de las superficies de Riemann.

90 INVESTIGACIN Y CIENCIA, febrero 2017

 o un sentido de recorrido asociado. En
este caso, sin embargo, s habremos de
asignar una propiedad a cada vrtice: su
color. Es como si, en cada vrtice, alguien
hubiera dispuesto un surtido de botes
de pintura y tuviramos que elegir uno de
ellos, satisfaciendo la condicin de que dos
vrtices conectados nunca pueden quedar
pintados del mismo color.
En 1976, los matemticos de la Univer-
sidad de Illinois en Urbana-Champaign
Kenneth Appel y Wolfgang Haken demos-
traron, con ayuda de John B. Koch, el teo-
rema de los cuatro colores. Este establece
que todo grafo plano (es decir, que pueda
representarse en un plano sin que sus aris-
tas se crucen) es 4-coloreable: puede
colorearse usando solo cuatro colores. Por
tanto, basta con que en cada vrtice se
encuentre disponible la misma paleta de
cuatro tonalidades.
Dado que una parte considerable de
la demostracin de Appel y Haken se ba-
saba en clculos por ordenador, su resul-
tado origin un debate sobre hasta qu
punto deberamos confiar en una prueba
semejante. La cuestin qued definitiva-
mente zanjada en 2005, cuando Georges
Gonthier, de Microsoft, y Benjamin Wer-
ner, de la Escuela Politcnica de Pars,
presentaron una demostracin formal
del teorema usando el lenguaje de pro-
gramacin Coq.
Listas de colores
En los comienzos de su carrera, Mirzakha-
ni se ocup de una versin ms enreve-
sada del problema de los cuatro colores:
podemos encontrar una coloracin vli-
da (es decir, en la que no haya dos vrtices
adyacentes del mismo color) si la paleta
de colores disponibles es distinta en cada
vrtice?
Christoph Pppe, segn Michael Joswig/Universidad Tcnica de Berln y Benjamin Lorenz
El problema puede verse como una
partida entre dos jugadores: un pin-
tor, que intenta generar una coloracin
correcta con los colores suministrados
en cada vrtice, y un malvado proveedor,
que selecciona los botes de pintura pre-
cisamente con el propsito de impedirlo.
Que gane uno u otro depender de la es-
tructura del grafo. Decimos que un grafo
es k-coloreable por listas si el pintor
siempre puede ganar, con la condicin de
que, en cada vrtice, el proveedor sumi-
nistre exactamente k colores (los cuales
puede elegir a voluntad).
Todo grafo k-coloreable por listas es
automticamente k-coloreable, ya que co-
locar los mismos k colores en cada vrtice
es una de las opciones a disposicin del
proveedor, y el pintor tiene respuesta para
todas ellas. No obstante, lo contrario no
es cierto. A modo de ejemplo, considere-
mos el primer grafo representado aqu,
al que llamaremos K2,4 (vase la figura
de la derecha). Este grafo es 2-coloreable,
ya que podemos pintar los vrtices de la
izquierda de amarillo y los de la derecha
de azul. Sin embargo, no es 2-coloreable
por listas: resulta sencillo comprobar que,
si nuestro proveedor suministra en cada
vrtice los colores que se muestran en la
figura, no podremos encontrar ninguna
coloracin vlida.
GRAFO K2,4: Ejemplo sencillo de un grafo
En 1996, Mirzakhani present un grafo
2-coloreable que, sin embargo, no es 2-colo-
plano (y, por tanto, 4-coloreable en vir- reable por listas. Con las listas indicadas en
tud del teorema de Appel y Haken) con la figura, resulta imposible encontrar una
63 vrtices que, sin embargo, no era 4-co- combinacin en la que no haya dos vrtices
loreable por listas. Paul Erds, Arthur L. adyacentes del mismo color.
Rubin y Herbert Taylor ya haban sospe-
chado la existencia de este tipo de grafos
en 1979, y Margit Voigt, hoy en la Univer- es posible proceder ms rpido de lo que
sidad de Ciencias Aplicadas de Dresde, lo parece, ya que hay conjuntos de colora-
haba confirmado en 1993 con una estruc- ciones que se reducen a otras mediante,
tura con 238 vrtices. La construccin de por ejemplo, una rotacin del grafo y un
Mirzakhani supuso una mejora, ya que se intercambio de colores.
las arregl con un nmero considerable- Una vez disponemos de este compo-
mente menor de vrtices. Sin embargo, nente bsico, la construccin del grafo de
lo ms interesante de su grafo es que a 63 vrtices es sencilla. Primero tomamos
diferencia del de Voigt tambin es 3-co- cuatro copias de B y otro vrtice ms, el
loreable, lo que sirvi para dar respuesta cual conectaremos con todos los vrtices
a una pregunta que por entonces an se exteriores. Ahora elegimos cuatro nuevos
encontraba abierta. Por ltimo, Carsten colores, a los que llamaremos a, b, c y d, de
Thomassen, de la Universidad Tcnica manera que haya un total de ocho. En la
de Dinamarca, demostr que todo grafo primera copia de B aadimos a todos los
plano es 5-coloreable por listas. vrtices exteriores el color a como cuarto
de la paleta; en la segunda incluiremos el
De 17 a 63 vrtices
Cmo encontr Mirzakhani un grafo pla-
no 3-coloreable que no era 4-coloreable
por listas? El elemento principal de su
construccin es el grafo B que reproduci-
mos aqu (vase la figura de la derecha).
Sus 17 vrtices pertenecen a dos clases: los
interiores, con cuatro vecinos y cuatro
colores para elegir (los cuales constitu-
yen la paleta completa de colores dispo-
nibles), y los exteriores, con solo tres
colores y tres o siete vecinos.
Puede verse sin gran esfuerzo que este
grafo es 3-coloreable: si, por ejemplo, pin-
tamos todos los vrtices interiores de rojo
y los exteriores alternativamente de ama-
rillo y azul, no incurriremos en ninguna
violacin de las reglas. Sin embargo, si GRAFO B: Grafo bsico de 17 vrtices
empleado en la construccin de Mirzakhani.
nos restringimos a las listas de colores
Es 3-coloreable pero no 3-coloreable por
que se indican en la figura, no podremos listas. Para ver lo primero, basta con pintar
encontrar ninguna coloracin vlida. Para todos los vrtices interiores de rojo y los
asegurarse de ello, en principio nuestro exteriores alternativamente de amarillo
pintor tendra que probar una a una todas y azul. No obstante, no existen coloraciones
las combinaciones posibles. No obstante, vlidas para las listas mostradas en la figura.
Febrero 2017, InvestigacionyCiencia.es 91
Juegos matemticos

GRAFO M: Construccin de color b, y as sucesivamente. Por ltimo,

Mirzakhani. Con 63 vrtices,
se trata del grafo plano ms
pequeo conocido que no
es 4-coloreable por listas,
aunque s es 3-coloreable.
Consta de cuatro copias de B
unidas de la manera indicada,
as como de un vrtice
adicional (abajo a la derecha)
conectado a cada uno de
los vrtices exteriores de las
copias de B. Para ilustrar su
estructura, en las listas de
los vrtices exteriores de las
copias de B se ha marcado
con un asterisco el color que
determina a qu copia de B
pertenece cada vrtice.
el vrtice extra recibir los cuatro nuevos
colores, a, b, c y d. De esta manera, obtene-
mos un grafo plano con 4 17 + 1 = 69 vr-
tices, en cada uno de los cuales hay una
lista de cuatro colores.
El problema de coloracin por lis-
tas que acabamos de obtener carece de
solucin. La razn se debe al papel que
desempea el vrtice adicional. Supon-
gamos que lo pintsemos del color a. En
tal caso, a estara prohibido para todos
los vrtices exteriores de la copia a de B.
Por tanto, en este subgrafo nos enfrenta-
ramos al mismo problema de coloracin
por listas de B que, ms arriba, vimos que
careca de solucin. Lo mismo ocurre si
al vrtice adicional le asignamos uno de
los colores restantes.
As pues, el grafo de 69 vrtices que
hemos construido no es 4-coloreable por
listas. En cambio, s es fcilmente 3-co-
loreable. Para verlo, basta con aplicar la
coloracin mencionada antes a las cua-
tro copias de B y, despus, teir el vrtice
adicional de rojo, al igual que los vrtices
interiores.
Ya casi hemos terminado. Efectuando
algunos pequeos retoques, podemos unir
entre s las cuatro copias de B y reducir
en 6 el nmero de vrtices. Por ltimo,
solo tendremos que modificar hbilmente
las listas de colores tal y como indicamos
aqu (vase la figura de la izquierda). El
resultado es un grafo M con 69 - 6 = 63
vrtices y listas de cuatro colores, toma-
das de un total de cinco.
El nuevo grafo constituye una pequea
joya matemtica. Hasta donde sabemos,
no ha sido superado an; es decir, no se
conoce ningn grafo de menor tamao
que sea 3-coloreable pero no 4-coloreable
por listas. El talento de Mirzakhani que-
da patente aqu gracias a la sutileza y la
sencillez de la construccin. Christoph Pppe, segn Michael Joswig/Universidad Tcnica de Berln y Benjamin Lorenz

Spektrum der Wissenschaft

PARA SABER MS

List colourings of planar graphs.Margir Voigt en Discrete

Mathematics, vol. 120, pgs. 215-219, 1993.
A small non-4-choosable planar graph.Maryam Mirzakhani en
Bulletin of the Institute of Combinatorics and its Applications, vol. 17,
pgs. 15-18, 1996.
Formal proof: The four-color theorem.Georges Gonthier
en Notices of the American Mathematical Society, vol. 55,
pgs. 1382-1393, 2008.
en nuestro archivo

La solucin del problema del mapa de cuatro colores.Kenneth

Appel y Wolfgang Haken en IyC, diciembre de 1977.
El horizonte visible de las matemticas.gata Timn y David
Fernndez en IyC, noviembre de 2014.