Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Mika Olsen
Universidad Autónoma Metropolitana, Unidad Cuajimalpa
Departamento de Matemáticas Aplicadas y Sistemas
Artificios 40, Col. Miguel Hidalgo
Del. Alvaro Obregón, C.P. 01120 México D.F., MEXICO
olsen@matem.unam.mx
Pilar Valencia-Saravia
Facultad de Ciencias, Universidad Nacional Autónoma de México
Circuito Exterior, Ciudad Universitaria
Del. Coyoacán, C.P. 04510 México D.F., MEXICO
pilar.valencia@gmail.com
Resumen
Es interesante ver cómo dos ramas de las matemáticas, la
Teorı́a de Gráficas y la Topologı́a, aparentemente ajenas, se
combinan de tal manera que surge una nueva teorı́a, la llamada
Teorı́a Topológica de Gráficas, en la cual se consideran proble-
mas muy interesantes. Aquı́ abordamos parte de los resultados
conocidos en esta teorı́a respecto al problema de encajamiento
de gráficas en superficies cerradas, orientables o no, y cómo esto
da cabida al problema de encontrar un conjunto completo, fini-
to y minimal de menores prohibidos para tales encajes. En par-
ticular, consideramos las gráficas Snarks y enlistamos algunos
Palabras clave: Problema de los cuatro colores, gráficas Snarks, Superficies ce-
rradas, Menores prohibidos.
90 L. Armas-S., M. Olsen y P. Valencia-S.
1. Introducción
El objetivo del presente artı́culo es ilustrar como dos teorı́as aparente-
mente ajenas se conjugan para formar una nueva: la Teorı́a Topológica
de Gráficas.
Un problema muy antiguo, el Teorema de los Cuatro Colores, surge
al considerar un mapa sobre la esfera, donde cada paı́s tiene una curva
cerrada como frontera y demostrar que este mapa se puede colorear
con a lo más 4 colores, de tal forma que cualesquiera dos paı́ses que
comparten una frontera tengan distinto color.
Este problema lo podemos traducir a un problema de gráficas. Cons-
truimos una gráfica del mapa dado tomando un vértice por cada paı́s
y una arista entre dos vértices si los paı́ses correspondientes comparten
una frontera. La gráfica obtenida es plana. Entonces la pregunta es:
¿Dada cualquier gráfica plana, será posible dar una coloración de los
vértices, utilizando 4 colores únicamente, de manera que no haya dos
vértices adyacentes con el mismo color? Pasaron muchos años para que
este problema se resolviera y fueron los matemáticos Haken y Appel,
quienes en 1976, dieron una prueba afirmativa y correcta [1, 2].
En el problema de los cuatro colores se consideran gráficas que se
pueden dibujar sobre la esfera. Un problema en la Teorı́a Topológica de
Gráficas surge al considerar una superficie cerrada, conexa y orientable
(o no orientable) y una gráfica G, y preguntarnos si la gráfica G se
puede dibujar en la superficie dada sin que sus aristas se intersequen
excepto en los vértices. El problema anterior aunque es fácil de enunciar
resulta ser difı́cil de solucionar.
En el presente trabajo revisamos algunos resultados conocidos re-
ferentes a estos problemas, es decir, el problema de encajamiento de
gráficas en superficies orientables o no orientables. En la Sección 2, da-
mos algunas de las definiciones y resultados conocidos sobre este tema.
En la Sección 3, describimos cómo estos problemas se relacionan con
los menores prohibidos minimales. En la Sección 4, describimos a las
gráficas Snarks y damos algunos resultados sobre el problema de encaje
para ellas. En la Sección 5, enunciamos el problema de encaje de una
gráfica en un libro ası́ como los resultados que hay para ciertas clases
de gráficas y finalmente terminamos con un breve comentario.
Algunos aspectos de la teorı́a . . . 91
vb 6
v5 b b v1
v4 b b v2
b
v3
Figura 1. Una gráfica con 6 vértices y 6 aristas.
Figura 1: Una gráfica con 6 vértices y 6 aristas.
ii) Sustituir una arista por una trayectoria.
SeaDos gráficas
(u, w, v) unaG1trayectoria
y G2 son homeomorfas
en G, tal quesi el
G1número
puede serde transformada
aristas incidentes en
en una2 gráfica
w es y d(w) isomorfa
= 2. Se aelimina
G2 aplicando unwnúmero
el vértice finito
ası́ como lasde veces uw,
aristas (verwv y se
Fig. 2) las siguientes
añade la arista uv. operaciones:
i) Subdivisión de arista.
b
Seab uv ∈ E(G). b
Seb elimina
b
la arista
b
uv,b se añade
b
el vértice
b
wb
ası́ como las aristas uw, wv.
Figura 2. Subdivisión y Composición de Aristas.
ii) Sustituir una arista por una trayectoria.
Por otro lado,Seauna(u,superficie
w, v) unaStrayectoria en G, taly sin
cerrada (compacta quefrontera),
el número de aristas
conexa, orientable o
incidentes topológica
no, es una 2-variedad en w es 2 yded(w) = 2. Seeselimina
Hausdorff, el vértice
decir, un espaciowtopológico
ası́ como conexo
en el que cadalas aristas uw, wv
punto tiene y se
una añade lahomeomorfa
vecindad arista uv. a un disco abierto y además
dados dos puntos cualesquiera éstos tienen vecindades disjuntas.
Por otro lado, una superficie S cerrada (compacta y sin frontera),
Decimos que Sorientable
conexa, es la sumao conexa de dos
no, es una superficies
2-variedad S1 y S2 sideSHausdorff,
topológica se puede obtener
es de
las superficies S y S
decir, un 1espacio2 quitándoles un disco pequeño abierto a cada
topológico conexo en el que cada punto tiene unauna e identificando
las fronteras de estos discos (que son dos circunferencias) en las superficies. Como
ejemplos de superficies cerradas, conexas y orientables tenemos a la esfera, el toro, el
doble toro, y en general la suma conexa de g toros. También podemos representar a
la superficie cerrada, conexa y orientable como la identificación de un disco con otro
disco con 2g bandas (identificando las fronteras de los discos) como se muestra en la
Fig. ??.
Figura 1. Una gráfica con 6 vértices y 6 aristas.
b b b b b b b b b b
La contracción 3. deRelaci
aristas ónesconuna
losoperación
menores en de la que, en una gráfica,
gráficas
una arista y sus dos vértices son eliminados y sustituidos por un nuevo
La contracción
vértice que se de hace
aristasadyacente
es una operación en lalos
a todos que, en una de
vecinos gráfica, una aristade
los vértices y sus
la
dos vértices son eliminados y sustituidos por un nuevo vértice que se hace adyacente
arista original; dicho de manera topológica, se elimina una arista y sus
a todos los vecinos de los vértices de la arista original; dicho de manera topológica,
sevértices
elimina extremos
una arista ysesusidentifican.
vértices extremos se identifican.
b
b
b
b b b b b b
b
b b b b b b b
b b b b b b
b
b
b
b ALGUNOS ASPECTOS
b DE LA
b TEORÍA b TOPOLÓGICA DE GRb ÁFICAS 13
b b b b b b
b b b b b
b b b b b
b b b b b b
G H
b b b b b
Figura 13.HHesesmenor
Figura 13: menordedeG.
G
G H
esto es, para cada gráfica G que no está en F , existe una gráfica H en M que es
Robertson Figura 13. H es menor de G
menor propio de G. y Seymour [35] probaron que cualquier familia de gráficas
cerrada por menores tiene un conjunto finito, M, de menores prohibidos
esto es,
Entonces, para
en una
minimales cada gráfica
familia
que deGgráficas
que esto
es completo, no cerrada
está
es, para Fcada
en por, existe unaGidentificar
menores,
gráfica gráfica
que noHestá
en M que es
al conjunto
en
demenor
sus F,propio
existede
menores G.gráficaminimales
prohibidos
una H en M que resulta muy atractivo
es menor propio de pues
G. ası́ se obtiene la
caracterización de susenelementos.
Entonces,Entonces,
en una familia una familia de gráficas
de gráficas cerradacerrada por menores,
por menores, identificar
identificar al conjunto
al conjunto de sus menores prohibidos minimales resulta muy
de sus menores prohibidos minimales resulta muy atractivo pues ası́ se obtiene laatractivo
b
pues b ası́ sede
caracterización obtiene la caracterización de sus elementos.
susb elementos.
b b
b
b b b b
b b
b b b b
b
b
b b
Figura 14. K3,3 y K5 .
b
b
b b
b b
b b
b b
b
Figura 15. K3,3 y K5 no son planas.
Figura 15: K3,3 y K5 no son planas.
4. Snarks
4. Snarks
El ı́ndice ′
cromático de una gráfica G, χ (G), es el mı́nimo número de colores ne-
cesarios para colorear las aristas de G de modo que dos aristas que inciden en un
El ı́ndice
mismo cromático
vértice de diferente.
tienen color una gráfica G, χ0 (G),
El Teorema es el acota
de Vizing mı́nimo número
los valores de
posibles
′
de χ (G)necesarios
colores en términospara
de sucolorear
grado máximo, ∆(G):
las aristas de G de modo que dos aristas
que inciden en un mismo vértice tienen color diferente. El Teorema de
Vizing acota los valores ∆(G) posibles de ≤χ0∆(G)
≤ χ′ (G) (G) + en1 términos de su grado
máximo, ∆(G):
Una gráfica es cúbica (o 3-regular) si todos sus vértices tienen grado 3. Entonces si
G es cúbica, por el Teorema de Vizing,0 χ′ (G) sólo puede ser 3 o 4. Sin embargo,
∆(G) ′≤ χ (G) ≤ ∆(G) + 1
determinar el valor exacto de χ para una gráfica cúbica arbitraria es un problema
NP-completo [?].
Una gráfica es cúbica (o 3-regular) si todos sus vértices tienen grado
3.UnEntonces
snark es siunaGgráfica
es cúbica, por
cúbica, deelı́ndice
Teorema cuatro yχ0sin
de Vizing,
cromático (G)puentes
sólo puede
(aristas
que al eliminarse desconectan a la gráfica). Fue Peter G. Tait
ser 3 o 4. Sin embargo, determinar el valor exacto de χ para una gráfica 0 quien, buscando una
prueba para el Teorema de los Cuatro Colores, (TCC), inició el estudio de los snarks
cúbica arbitraria es un problema NP-completo [24].
en 1880. Este teorema, como mencionamos anteriormente, en términos de la Teorı́a
de Un snark
Gráficas es unaSigráfica
establece: G es una cúbica,
gráficadeplana,
ı́ndice cromático
entonces cuatrose ypueden
sus vértices sin
puentes
colorear con(aristas quecuatro
a lo más al eliminarse
colores dedesconectan a la gráfica).
manera que vértices adyacentesFuenoPeter
son del
mismo
G. Taitcolor.
quien, buscando una prueba para el Teorema de los Cuatro
Colores,
Otra manera (TCC), inició
de decirlo es el
queestudio de los
toda gráfica planasnarks en 1880.por
es 4-coloreable Este teorema,
caras, pues una
como
gráficamencionamos anteriormente,
plana bien dibujada en el plano eno latérminos
esfera (esde la Teorı́a
decir, de Gráficas
sin cruces de aristas)
delimita caras
establece: Si G conessus
unaciclos (una plana,
gráfica cara no entonces
acotada ensus caso de no haberlos).
vértices se puedenDe
la misma forma en que construimos una gráfica partiendo de un mapa, se puede
colorear con a lo más cuatro colores de manera que vértices adyacentes
construir la gráfica dual de G plana: un vértice por cada cara y una arista entre dos
no son del
vértices que mismo color.
representen en G caras que comparten una arista.
Otra manera de decirlo es que toda gráfica plana es 4-coloreable por
caras, pues una gráfica plana bien dibujada en el plano o la esfera (es
decir, sin cruces de aristas) delimita caras con sus ciclos (una cara no
acotada en caso de no haberlos). De la misma forma en que construimos
una gráfica partiendo de un mapa, se puede construir la gráfica dual de
G plana: un vértice por cada cara y una arista entre dos vértices que
representen en G caras que comparten una arista.
Usando la gráfica dual Tait, transformó el problema de coloración de
mapas en uno de coloración de aristas de gráficas cúbicas y demostró,
Algunos aspectos de la teorı́a . . . 103
b
b
b b
b b
b
b
b
Figura 16.LaLa
Figura 16: gráfica
gráfica dede Petersen
Petersen y una
y una 4-coloración
4-coloración dede
sussus aristas.
aristas.
No obstante, en 1975, en
No obstante, R.1975,
Isaacs,R. [?], construyó
Isaacs, dos familias
[25], construyó infinitasinfinitas
dos familias de snarks: los
snarksde de snarks:
flor y lalosfamilia BDS (Blanus̆a, Descartes, Szekeres).
snarks de flor y la familia BDS (Blanus̆a, Descartes, Hasta ese momento
se conocı́an sólo Hasta
Szekeres). cuatroese de momento
estas gráficas.
se conocı́an sólo cuatro de estas gráficas.
En su Isaacs
En su artı́culo, artı́culo, Isaacs resume:
resume:
“La más antigua gráfica 3-regular no 3-coloreable por aristas es la
“La más antigua
gráfica gráfica 3-regular
de Petersen, que datano de
3-coloreable
1891 y es por aristas
la más es la gráfica
pequeña de Petersen,
que existe.
que data de 1891
Desde y es ylahasta
entonces más pequeña
el presentequeartı́culo,
existe. Desde
según entonces y hasta
sé, sólo otras treseldepresente
artı́culo, según
estas sé, sólo
gráficas hanotras
sido tres de estas gráficas
encontradas. He aquı́hansus sido encontradas. He aquı́ sus
datos:
datos:
Descubridor Fecha Orden Ref.
Descubridor Fecha Orden Ref.
Danilo Blanus̆a 1946 18 [9]
Danilo Blanus̆a 1946 18 [?]
Blanche Descartes 1948 210 [16]
Blanche Descartes 1948 210 [?]
George Szekeres 1973 50 [41]
George Szekeres 1973 50 [?]
“...las gráficas cúbicas que no son 3-coloreables por aristas son extre-
“...las madamente
gráficas cúbicasraras.queEnnosuson
búsqueda encuentro
3-coloreables un fascinante
por aristas pasatiempo raras.
son extremadamente
En su búsqueda encuentro un fascinante pasatiempo para varios meses. para
para varios meses. Yo lo recomiendo como placentera diversión Yo lo reco-
miendocualquier matemático,
como placentera quedará
diversión paraimpresionado con la inmensa
cualquier matemático, dificultad
quedará impresionado
con la de encontrar
inmensa una dede
dificultad estas gráficas”.
encontrar una de estas gráficas”.
William T. Tutte conjeturó que todo snark tiene a la gráfica de
William T. Tutte
Petersen como conjeturó que todo en
menor (reportado snark
[15]).tiene a laRobertson,
En 2001 gráfica de Sanders,
Petersen como
menorSeymour
(reportado en [?]). En 2001 Robertson,
y Thomas dieron la demostración, [36]. Sanders, Seymour y Thomas dieron
la demostración,
Teorema [?]. del Snark Todo snark tiene a la gráfica de Petersen
Teorema comodel menor.
Snark Todo snark tiene a la gráfica de Petersen como menor.
Los snarks han motivado gran cantidad de investigaciones desde
diversas perspectivas. Aún no se conocen todas sus propiedades ni se
ha caracterizado la familia completa. Hay trabajos encaminados a dar
una construcción canónica de estas gráficas, como los de Cameron,
Algunos aspectos de la teorı́a . . . 105
Orden 10 12 14 16 18 20 22 24 26 28
# Snarks 1 0 0 0 2 7 22 40 290 2976
b
b
b
b b b
b
b
b b b
b
b
b b b b b b
b b b b b b
b
b
b
b
b b b b b b
b
b
b
En la Fig. ?? podemos ver un ejemplo de una asignación de rutas en dos niveles
En la notemos
distintos, Fig. 17que
podemos
en cada ver
nivelun
las ejemplo
aristas node una asignación de rutas
se cruzan.
Figura 17. Representación de dos niveles de rutas aéreas
en dos
Este niveles distintos,
planteamiento notemos
es equivalente que endecada
al problema encajenivel lasdearistas
en libro no se
una gráfica.
En cruzan.
la Fig.
Un ??o libro
k-libro, podemos ver unconsiste
de k páginas, ejemplo de lı́nea
en una una Lasignación
llamada lomo de yrutas en dos niveles
k semiplanos
distintos, llamados hojas o páginas, que tienen a L como su frontera común. de
Este
distintos, planteamiento
notemos que en es equivalente
cada nivel las al problema
aristas no se de encaje
cruzan. en libro
una gráfica.
Este planteamiento
Un k-libro, o es equivalente
libro al problema
de k páginas, consiste deenencaje
una en libro
lı́nea de una gráfica.
L llamada
Un lomo y ko libro
k-libro, semiplanos distintos,
de k páginas, llamados
consiste hojas
en una o páginas,
lı́nea L llamada quelomo
tienen
y k asemiplanos
L comollamados
distintos, su frontera
hojascomún.
o páginas, que tienen a L como su frontera común.
Lomo
Hoja
Figura 18. Lomo
Un libro.
El encaje en un k-libro de una gráfica es un mapeo de cada vértice al lomo y cada
arista al interior de a lo más una página de manera que aristas en la misma hoja
no se crucen. Una gráfica dibujada de modo que todos sus vértices están sobre un
cı́rculo puede facilmente encajarse
Hojaen un libro: “abriendo” el cı́rculo por enmedio de
dos vértices hasta formar una lı́nea tendremos el lomo del libro. Si además las aristas
han sido coloreadas sin que hayaFigura
cruces monocromáticos,
18. Un libro.colocando en una hoja las
Figura
aristas del mismo color no habrá 18: Un
cruces en lalibro.
hoja. Entonces estas dos formas de
representar una gráfica son equivalentes.
El encaje en un k-libro de una gráfica es un mapeo de cada vértice al lomo y cada
arista El encaje en
al interior deun k-libro
a lo más de
unauna gráfica
página de esmanera
un mapeo
que de cadaen
aristas vértice
la misma hoja
no alse lomo
crucen. Una arista
y cada gráficaal dibujada dea modo
interior de lo másque
unatodos susdevértices
página maneraestán
que sobre un
cı́rculo
aristas en la misma hoja no se crucen. Una gráfica dibujada de modoenmedio de
puede facilmente encajarse en un libro: “abriendo” el cı́rculo por
dosquevértices
todoshasta formar están
sus vértices una lı́nea
sobretendremos
un cı́rculoelpuede
lomo fácilmente
del libro. Siencajarse
además las aristas
hanensido coloreadas sin que haya cruces monocromáticos, colocando
un libro: “abriendo” el cı́rculo por en medio de dos vértices hasta en una hoja las
aristas del mismo color no habrá cruces en la hoja. Entonces estas dos formas de
representar una gráfica son equivalentes.
108 L. Armas-S., M. Olsen y P. Valencia-S.
formar una lı́nea tendremos el lomo del libro. Si además las aristas han
sido coloreadas sin que haya cruces monocromáticos, colocando en una
hoja las aristas del mismo color no habrá cruces en la hoja. Entonces
estas dos formas de representar1 una gráfica1 son equivalentes.
20 LORENA ARMAS-SANABRIA , MIKA OLSEN , PILAR VALENCIA-SARAVIA2
En la Fig. 19 vemos la transformación del dibujo circular al de encaje
enlalibro
En Fig. cuando
?? vemosabrimos entre los del
la transformación vértices
dibujo5circular
y 6. al de encaje en libro cuando
20 abrimos entre los
LORENA vértices 5 y 6. 1, MIKA OLSEN1 , PILAR VALENCIA-SARAVIA2
ARMAS-SANABRIA
v1
En la Fig. ?? vemos la transformación del dibujo circular al de encaje en libro cuando
b
b b b b b b
v2 b
v6
b
b b v6 v1 v2 v3 v4 v5
v3 v5
b b b b b b
b
b v4 b v6 v1 v2 v3 v4 v5
v3 v5
Figura
Figura 19. Equivalencia
19: Equivalencia entreentre el dibujo
el dibujo en cı́rculo
en cı́rculo y en
y en libro
libro.
b
v4
El encaje en libro de una gráfica surge en distintos contextos, lo que nos puede dar
El encaje
una idea de la en
Figura libro
importancia
19. de una
Equivalencia gráfica
e interés que
entre surge
eleste
dibujo en
problema distintos hacontextos,
en cı́rculo tenido
y en libro en el lo área
que de la
Teorı́a
nos puedede Gráficas.
dar una El idea
problemade ladeimportancia
las rutas aéreas e interés puede que
modelarse
este problema como el encaje
Elen
encaje
hauntenidoen libro
k-libro en deárea
enelel unadeseamos
que gráfica
de surge en distintos
minimizar
la Teorı́a de el número
Gráficas. contextos,
El k. lo que
Al mı́nimo
problema nos
denúmero las puede rutasde dar
hojas
una idea
deaéreas de ladonde
un libro importancia
se puede eencajar
interés Gquese este
le problema
llama el ha de
grosor tenido
libro en
de elG,área y se de la
denota
puede modelarse como el encaje en un k-libro en el que deseamos
Teorı́a de Gráficas.
por nh(G) El problema
(en inglés, de las rutas aéreas puede modelarse como el encaje
book thickness).
minimizar
en un k-libro enelelnúmero k. Al minimizar
que deseamos mı́nimo númeroel número de k.
hojas de un número
Al mı́nimo libro donde de hojas
se libro
de un puededonde
encajar v1G
se puede se le llama
encajar Gel
se grosor
le llama
v1
de elb
libro
grosorde deG, y
libro se
de
v1
denota
G, b y se por
denota
nh(G)
por nh(G) (en inglés, book thickness).
inglés, book thickness).
b
v3 b v2 b
v1 v1 b v1 b
v2 b v4 v2 b v3 b
b
v3 b v2 b
v4 b v4 b
v2 b b v4 v2 b v3 b
b
v3
v4 b v4 b
b
6. Comentario.
Bibliografı́a
355.
40. S. Stahl y L. Beineke, Blocks and the nonorientable genus of graphs, J.
Graph Theory 1 (1977) 75–78.
41. G. Szekeres, Polyhedral decompositions of cubic graphs, Bull. Austral.
Math. Soc. 8 (1973) 367–387.
42. P. Tait, Remarks on the colouring of maps, Proc. Royal Soc. Edinburgh
10 (1880) 729.
43. A. Vodopivec, On embeddings of snarks in the torus, Discrete Math. 308
(2008) 1847–1849.
44. J. Watkins y R. Wilson, A survey of snarks, Graph Theory, Combina-
torics, and Applications, Vol. 2, New York: John Wiley and Sons, Inc.
Wiley-Interscience Publication (1991) 1129–1144.
45. M. Yannakakis, Four pages are necessary and sufficient for planar graphs,
Proc. 18th Ann. ACM Symp. on Theory of Computing (ACM, New
York) (1986) 104–108.