5

6
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
Cmo concibe la mayora de la gente a las matemti-
cas? Parece que sta no es una pregunta sencilla y tiene
muchas posibles respuestas. Para los matemticos, por
ejemplo, no slo son tiles, sino fundamentalmente ame-
nas, interesantes y absolutamente bellas. Quienes se de-
dican al estudio de otras disciplinas cientficas saben que
con ellas se puede entender el Universo. Los sucesos f-
sicos, qumicos o biolgicos que nos rodean, e incluso los
econmicos y sociales, pueden ser explicados por el len-
guaje matemtico. Las matemticas nos han facilitado
la creacin de mapas y la navegacin, la construccin y la
perspectiva en el arte, la radio, la televisin, el telfono,
la computadora, en fin, la lista es inacabable, pero aun-
que la mayor parte de las personas reconoce que son una
herramienta til para resolver problemas de la vida co-
mn, cuando oyen hablar de ellas casi siempre recuer-
dan algn tipo de experiencia desagradable.
Digamos entonces que si bien no es tan fcil advertir
su belleza, al menos s son clebremente distinguidas
por su utilidad en la resolucin de problemas. Y es que
sta es una de sus caractersticas primordiales: su versati-
lidad. Cuando encontramos un problema de la vida real,
siempre podemos hacer de l una descripcin o un mo-
delo matemtico. Aunque, siendo francos, lo ms comn es
que encontrar este modelo sea en s mismo un obstculo,
a veces tan o ms complicado que el problema mismo.
En este sentido, desde tiempos lejanos el ser humano
ha recurrido de un modo muy natural al uso de las grfi-
cas para tratar de representar problemas o situaciones de
su entorno. As, por ejemplo, hemos usado grficas para
indicar en un mapa las rutas de acceso entre ciertas ciu-
dades o poblados, o para sealar accesos comerciales o de
comunicacin entre ellos; las usamos al dibujar e identifi-
car las constelaciones en la esfera celeste o cuando repre-
sentamos nuestras relaciones familiares en un rbol ge-
nealgico; hacemos grficas tambin para establecer las
jerarquas en la estructura de una empresa o de cualquier
organismo en el que se pueda identificar un orden, como
el gobierno o el ejrcito. De hecho, es casi seguro que to-
da persona haya dibujado grficas alguna vez en su vida.
Cualquier sistema que involucre una cierta coleccin de
objetos y alguna regla que relacione parejas de los mis-
mos puede ser representado mediante una grfica.
La rama de las matemticas que estudia estos objetos
se conoce como teora de grficas, y surgi en el siglo
XVIII, poca en que los matemticos vean en las grficas
un simple divertimento. Es por eso que no resulta sor-
prendente que gran parte de los resultados obtenidos ini-
cialmente en esta rea hayan surgido a partir de acerti-
jos y pasatiempos. Fue hasta la ltima mitad del siglo
pasado cuando el inters por la teora de grficas se in-
crement notablemente. Desde luego, las razones de tal
fenmeno son muchas, aunque otra vez su versatilidad
parece ser determinante: se ha encontrado una enorme
diversidad de aplicaciones de la teora de grficas en mu-
chas reas del conocimiento. As, la vemos haciendo
aportaciones en biologa, ingeniera civil, arquitectura,
gentica, economa, antropologa, lingstica, qumica,
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
5
7
Un vistazoa la
teora de grficas
GABRIELA ARAUJO PARDO
PILAR VALENCIA SARAVIA
FIGURA 3 CI RCUITO I NTEGRADO
cas en las que los vrtices representan molculas, y cuan-
do dos de ellos son adyacentes indican algn tipo de inte-
raccin fsica, tal como repulsin o atraccin magntica.
De manera similar, Feynman us grficas en las que los
vrtices representan partculas fsicas, y las aristas tra-
yectorias de las mismas despus de colisionar.
Kirchhoff tambin hizo descubrimientos en la teora
de grficas cuando intentaba resolver el sistema de ecua-
ciones lineales simultneas obtenido por el paso de co-
rriente en cada circuito de una red elctrica. As, abstrajo
de la red elctrica con sus resistencias, condensadores,
inductancias y dems, una estructura consistente slo
de puntos y lneas sin indicar el tipo de elemento elctri-
co que representaban. Mediante la grfica subyacente a
la red elctrica, not que el problema original poda ser
resuelto ms fcilmente sin considerar los ciclos que se
formaban, utilizando lo que hoy conocemos como rbol
generador (figura 2).
Las grficas se utilizan al disear circuitos integrados
impresos en chips de silicn, que son usados en dispositi-
vos electrnicos sta es una de las aplicaciones ms im-
portantes de lo que conocemos como grficas planas
que deben ser diseados de tal modo que las porciones
conductoras no se crucen entre s (figura 3).
Actualmente, los psiclogos representan el espacio
vital de un individuo mediante un mapa, el cual es aso-
ciado a una grfica; de hecho las investigaciones acerca
de las dinmicas de grupo utilizan con frecuencia grfi-
cas en las que los vrtices representan personas y las aris-
tas algn tipo de relacin interpersonal.
Las grficas tambin han sido una til herramienta en
otras ramas de las matemticas, como la teora de grupos, el
anlisis numrico, la probabilidad, la topologa, la combina-
toria, la teora de algoritmos y computacin, y muy particu-
larmente en lo que se refiere al estudio y representacin de
estructuras abstractas de datos. En el rea conocida como
investigacin de operaciones, las grficas juegan un papel
relevante ah se les conoce como redes y casi siempre
son dirigidas, es decir, a cada arista se le agrega una flecha
que indica una direccin y se utilizan principalmente pa-
ra la planeacin de actividades y el diseo de sistemas de
comunicacin o distribucin de bienes y servicios.
Coloreando grficas
Situmonos por un momento en nuestra ltima fiesta de
fin de siglo: la noche del 31 de diciembre de 2000. Pense-
mos en el momento preciso de las doce campanadas y los
fsica, economa y, por supuesto, en otras reas de las
matemticas.
Y a todo esto, qu es una grfica? Como objeto mate-
mtico, una grfica es un par de conjuntos; el primero de
ellos no puede estar vaco y a sus elementos les llamamos
vrtices; el otro est formado por parejas de vrtices, las
cuales son denominadas aristas. Representar una grfica
mediante un dibujo en papel o en un pizarrn es un pro-
cedimiento muy sencillo: nicamente ponemos puntos o
pequeos circulitos para representar a cada uno de los
vrtices, y lneas o curvas entre las que forman una arista.
Sus usos son muy variados. Los qumicos usan las gr-
ficas para dibujar molculas. En 1857 Cayley descubri
una importante clase de grficas, llamadas rboles en la
qumica orgnica y las us para representar los ismeros
de los hidrocarbonos saturados. De este modo Cayley des-
cubri cuntos ismeros (es decir cuntos rboles) existen
para un nmero dado de tomos de carbono (figura 1).
Los fsicos tericos han utilizado las grficas de mlti-
ples maneras. Por ejemplo, en mecnica se utilizan grfi-
5
8
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
FIGURA 1 RBOLES
Agua Butano Aspirina
H H
FIGURA 2 RBOL GENERADOR
4
3
2 1
FIGURA 4 FIGURAS DE GRFICAS COMPLETAS
1
2
3
2
4
1 2
3
2 personas 3 personas 4 personas 5 personas
H H H H
H H
C C C C
H H H H
1
5
O
abrazos de fin de ao. Podremos saber cuntos abrazos
hubo esa noche en nuestra fiesta?, es decir, cuntos hubo
si slo haba en ella dos personas?, cuntos si asistieron
tres, cuatro o cinco?, cuntos si asistieron n personas?
Probablemente contar el nmero de abrazos en cada
caso resulte latoso, sin embargo, una grfica puede sim-
plificarnos el conteo (figura 4). Los vrtices representan
a los asistentes a la fiesta y cada arista indica un abrazo
entre las personas que representan sus vrtices. Hemos
colocado todas las aristas posibles pues suponemos que
hubo abrazos entre cualquier par de personas en la fiesta.
Es evidente que el nico abrazo no incluido es el de una
persona a s misma. Si slo hubieran asistido dos perso-
nas, entonces habra habido un solo abrazo, si hubieran
sido tres habran sido tres los abrazos, si cuatro, entonces
seis, etctera. Cmo contamos?, fcilmente: cada perso-
na abraza a cualquier otra en la fiesta menos a s misma y
cada abrazo lo contamos dos veces (una por cada uno de
los involucrados en el abrazo) entonces, si asisten n per-
sonas tenemos la frmula abrazos entre n personas
nmero de abrazos =
(n(n-1))
2
A las grficas que utilizamos aqu para representar este
problema se les conoce como grficas completas; en ellas
todos los vrtices estn unidos entre s por una arista, y si
hay n vrtices tenemos (n(n-1))/ 2aristas. La grfica com-
pleta de n vrtices se denota como Kn.
Nos atrevemos ahora a afirmar lo siguiente: Si a una
reunin asisten seis personas, hay tres de ellas que se
conocen entre s o tres que no se conocen entre s. Tra-
duciremos esta afirmacin al lenguaje de la teora de gr-
ficas. En primer lugar, etiquetemos a cada una de las per-
sonas con un nmero del 1 al 6, y representmoslas con
vrtices. Pondremos entre dos vrtices una lnea negra
si ellos representan a dos personas que se conocen y una
lnea verde si son desconocidas. En la figura 5, por ejem-
plo, la persona 1 conoce a las personas 2, 3, 4 y 5, y no co-
noce a la persona 6.
Mediante esta representacin, obtenemos la grfica
completa con seis vrtices, K6, cuyas aristas estn colo-
readas con dos colores. La traduccin de nuestra afirma-
cin inicial es lo que se conoce como el teorema de Ram-
sey: Siempre que coloreamos las aristas de K6 con dos
colores diferentes encontramos al menos un tringulo
monocromtico (es decir, un tringulo de un solo color).
Para nuestro ejemplo un tringulo negro indica tres
personas que se conocen mutuamente y uno verde a
tres que no se conocen.
La prueba o demostracin de este teorema es muy sen-
cilla: Elijamos un vrtice cualquiera de la grfica, suponga-
mos que tal vrtice es el 1. ste tiene cinco vecinos: 2, 3,
4, 5 y 6, y de las cinco aristas que salen de l hay al me-
nos tres que tienen el mismo color, digamos que ellas son
12, 13, 14 y que son negras. Si alguna de las aristas 23, 24
o 34 es negra, como la 23, entonces tenemos un tringu-
lo monocromtico negro, el formado por los vrtices 1, 2
y 3 (figura 5a). Si, por el contrario, las tres son verdes te-
nemos un tringulo monocromtico verde: el de los vr-
tices 2, 3 y 4 (figura 5b).
Observemos que la demostracin hubiera sido igual si
las tres o ms aristas del mismo color hubieran sido ver-
des; tambin pudimos haber escogido cualquier otro vrti-
ce en lugar del 1, pues todos tienen el mismo comporta-
miento, es decir, que nuestra grfica es simtrica.
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
5
9
En los mapas que aparecen (figura 6) se muestra que
los cuatro colores son necesarios para colorear un mapa
en las condiciones dadas. La pregunta que hay que resol-
ver es si para cualquier mapa estos cuatro colores son sufi-
cientes. Nuevamente traslademos este problema al con-
texto de la teora de grficas. Ahora representaremos a
cada regin del mapa con un vrtice y habr una arista en-
tre dos vrtices si las regiones a las que corresponden tie-
nen frontera comn. As, las grficas de la figura 7 corres-
ponden a los mapas de la figura 6 a y b respectivamente.
Este problema nos permite introducir el concepto de
grficas planas, que son las que podemos dibujar en el
plano, de modo que sus aristas no se crucen, salvo en sus
vrtices. Cuando decimos plano nos referimos a alguna
superficie plana, una hoja, un cuaderno, un pizarrn, et-
ctera. Si una grfica puede dibujarse de este modo, deci-
mos que es plana (figura 8) o que tiene un dibujo plano
(figura 9). Como a cualquier grfica plana le corresponde
un mapa sobre el plano, entonces el teorema de los cua-
tro colores afirmara que son suficientes cuatro tonos pa-
ra colorear los vrtices de una grfica plana con la condi-
cin de que dos vrtices adyacentes no tengan el mismo
color.
La banda de Mbius
Aunque la definicin formal de grfica resulta un poco
abstracta, pues se establece en trminos de conjuntos,
la tendencia natural, cuando hablamos de grficas, es
pensarlas ya dibujadas en el plano como lo hemos hecho
La demostracin que dimos aqu del teorema de Ram-
sey es ejemplo de una estrategia muy comn dentro de
la teora de grficas, que es la coloracin. En este caso co-
loreamos aristas, pero tambin se colorean vrtices.
La coloracin de grficas ha sido estudiada desde muy
diversos ngulos y con distintos propsitos. Se han obte-
nido grandes resultados por su relevancia matemtica
pero, sobre todo, sorprendentes por su belleza, por su-
puesto, desde una ptica matemtica.
Hablaremos ahora de un famoso resultado conocido
como el problema de los cuatro colores, y cuyo plantea-
miento como problema de grficas tiene que ver con colo-
raciones de vrtices. Fue planteado en 1852 y es conocido
prcticamente por todos los matemticos que han surgi-
do desde entonces, la mayora de los cuales nos atreve-
mos a asegurarhan tratado de resolverlo. En los muchos
intentos por solucionarlo han participado casi todas las ra-
mas de las matemticas, lo que ha propiciado la generacin
de una gran riqueza de conocimientos. Recientemente,
este problema ha sido abordado con amplitud, haciendo
uso de computadoras y usando estrategias y programas que
realizan clculos durante aproximadamente mil horas.
Su planteamiento es realmente sencillo: cuatro colo-
res son suficientes para colorear cualquier mapa plano
con la condicin de que cualquier par de regiones veci-
nas, es decir, con frontera comn, tengan colores distin-
tos, de acuerdo con lo cual, dos pases del mismo color
podran compartir un punto o un nmero finito de pun-
tos pero no una lnea (un nmero infinito de puntos), que
representa a la frontera entre ellos.
6
0
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
FIGURA 5
6
5 4
3
2 1
a) b)
6
5 4
3
2
1
FIGURA 7
FIGURA 9
tetraedro cubo octaedro dodecaedro icosaedro
FIGURA 10 SLI DOS PLATNICOS Y SUS GRFICAS FIGURA 8
FIGURA 6
blanco
amarillo
negro
rojo
blanco
amarillo
rojo blanco
azul
morado
a) b)
hasta ahora, con puntos que representen los vrtices y l-
neas o curvas entre aquellos que formen una arista. Sin
embargo, tambin podramos haberlas pensado en otro
tipo de superficies; por ejemplo, cmo se vera alguna de
las grficas que hemos presentado dibujada en una esfe-
ra?, o en una taza?, o en la superficie de un poliedro?
Hay dos aspectos importantes que debemos resaltar.
Primero, que cualquier dibujo de una grfica es comple-
tamente independiente de la grfica en s misma, o sea,
que ste no altera las propiedades de aquella, nicamen-
te nos ayuda a estudiarla mejor. Cuando hablbamos un
poco antes de las grficas planas, por ejemplo, un dibujo
adecuado nos permite decidir si ella es plana o no; si pode-
mos encontrar un dibujo plano de una grfica, entonces
decimos que es plana. En segundo lugar, notemos que
cualquier grfica con un dibujo plano puede tambin di-
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
6
1
bujarse sin cruces en la superficie de una esfera. Por ejem-
plo, en la figura 10 mostramos los famosos slidos plat-
nicos: tetraedro, hexaedro o cubo, octaedro, dodecaedro e
icosaedro. Podemos pensarlos como poliedros, suponin-
dolos huecos y tomando nicamente la superficie que for-
ma sus cscaras, o podemos imaginarlos como grficas
y aplanarlos como se muestra en la figura.
stas son unas de las grficas planas ms famosas que
se han estudiado hasta ahora. Por supuesto existen tam-
bin grficas que no son planas, como K5, la grfica com-
pleta de cinco vrtices, que es el ejemplo ms sencillo de
este caso (figura 11). Sin embargo, pueden existir otras
superficies donde s sea posible dibujar una grfica no
plana sin que haya aristas que se crucen. Por ejemplo, pa-
ra el caso de K5, la superficie de una dona, conocida tam-
bin como toro, es ideal para dibujarla podramos ha-
cerlo en una taza (figura 12), aunque puede dibujarse sin
cruces en otra superficie ms sencilla. sta es una de las
ms interesantes y curiosas en matemticas: la banda de
Mbius, cuya peculiaridad radica en que, a pesar de dar
la impresin de ser una superficie con dos lados, en rea-
lidad solamente tiene uno. Es decir, si nos imaginamos
que uno puede recorrer caminando esta superficie ini-
ciando desde un punto cualquiera y seguir y seguir cami-
nando (siempre hacia adelante), cuando lleguemos nue-
vamente al punto de inicio estaremos de cabeza! El
famoso dibujo de Escher de las hormigas andando sobre
una banda de Mbius ilustra claramente esta situacin
(figura 13).
La firma del diablo
Ya habamos visto antes un dibujo no plano de K4. Note-
mos que el punto del centro donde se cruzan las dos dia-
gonales del cuadrado no es un vrtice. Esta figura es co-
nocida como la firma de diablo y debe su nombre a la
imposibilidad de recorrer todas las aristas de la grfica sin
repetir ninguna, sin levantar el lpiz del papel y regre-
6
2
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
FIGURA 11
FIGURA 12
sando al mismo punto donde se inici el dibujo. Pensan-
do en esta figura como una grfica, lo que tratamos de ha-
cer es encontrar un recorrido cerrado que pase por todas
sus aristas exactamente una vez. Esto se conoce en la teo-
ra de grficas como recorridos eulerianos y debe su nom-
bre al matemtico suizo Leonard Euler, considerado el pa-
dre de la teora de grficas. l logr resolver en 1736 un
famoso acertijo de su poca conocido como el problema
de los puentes de Knigsberg.
Sucede que por esa ciudad, (la cual, por cierto, ahora
ya no tiene ese nombre), cruzaba el Ro Pregel, en el que
haba dos islas unidas entre s, conectadas a la rivera por
siete puentes (figura 14).
El problema era el siguiente: iniciar en alguna de las
cuatro porciones de tierra y hacer un paseo por la ciu-
dad, atravesando por cada puente exactamente una vez,
y regresando al punto de inicio.
En principio se trat de resolver este problema empri-
camente, es decir, intentando encontrar tal paseo median-
te prueba y error. Muchsimos experimentos fallidos ha-
can pensar en su imposibilidad, aunque nadie se atreva
a afirmar que as fuese, y en todo caso tampoco saban ex-
plicar cul era la razn de la inexistencia del mismo.
La gran contribucin de Euler fue el demostrar riguro-
samente que, en efecto, tal paseo era imposible; para ello
utiliz por primera vez el concepto de grfica como lo co-
nocemos ahora. Euler represent el mapa de Knigsberg
mediante una grfica: a cada porcin de tierra la repre-
sent con un vrtice y a cada uno de los puentes como
una arista, de modo que dos vrtices adyacentes en la
grfica indicaban dos porciones de tierra unidas median-
te uno de los puentes (figura 15).
De hecho, no slo respondi a la pregunta original, si-
no que logr dar una condicin necesaria y suficiente pa-
ra decidir si una grfica cualquiera contiene un recorrido
cerrado que pase por todas y cada una de las aristas exac-
tamente una vez. Ese primer teorema de grficas se enun-
cia as: Una grfica es euleriana si y slo si a cada uno de
sus vrtices llega un nmero par de aristas (distinto de
cero).
Evidentemente, ni la grfica que representa a la ciu-
dad de Knigsberg ni la firma del diablo son grficas eule-
rianas, y por tanto el camino que se busca en cada caso
es inexistente.
La demostracin de este teorema tambin es bastante
sencilla: notemos primero que si la grfica es euleriana,
entonces s es posible hacer el recorrido que se busca, ya
que ste pasa por todos los vrtices de la grfica pues
pasa por todas las aristas. Cada vez que toca algn vrti-
ce utiliza una arista para llegar, y enseguida necesita una
nueva arista para salir de l. Notemos que no se usa otra
vez la arista con que llegamos, pues el recorrido no las re-
pite. As, cada toque de algn vrtice por el recorrido
representa dos aristas que inciden en l, lo cual se cum-
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
6
3
FIGURA 14 LOS PUENTES DE KNIGSBERG
FIGURA 13 LA BANDA DE MBI US FIGURA 15
D
B
C
A
B
C
D
A
REFERENCIAS BI BLIO G RFICAS
Chartrand, Gary. 1992. Introductory Graph Theory.
Dover Publication.
Diestrel, Reinhard. 2000. Graph Theory. Graduate
Text in Mathematics, en Springer, nm. 173.
Hartsfield, Nora yGerhard Ringel. 1994. Pearls in
Graph Theory, a Comprehensive Introduction. Aca-
demic Press.
Lpez de Medrano Santiago. 1972. Grficas. Pro-
grama nacional de formacin de profesores. ANUI ES.
M agnus Enzensberger, Hans. 1999. El diablo de
los nmeros. Siruela, Madrid.
Melnikov O., V. Sarvanov, R. Tyshkevich, V. Yemeli-
chev e I. Zverovich. 1998. Exercises in Graph Theory.
K luwer Academic Publishers.
SaatyL. yP. C., K ainen. 1986. The four-color Pro-
blem. Dover Publication.
IMG ENES
Gustavo Prez, p. 56: Nahual, pastillaje, 43 x 32 x 1
cm, 1993; p. 59: pieza de la exposicin Pruebas y
errores; p. 61: Chaneque, pastillaje, 41 x 35 x 1 cm,
1993; Bol ( fragmento) , torno, f52 cm, h 10 cm, 1994;
Vaso ( fragmento) , torno, h 41 cm x f21 cm, 1994.
Gabriela Araujo Pardo y Pilar Valencia Saravia
Instituto de Matemticas,
Universidad Nacional Autnoma de Mxico.
todo el mundo. Es impresionante observar el desarrollo
explosivo que esta rama tuvo en la ltima mitad del si-
glo pasado, lo que tiene que ver quiz con las brillantes
incursiones que hizo en otras reas del conocimiento
humano, aunque definitivamente sus principales apli-
caciones se encuentran en las ciencias de la computa-
cin, rea en la que los avances han sido gigantescos.
Puede ser que ste sea un fenmeno de crecimiento
paralelo, en el que una y otra rea obtienen logros signifi-
cativos en forma simultnea, y que generan como conse-
cuencia avances tecnolgicos importantes evidentes
para la mayora de las personas. A su vez, este desarrollo
tecnolgico contribuye decididamente a la creacin del
nuevo conocimiento terico al proporcionar herramientas
de experimentacin y bsqueda cada vez ms eficientes,
acelerando con ello el desarrollo al que nos referamos. En-
tonces se crea una especie de crculo sin fin de avance
comn entre varias esferas del conocimiento.
ple tambin para el vrtice que se haya escogido como
inicio del recorrido (y final, pues es cerrado), y, por tan-
to, en cada vrtice incide un nmero par de aristas: exac-
tamente el doble de las visitas realizadas por el recorri-
do al vrtice en cuestin.
Ahora bien, si partimos de que en la grfica se cumple
que a cada vrtice llega un nmero par de aristas, se pue-
de demostrar que la grfica es euleriana (figura 16).
Cualquier polgono puede ser pensado como una gr-
fica, y a los n-gonos (polgonos regulares de n lados) se
les llama ciclosen la terminologa de la teora de grficas.
Es evidente que los ciclos son grficas eulerianas.
Hemos visto pues que las grficas son objetos real-
mente atractivos, intuitivamente fciles de entender y,
como mencionbamos al principio, sumamente vrsati-
les. En la actualidad, esta teora ocupa un lugar relevan-
te dentro de la investigacin en matemticas, contando
con el tiempo y la atencin de muchos matemticos en
6
4
C I EN C I AS 67 JULIO SEPTI EM BRE 2002
FIGURA 16 GRFICAS EULERIANAS