Escolar Documentos
Profissional Documentos
Cultura Documentos
on de Ex
amenes
de
Matem
atica Discreta
Depto. de Matem atica Aplicada I
MATEM
_
_
_
_
_
_
_
_
_
.
.
.
.
.
`
`
`
`
`
`
`
`
``
4 3 2
1 0 5
6 7 8
1. Para que valores de n es M
n
euleriano?
2. Para que valores de n admite M
n
un recorrido euleriano?
3. Se dene vertice de corte como aquel, que al eliminarlo del grafo, aumenta el n umero de componentes
conexas del mismo. Encontrar el n umero de vertices de corte de M
n
para todo n.
4. Para que valores de n es M
n
hamiltoniano?
5. Para que valores de n admite M
n
un camino hamiltoniano?
6. Calcular el n umero crom atico de M
n
.
7. Dar un coloreado de aristas de M
n
utilizando el menor n umero de colores posibles.
Soluci on. La Figura 1 muestra los grafos molinillo M
1
, M
2
, M
3
y M
4
.
0
1
2
0
1
2 3
4
0
1
2 3
4
6
5
0
1
2 3
4
6
5
8
7
M
1
M
2
M
3
M
4
Figura 1: Los grafos molinillo M
1
, M
2
, M
3
y M
4
.
1. Teniendo en cuenta que, para cualquier n: (0) = 2n, (i) = 2 (1 i 2n), el grafo es siempre euleriano,
ya que todos los vertices son pares.
E.T.S.I.Inform atica P agina 2
MATEM
2 2
6
2
5
5
3
4
u v
w
x
y
2. Probar que si [S[ < p 1 y (V, S) no tiene ciclos, entonces existe una arista de G, a, satisfaciendo
que a / S y (V, S a) no tiene ciclos. Deducir que el algoritmo termina siempre. Cuantas veces
son necesarias ejecutarse P2 para que el algoritmo termine?.
3. Probar que T es un arbol recubridor de G.
4. Para cualquier arista a denotaremos su peso por (a). Se dene el peso de G, (G), como la suma
de los pesos de cada una de sus aristas. Denotaremos por a
1
, a
2
, . . . , a
p1
las aristas de T ordenadas
seg un se van incorporando a S en el algoritmo.
Sea H un arbol recubridor de G de peso mnimo; (esto es, si F es cualquier arbol recubridor de G,
entonces (H) (F) ). Supongamos que H ,= T y que a
i
es la primera arista de T que no est a en
H.
a) Probar que G
= H a
i
posee un ciclo.
b) Probar que existe una arista a
= G
es un arbol recubridor de G y (a
) (a
i
).
c) Deducir que (a
) = (a
i
) por la construcci on de T seg un el algoritmo.
d) Probar que (H) = (T
).
e) Haciendo uso del apartado anterior, probar que T es un arbol recubridor de peso mnimo para
G.
Soluci on.
(2.1) 1. Si T = (V, A) es un grafo acclico, de forma que sus n umeros p de vertices y q de aristas verican
q = p 1, probemos que T es conexo. Si T no fuera conexo, sean T
1
= (V
1
, A
1
), . . . T
k
= (V
k
, A
k
) sus
componentes conexas. Obviamente p = [V [ = [V
1
[ + +[V
k
[ y q = [A[ = [A
1
[ + +[A
k
[.
Sean v
1
V
1
, v
2
V
2
, . . ., v
k
V
k
un vertice de cada una de las componentes conexas. Si al grafo T
le a nadimos, como muestra la Figura 10, las k1 aristas v
1
, v
2
, v
2
, v
3
, . . . , v
k1
, v
k
obtenemos
un grafo que ya es conexo y que sigue sin tener ciclos, por lo tanto es un arbol. Pero el n umero de
aristas de este arbol sera q +k1 y por lo tanto tendramos la contradicci on de disponer de un arbol
que no verica la propiedad T.5. Por lo tanto el grafo T ha de ser conexo y se trata de un arbol.
2. Si fuera conexo, sera un arbol. Pero esto es contradictorio con el hecho de que q < p 1.
(2.2) Demostraci on extrada del texto:
Applied and Algorithmic Graph Theoryde G. Chartrand y O.R. Oellermann
1. Se obtiene el arbol de aristas S = u, v, y, x, u, w, u, x (vease la Figura 11).
E.T.S.I.Inform atica P agina 9
MATEM
= H a
i
es conexo. Adem as como H es un arbol, tiene p 1 aristas, por lo que
el grafo G
tiene p aristas, por lo tanto debe contener un ciclo C, que obviamente contendr a la
arista a
i
.
b) Adem as este ciclo debe contener una arista a
= G
) = w(H) +w(a
i
) w(a
)
Como H es mnimo, w(T
).
c) Ahora bien, a
i
es la arista de menos peso de G, de forma que a
1
, a
2
, . . . , a
i1
a
i
no tiene
ciclos. Pero a
1
, a
2
, . . . , a
i1
a
).
Tenemos por tanto que w(a
i
) = w(a
).
d) Como w(T
) = w(H) +w(a
i
) w(a
) = w(H).
e) Si T no fuera un arbol recubridor de peso mnimo, tomaramos como arbol H el arbol recubridor
de peso mnimo que tenga el mayor n umero de aristas en com un con T. Como este arbol H sera
distinto de T podramos seguir los pasos anteriores y llegaramos a una contradicci on, ya que el
nuevo arbol T
i1
(6 i)n
i
12. Ayuda:
i1
n
i
= p,
i1
in
i
= 2q.
3. Probar que G contiene, al menos, un vertice u de valencia menor o igual que cinco.
4. Supongamos que Gu admite una vertice-coloraci on con cinco colores. Probar que:
a) Si (u) < 5, o bien, si (u) = 5 pero dos de los vertices adyacentes a u est an coloreados con un mismo
color para la 5-coloraci on de Gu, entonces G admite una vertice-coloraci on con cinco colores.
b) Si (u) = 5 donde para la 5-coloraci on de G u los vertices adyacentes a u que denotamos por
z
1
, z
2
, z
3
, z
4
, z
5
tienen colores diferentes, suponemos que z
i
est a coloreado con el color i. Denimos
el conjunto S formado por los vertices de colores 1 o 3 que est an conectados a z
1
por caminos formados
por vertices de colores 1 o 3.
Probar que si en S intercambiamos el color 1 por 3. La 5-coloraci on de Gu no se ve alterado.
Probar que si z
3
no pertenece a S, entonces G admite una vertice-coloraci on con cinco colores.
5. Suponiendo en el apartado d,2) que en el caso en que z
3
S, tambien se pueda obtener una vertice-
coloraci on de G con cinco colores. Probar que todo grafo plano, conexo admite una vertice coloraci on con
cinco colores.
Soluci on:
1. Est a demostrado en teora.
2.
i1
(6 i)n
i
=
i1
6 n
i
i1
i n
i
= 6 p 2q 12, utilizando el apartado anterior.
3. Seg un el apartado anterior
i1
(6 i)n
i
12 > 0, entonces
6n
0
+5n
1
+4n
2
+3n
3
+2n
4
+n
5
+
i6
(6i)n
i
> 0 =6n
0
+5n
1
+4n
2
+3n
3
+2n
4
+n
5
>
i7
(i 6)n
i
> 0
Por lo que alguno de los n umeros no negativos n
0
, n
1
, n
2
, n
3
, n
4
, n
5
ha de ser no nulo y por lo tanto debe
haber al menos un vertice u con valencia menor o igual que 5.
4. Demostraci on extrada del texto:
Applied and Algorithmic Graph Theoryde G. Chartrand y O.R. Oellermann
Tengamos una vertice-coloraci on de Gu, con cinco colores.
a) Si u es un vertice con valencia (u) < 5 (o con valencia (u) = 5 pero dos de sus vertices adyacentes
tienen el mismo color en la coloraci on de Gu), uno de los colores de dicha coloraci on no est a siendo
utilizado por ninguno de los vertices adyacentes a u, por lo que podremos asignar dicho color al vertice
u y tendremos una vertice-coloraci on de G con 5 colores.
b) Sea (u) = 5, de forma que los vertices adyacentes a u, z
1
, z
2
, z
3
, z
4
, z
5
, tienen colores diferentes, por
ejemplo cada z
i
tiene el color i (vease la Figura 12).
E.T.S.I.Inform atica P agina 12
MATEM
i=1
[u
i
v
i
[ = r.
Se pide:
1. Calcular el n umero de vertices de G
r
y sus valencias.
2. Calcular el n umero de aristas de G
0
. Deducir de que grafo se trata.
3. Estudiar todas las propiedades del grafo G
5
.
4. Demostrar que G
1
es conexo y bipartito.
5. Probar asimismo que G
2
no es conexo y tiene exactamente dos componentes conexas.
Soluci on:
1. [V [ = 2
5
= 32. Son todos grafos regulares de valencias:
(v) =
_
_
_
0 si r = 0
_
5
r
_
si r ,= 0
=
_
_
0 si r = 0
5 si r = 1
10 si r = 2
10 si r = 3
5 si r = 4
1 si r = 5
E.T.S.I.Inform atica P agina 17
MATEM
i=1
es impar V
2
= (x
1
, . . . , x
5
) :
5
i=1
es par,
5. Este grafo est a formado por dos componentes conexas, cuyos conjuntos de vertices respectivos son
V
1
= (x
1
, . . . , x
5
) :
5
i=1
es impar V
2
= (x
1
, . . . , x
5
) :
5
i=1
es par,
E.T.S.I.Inform atica P agina 18
MATEM
`
`
`
`
`
>
>
>
>
>
>
, ,
, g
,,
g
g
g
g
g
g
g
,,
P
3
P
4
1. Determinar para cada n, el mnimo n umero de colores necesarios para una vertice-coloraci on adecuada.
2. Demostrar que para todo n, el mnimo n umero de colores necesarios para una arista-coloraci on es 4.
3. Existe un emparejamiento completo en P
n
para n impar?
4. Dar un emparejamiento completo para P
4
. Generalizarlo para P
n
, con n par.
5. Enunciar la condici on de Hall y razonar si se verica para los grafos P
n
.
6. Usando el algoritmo de b usqueda en anchura, obtener el arbol recubridor para P
3
con raz en el vertice 0.
Soluci on:
1. La Figura 16 nos muestra c omo (P
2k1
) = 3 y (P
2k
) = 2.
2. Vease la Figura 17.
3. Imposible. Tienen un n umero impar de vertices.
4. Vease la Figura 18.
5. Se verica para los grafos P
2k
.
6. Vease la Figura 19.
Ejercicio 2
1. Sea G un grafo 3regular y hamiltoniano. Se pide:
a) Probar que G tiene un n umero par de vertices.
b) Demostrar que admite una arista coloraci on con tres colores.
c) Es G euleriano?
2. Dado un grafo G = (V, A), llamemos L(G) (grafo lnea de G) al grafo cuyos vertices son las aristas (a
i
A)
de G y donde a
i
, a
j
es una arista de L(G) si a
i
y a
j
tienen en G un vertice com un. Se pide:
a) Probar que K
4
y L(K
4
) son hamiltonianos.
E.T.S.I.Inform atica P agina 19
MATEM
.
_
_ _ g
g
g
g
g
g g g
g
g
g
g
g
g
g
g
g
g
Se pide:
1. Indicar el mnimo n umero de vertices necesarios que hay que a nadir para transformar el multigrafo de la
gura en un grafo que llamaremos grafo G.
2. Es posible pintar las lneas del grafo G, con una carretilla, sin levantarla ni repintar ninguna lnea?. En
caso de no ser posible, cu antas veces hay que levantar la carretilla como mnimo?.
3. Sea H un grafo cualquiera conexo con exactamente h vertices de valencia impar, razona cu antas veces
como mnimo hay que levantar el l apiz del papel para dibujarlo sin pasar dos veces por la misma arista.
4. Demuestra que dado un grafo cualquiera H se cumple que H es bipartito si y s olo si no hay tres vertices
u, v, w vericando que u y v son adyacentes y d(u, w) = d(v, w), (d(x, y) = n umero de aristas del camino
m as corto que une x e y ).
5. Usando el resultado del apartado anterior, di si el grafo G es bipartito.
Soluci on:
1. Hay que convertir las aristas m ultiples en simples. Por lo que habr a que a nadir 6 aristas, indicadas con
fondo blanco en la Figura: ex070901-1-a, donde se indica la valencia de cada vertice.
2
2
2
3
3
3
3
2
3
3 2
2
4
4
2 2
3
3
3
3
3
3
2
2
3
3
u
v
w
Figura 24:
E.T.S.I.Inform atica P agina 24
MATEM
es bipartito H
= (V
1
V
2
, A), entonces dados u, v adyacentes, si
u V
1
, v V
2
,. Entonces d(u, w) y d(v, w) tienen distinta paridad, por lo que no existen los tres vertices
en las condiciones mencionadas. Por el contrario, si no existen tres vertices en las condiciones mencionadas,
entonces no puede existir un ciclo de longitud impar. En efecto si existieran ciclos de longitud impar, en
el de menor n umero de aristas tendramos tres vertices en las condiciones mencionadas.
5. Por ejemplo los tres vertices u, v, w indicados en la Figura 24 cumplen la condici on mencionada, por lo
que G no es bipartito.
Ejercicio 2
Sea G = (V, A) un grafo e I un conjunto independiente en V (si no hay en I dos vertices adyacentes).
1. Probar que
xI
(x) [A[.
2. Supongamos que G es hamiltoniano y sea C un ciclo hamiltoniano. Probar que el n umero de aristas de A
que no est an en C es mayor o igual que
xI
((x) 2) =
xI
(x) 2[I[.
3. Demostrar que si [A[
xI
(x) + 2[I[ < [V [ entonces G no es hamiltoniano.
4. Tomando un conjunto independiente I y utilizando el resultado del apartado c), probar que el grafo
siguiente no es hamiltoniano.
g g
g
g
g
g
g g
g g
g
Grafo de Herschel
Soluci on:
1. El n umero de aristas incidentes en vertices del conjunto independiente ser a la suma de las valencias de
sus vertices, ya que al contabilizar cada una de ellas no aparecen repetidas, ya que no existe ninguna que
tenga ambos vertices en I. Entonces:
xI
(x) [A[
2. A cada x I, al eliminar las aristas de C, le quedan (x) 2 aristas y adem as estas aristas no son aristas
incidentes en ning un otro vertice de I, por lo que el n umero de aristas de A que no est an en C ser a:
[A[ [V [
xI
((x) 2) =
xI
(x) 2[I[
3. Es consecuencia del apartado anterior.
E.T.S.I.Inform atica P agina 25
MATEM
,
,
,
,
,
,
,
,
,
,
G
1
G
2 G
1
+G
2
.
.
.
.
.
.
-
-
-
-
-
-
.
.
.
.
.
.
`
`
`
`
`
`
-
-
-
-
-
-
Se pide probar las siguientes propiedades:
1. G
1
+G
2
es siempre conexo.
2. G
1
y G
2
son grafos completos si y s olo si G
1
+G
2
es un grafo completo.
3. Si G
1
y G
2
son grafos que tienen caminos hamiltonianos entonces, G
1
+G
2
es hamiltoniano.
4. Si G admite una vertice-coloraci on con k colores entonces, G + G admite una vertice-coloraci on con 2k
colores.
5. Si G consiste en un conjunto de n vertices aislados, decir de que grafo se trata G+G. Razonar cual es el
mnimo n umero de colores necesarios y sucientes para dar una vertice-coloraci on de G + G. Idem para
una arista-coloraci on.
6. Dar una condici on necesaria y suciente en G para que G+G sea euleriano.
Soluci on:
1. Veamos que dados dos vertices u, v V
1
V
2
cualesquiera de G
1
+ G
2
, siempre existe un camino entre
ellos: Si u V
1
y v V
2
(o viceversa), existe la arista u, v A en G
1
+ G
2
. En cambio si u, v V
1
(alternativamente u, v V
2
), sea w V
2
(alternativamente w V
1
) un vertice cualquiera. Entonces existen
las aristas u, w, v, w A por lo que existe el camino u w v en G
1
+G
2
y el grafo es conexo.
2. Si G
1
y G
2
son completos, todos sus vertices son adyacentes entre s, como en G
1
+ G
2
a nadimos todas
las aristas que unen vertices de G
1
con vertices de G
2
, dados dos vertices cualquiera de G
1
+ G
2
, ser an
adyacentes y el grafo G
1
+ G
2
ser a completo. Si por el contrario G
1
+ G
2
es un grafo completo, tambien
lo ser an G
1
y G
2
, ya que las unicas aristas que se a naden al grafo G
1
+G
2
que no est an en los grafos G
1
y G
2
unen un vertice de G
1
y otro de G
2
.
3. Si G
1
admite el camino hamiltoniano u
1
u
2
u
n
(que recorre todos los vertices de G
1
) y G
2
admite
el camino hamiltoniano v
1
v
2
v
n
(que recorre todos los vertices de G
2
), entonces el ciclo
u
1
u
2
u
n
v
1
v
2
v
n
u
1
ser a un ciclo hamiltoniano en G
1
+G
2
y por tanto G
1
+G
2
es hamiltoniano.
4. Si G admite una verticecoloraci on con k colores, sean c
1
, c
2
, . . . , c
k
los colores de una vertice coloraci on
de G
1
= G y c
k+1
, c
k+2
, . . . , c
2k
un verticecoloraci on de G
2
= G, entonces la verticecoloraci on de colores
c
1
, . . . , c
2k
es una verticecoloraci on de G+G con 2k colores.
5. En este caso el grafo G + G es el grafo bipartito completo K
n,n
y por tanto su n umero crom atico es
(K
n,n
) = 2 y su ndice crom atico es
1
(K
n,n
) = = n.
E.T.S.I.Inform atica P agina 28
MATEM
(A)), siendo v
i
, v
j
i=1
(v
i
+c
i
) =
l
i=1
(a
i
+ 2) =
l
i=1
v
i
+
l
i=1
c
i
=
l
i=1
a
i
+ 2l
Pero
l
i=1
v
i
= v,
l
i=1
a
i
= a y
l
i=1
c
i
= c + (l 1), ya que la cara exterior es considerada l veces. Entonces
v + c + (l 1) = a + 2l, por lo que v a + c = l + 1.
E.T.S.I.Inform atica P agina 30
MATEM
'
'
'
'
.
.
.
.
.
.
\
\
\
\
\
\
\\
/
/
/
/ `
`
`
'
'
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
'
'
.
.
.
1. Estudiar, razonadamente, si una misma tripulaci on puede servir todos los vuelos sin repetir ninguno,
volviendo a la ciudad de partida. En caso negativo, cu antos vuelos habra que a nadir y entre que ciudades
para poder subsanar tal eventualidad? Determinar, por medio del algoritmo apropiado, un itinerario de
modo que la tripulaci on asista todos los vuelos programados en el grafo del dibujo.
2. Estudiar si una misma tripulaci on puede visitar todas las ciudades sin pasar dos veces por la misma,
volviendo a la ciudad de partida. En caso armativo, determinar razonadamente un itinerario. En caso
negativo, decidir cu antos vuelos habra que etar y entre que ciudades para propiciar tal circunstancia.
Soluci on.
1. Dado que los vuelos vienen representados por las aristas del grafo, el problema que nos plantean se traduce
en la existencia de un circuito euleriano. Dado que el grafo es claramente conexo y hay exactamente dos
vertices de valencia impar (el 4 y el 14), el grafo admite un recorrido euleriano, con vertices extremos
4 y 14, aunque no un circuito euleriano. De este modo, para que la tripulaci on pudiera servir todos los
vuelos sin repetir ninguno, comenzando y terminando en la misma ciudad, bastara a nadir un solo vuelo,
entre las ciudades marcadas con los vertices 4 y 14. Si a nadimos la arista que representa este vuelo,
podramos aplicar el algoritmo para construir el circuito euleriano, de modo que prescindiendo de tal
arista obtendramos un recorrido euleriano entre los vertices 4 y 14. Este algoritmo busca identicar el
grafo dado como la uni on por vertices de varios ciclos, tomando como base los vertices de uni on. M as
concretamente, construido en una etapa un circuito con todas sus aristas distintas, se busca un vertice
de ese circuito que sea incidente con alguna de las aristas que est an fuera del circuito (i.e., un vertice
no aislado) y se busca un ciclo con origen dicho vertice y cuyas aristas no pertenezcan al circuito dado.
Ahora, se inserta el ciclo en cuesti on en el circuito y se repite el proceso hasta que todas las aristas del
grafo se hayan utilizado en el circuito. El proceso, desde luego, no es unico. Por ejemplo, podemos realizar
los siguientes pasos:
Comenzando en el vertice 1, construimos el ciclo
C = 1, 5, 4, 9, 8, 10, 11, 12, 13, 14, 15, 7, 6, 1,
y consideramos el grafo obtenido del original al prescindir de las aristas utilizadas.
El primer vertice no aislado es el 4, de modo que insertamos en el camino anterior el ciclo 4, 2, 3, 4,
para obtener as el circuito
C = 1, 5, 4, 2, 3, 4, 9, 8, 10, 11, 12, 13, 14, 15, 7, 6, 1.
A un as, 4 sigue siendo un vertice no aislado, de modo que podemos insertar en C el ciclo 4, 8, 7, 11, 14, 4,
donde la ultima arista representa el vuelo a a nadir que coment aramos previamente.
E.T.S.I.Inform atica P agina 31
MATEM
`
`
`
`
`
`
`
`
`
`
`
`
x
1
x
2
x
3
x
4
x
5
x
6
x
7
x
8
y
8
y
7
y
6
y
5
y
4
y
3
y
2
y
1
1. Estudiar la conexi on del grafo anterior, realizando una b usqueda en profundidad con raz el vertice x
1
.
2. Determinar un emparejamiento maximal para el grafo dado, comenzando con el emparejamiento
x
1
, y
2
, x
2
, y
4
, x
4
, y
3
, x
5
, y
5
, x
7
, y
7
. Es completo el emparejamiento obtenido? Refrendar la
respuesta dada aplicando la condici on de Hall. Se trata del unico emparejamiento maximal? Razonar la
respuesta.
3. Demostrar que todo grafo no plano ha de vericar alguna de estas dos condiciones:
a) Contiene al menos 5 vertices de valencia mayor o igual que 4.
b) Contiene al menos 6 vertices de valencia mayor o igual que 3.
4. Demostrar que el grafo dado es plano. Se le puede aplicar la f ormula de Euler? Razonar la respuesta.
Soluci on.
1. Si realizamos una b usqueda en profundidad con raz el vertice x
1
, obtenemos las siguientes ramas:
Primera rama: x
1
, y
2
, x
3
, y
3
, x
4
, y
5
, x
5
.
Segunda rama: y
5
, x
7
, y
7
.
De donde el grafo no es conexo. De hecho, tiene dos componentes conexas: la anterior y la formada por el
camino simple y
1
, x
2
, y
4
, x
6
, y
8
, x
8
, y
6
.
2. Al emparejamiento dado se le puede a nadir la arista x
8
, y
8
, puesto que ambos vertices no estaban
emparejados. Llamemos M al nuevo emparejamiento. Para determinar si es maximal o existe alguno con
m as aristas buscamos si admite alg un camino alternado. Los unicos vertices que no est an emparejados
a un son x
3
y x
6
. Con origen en x
3
realizamos una b usqueda en anchura:
Nivel 0: x
3
, vertice no emparejado.
Nivel 1: y
2
, y
3
, y
7
, todos ellos emparejados en M.
Nivel 2: x
1
, x
4
, x
7
, parejas de vertices en el nivel anterior.
Nivel 3: y
5
, unico vertice no utilizado previamente adyacente a alguno de los del nivel anterior
(m as concretamente, a x
4
).
Nivel 4: x
5
, pareja del unico vertice del nivel anterior.
La b usqueda en anchura termina, puesto que los vertices adyacentes a x
5
ya est an emparejados. Por tanto,
no existe un camino alternado para M con comienzo en x
3
. Hagamos lo propio con x
6
. Con origen en x
6
realizamos una b usqueda en profundidad:
Nivel 0: x
6
, vertice no emparejado.
Nivel 1: y
4
, y
8
, todos ellos emparejados en M.
Nivel 2: x
2
, x
8
, parejas de vertices en el nivel anterior.
Nivel 3: y
1
, y
6
, ninguno de los cuales est a emparejado.
E.T.S.I.Inform atica P agina 33
MATEM
`
`
`
`
`
`
v
1
Si alguna de estas tres nuevas aristas fuera del mismo
color C que las incidentes en el vertice v
1
, dara lugar a un tri angulo monocolor, por lo que el juego habra
acabado con un perdedor. Si ninguna de ellas es de color C, las tres son del otro color y formaran entre
s otro tri angulo monocolor, por lo que tambien habra acabado el juego con un perdedor. En denitiva,
de un modo u otro, el juego ha de acabar sin empate porque se llega a dibujar un tri angulo monocolor.
2. Si n 6, cada vertice puede llegar a tener hasta n 1 5 aristas incidentes en el, luego al menos
3 del mismo color. Por tanto, aplicando el apartado anterior, el juego ha de acabar con un perdedor,
necesariamente. Si n = 3, el jugador que sale dibujar a dos aristas incidentes en un punto con el mismo
color y el otro jugador la arista que resta del ciclo de orden 3 con otro color; luego la partida siempre
acaba en empate en este caso. Si n = 4, la partida tambien puede acabar en empate. Sirva de ejemplo
la siguiente partida, en la que un jugador ha situado sus tres aristas en el permetro de un cuadrado y
el otro ha rellenado las restantes aristas de K
4
:
g g
g g
Si
n = 5, la partida nuevamente puede acabar en empate. Sirva de ejemplo la siguiente partida, en la que un
jugador ha situado sus aristas en el permetro de un pent agono y el otro ha rellenado las restantes aristas
E.T.S.I.Inform atica P agina 35
MATEM
/
/
/
/
/
/
/
/
/
`
`
>
>
Ejercicio 2
Sea G un grafo plano conexo con v vertices, a aristas y c caras que verica:
Todas las caras est an limitadas por exactamente m aristas.
En cada vertice inciden n aristas, siendo n > 2.
1. Demostrar que 2 = a
_
2mmn + 2n
mn
_
y deducir que 2mmn + 2n > 0.
2. Demostrar que (m2)(n 2) < 4 y que 3 n, m 5.
3. Demostrar que cualquier grafo con estas caractersticas tiene a lo sumo 20 vertices.
Soluci on.
1. De un lado, por ser el grafo plano y conexo, la f ormula de Euler garantiza que c a + v = 2. Por
otro, dado que todas las caras est an limitadas por exactamente m aristas y cada arista pertenece a dos
caras simult aneamente, ha de ser 2a = mc. Adem as, como el grafo es n-regular, se tiene que 2a = nv,
seg un la relaci on existente entre aristas, vertices y valencias en un grafo. Despejando c y v de estas dos
ultimas ecuaciones y sustituyendo los valores en la f ormula de Euler obtenemos que 2 =
2a
m
a +
2a
n
.
Reduciendo a com un denominador y sacando factor com un a obtenemos el resultado buscado. Ahora,
dado que a, m, n > 0, resulta que 2mmn + 2n =
2mn
a
> 0.
2. Desarrollando, obtenemos que
(m2)(n 2) < 4 mn 2m2n + 4 < 4 mn 2m2n > 0,
que es la negaci on de la ecuaci on que se prob o en el apartado anterior. Dado que n > 2, n 2 1, de
modo que ha de ser m 2 < 4, de donde m > 6, es decir m 5. Por otro lado, como una cara de un
grafo plano est a limitada como mnimo por tres aristas, ha de ser m 3. Seg un el enunciado ya es n 3.
S olo resta probar que tambien es n 5. Como el valor mnimo de m es 3, despejando de la ecuaci on
(m2)(n 2) < 4 llegamos a que n 2 < 4, de donde n 5.
3. S olo tenemos que probar para las distintas parejas de valores (n, m) con 3 n, m 5 y (m2)(n2) > 4,
cu antos vertices tienen los grafos que verican las propiedades del enunciado. Para ello, despejaremos el
n umero de aristas de la ecuaci on del primer apartado y sustituiremos dicho valor en la ecuaci on v =
2a
n
.
As, v =
4m
2mmn+2n
. Posibles parejas:
(n, m) = (3, 3). Resulta v = 4.
(n, m) = (4, 3). Resulta v = 6.
(n, m) = (5, 3). Resulta v = 12.
(n, m) = (3, 4). Resulta v = 8.
(n, m) = (3, 5). Resulta v = 20.
Luego a lo sumo un tal grafo tiene 20 vertices. A modo de curiosidad, estos grafos existen para cada uno de
estos valores y se corresponden con los poliedros regulares, a saber: tetraedro, cubo, octaedro, dodecaedro
e icosaedro.
E.T.S.I.Inform atica P agina 36
MATEM
= T
Mientras T
Se pide:
1. Hacer un seguimiento del algoritmo para los arboles T
1
y T
2
dados por:
(a) V
1
= 1, 2, 3, 4, 5, 6, A
1
= (1, 2), (1, 3), (1, 4), (4, 5), (5, 6).
(b) V
2
= 1, 2, 3, 4, 5, 6, 7, 8, A
2
= (1, 2), (1, 3), (1, 4), (2, 5), (2, 6), (3, 7), (5, 8).
2. Probar que si en un arbol de m as de dos vertices se eliminan todos los vertices de valencia 1 se obtiene
un nuevo arbol.
3. Probar que el n umero de vertices de valencia 1 en un arbol es mayor o igual que 2, a excepci on del arbol
que consta de un solo vertice.
4. Demostrar que el algoritmo funciona y es nito. Discutir las posibles salidas a que da lugar.
5. Concluir que el centro de un arbol est a formado por uno o dos vertices.
Soluci on.
1. (a) Al realizar un seguimiento del algoritmo aplicado al arbol T
1
, se obtiene:
Inicialmente, T
= (V
, A
) = T
1
= (V
1
, A
1
) y por tanto consta de 6 vertices, tres de ellos hojas
(a saber, 2, 3 y 6).
Dado que T
= (V
, A
),
con V
= 1, 4, 5 y A
= (1, 4), (4, 5), que consta de tres vertices, dos de ellos hojas (1 y 5).
Como T
tiene ahora 3 > 2 vertices, el algoritmo realiza una segunda iteraci on, de modo que
V
= 4 y A
= .
Ahora T
consta de un solo vertice, por lo que el algoritmo para y se obtiene como salida
T
= (4, ).
(b) Un seguimiento del algoritmo aplicado al arbol T
2
viene dado por:
Inicialmente, T
= (V
, A
) = T
2
= (V
2
, A
2
) y por tanto consta de 8 vertices, cuatro de ellos
hojas (a saber, 4, 6, 7 y 8).
Dado que T
= (V
, A
),
con V
= 1, 2, 3, 5 y A
= (1, 2), (1, 3), (2, 5), que consta de cuatro vertices, dos de ellos hojas
(3 y 5).
Como T
tiene ahora 4 > 2 vertices, el algoritmo realiza una segunda iteraci on, de modo que
V
= 1, 2 y A
= (1, 2).
Ahora T
consta de dos vertices, de modo que el algoritmo para y se obtiene como salida T
=
(1, 2, (1, 2)).
E.T.S.I.Inform atica P agina 40
MATEM
xV
(x) = 2a = 2(v1) = 2v2.
Si no hubiera vertices de valencia 1, los v vertices tendran valencia mayor o igual que 2 (un arbol es conexo,
por lo que no hay vertices de valencia 0), de modo que
2v 2 =
xV
(x) 2v,
lo que sera una contradicci on. Un razonamiento similar lleva a que no puede haber un solo vertice de
valencia 1, dado que en ese caso habra v 1 vertices de valencia al menos 2 y tendramos
2v 2 =
xV
(x) 2(v 1) + 1 = 2v 1,
una nueva contradicci on. Por tanto, en un arbol de m as de un vertice hay al menos dos vertices hoja.
4. Seg un el apartado anterior, en todo arbol de m as de un vertice (en particular, de m as de dos vertices)
siempre hay hojas (por lo menos 2), de modo que el cuerpo del algoritmo siempre se puede aplicar (hay
vertices hoja que eliminar). Adem as, seg un el apartado 2, al eliminar de un arbol los vertices hoja se
vuelve a obtener otro arbol, por lo que el grafo T
tendr a menos
de dos vertices, por lo que el algoritmo parar a. En principio, las salidas que puede dar el algoritmo son
arboles de 0, 1 o 2 vertices. Sin embargo, un estudio m as detenido muestra que no puede devolver un arbol
sin vertices: en un arbol de m as de dos vertices siempre hay vertices de valencia mayor que 1, luego al
eliminar hojas en un tal arbol siempre queda alg un vertice (precisamente, los que tenan valencia mayor
que 1). As, cuando se produce la parada del algoritmo, el arbol T
= (x, ) o bien es T
(1 o 2,
como probamos en el apartado anterior) conforman de hecho el centro de T: est an en la misma capa (o
son 2 vertices de valencia 1, o un solo vertice de valencia 0) y se trata de la m as interior, puesto que los
restantes est an en capas anteriores, luego m as externas.
Ejercicio 2
Resolver los siguientes apartados independientes:
1. Dada una malla rectangular de dimensi on n m, con n, m 2, se considera el grafo G
n,m
cuyos vertices
son los n m cuadrados de la malla y cuyas aristas vienen dadas por pares de vertices correspondientes a
cuadrados de la misma la o columna. Se pide:
(a) Demostrar que G
n,m
es euleriano si y s olo si n +m es par.
(b) Probar que G
5,6
es Hamiltoniano.
E.T.S.I.Inform atica P agina 41
MATEM
de vertices de la cara 1 + + n
de vertices de la cara c.
y que
2a = n
de aristas de la cara 1 + + n
de aristas de la cara c.
(b) En el caso de que r = 3 y todas las caras de G sean pent agonos y hex agonos:
i. Probar que G tiene exactamente 12 caras pentagonales.
ii. Si a cada vertice de G llega un s olo pent agono, calcular el n umero de hex agonos que hay en G.
iii. Probar que 3 (G) 4.
Soluci on.
1. (a) El grafo G
n,m
es conexo, dado que los vertices de una misma la o columna son todos adyacentes entre
s, de modo que un camino de un vertice (i, j) a otro (k, l) se obtiene por ejemplo mediante las aristas
(i, j), (i, l) y (i, l), (k, l) (sobrentendiendo que si j = l se utiliza s olo la segunda arista y que si i = k se
utiliza s olo la primera arista). Por tanto, sabiendo que G
n,m
es siempre conexo, ser a euleriano si y s olo si
todos los vertices tienen valencia par. Como un vertice es adyacente a los restantes de su la y columna,
la valencia de cualquier vertice es (n 1) + (m1) = n +m2, que ser a par si y s olo si n +m es par.
1. (b) Si orientamos la malla que 5 6 que origina G
5,6
de modo que la base est a formada por 6 cuadrados y la
altura es de 5 cuadrados, se puede obtener un ciclo pasando por todos los cuadrados (vertices de G
5,6
) sin
repetir ninguno mediante el siguiente camino sobre la malla: comenzando por la esquina inferior izquierda,
se recorre la primera columna hasta llegar al techo, momento en el que se pasa al cuadrado superior de la
columna dos y se procede a bajar hasta el segundo cuadrado de la segunda columna. Una vez all se pasa
a la casilla contigua de la tercera columna, para volver a subir hasta el techo. Ahora se procede a bajar
por la cuarta columna hasta la segunda casilla, pasando nuevamente a la contigua de la quinta columna.
Repitiendo la subida, se pasa nalmente a la casilla superior de la sexta y ultima columna y ahora se baja
hasta la primera casilla de esta columna, para nalmente recorre la primera la desde su ultima casilla
hasta la primera, cerr andose el ciclo, por construcci on hamiltoniano.
1. (c) El mismo esquema de construcci on del ciclo hamiltoniano descrito en el apartado anterior se puede aplicar
al caso de grafos G
m,n
con alg un ndice par (i.e. n m par), orientando la malla correspondiente de modo
que la base tenga un n umero par de cuadrados y recorriendo en sentidos alternos las distintas columnas de
la segunda casilla a la ultima, hasta recorrer la primera la desde la ultima casilla a la primera para cerrar
el ciclo. Lo importante para que este procedimiento funcione es que se llegue a la ultima columna por su
parte superior, para poder bajar y recorrer la primera la desde el nal. Esto es posible s olo si tenemos
un n umero par de columnas, de modo que las impares se recorren de abajo a arriba y las pares en sentido
contrario. De todos modos, para n y m simult aneamente impares, el procedimiento anterior acabara en
la ultima casilla de la ultima columna, que es adyacente a la primera casilla de la misma columna; de
modo que para formar un ciclo hamiltoniano basta ahora recorrer la primera la desde la ultima casilla a
la primera. As, G
n,m
es siempre hamiltoniano, para n, m 2.
1. (d) El unico grafo G
n,m
, con n, m 2, que es bipartito es el ciclo C
4
G
2,2
. En efecto, para n, m 2 y
(n, m) ,= (2, 2) el grafo G
n,m
no es bipartito: basta tomar tres vertices consecutivos en una la, que son
mutuamente adyacentes entre s y por tanto conforman un ciclo de longitud 3, impar.
2. (a) Para los casos r 2, es importante recalcar la siguiente propiedad: en un grafo plano conexo todas las
aristas son frontera de dos caras distintas si y s olo si no hay vertices de grado 1. De este modo, cuando
r 2, las r aristas incidentes en cada vertice son frontera de r caras distintas, de donde cada vertice
pertenece a r caras distintas. Por tanto, la suma de todos los vertices de todas las caras coincide con el
producto de r por el n umero total de vertices. Por un razonamiento an alogo, ya que cada arista es frontera
de dos caras distintas, se tiene que la suma de las aristas de todas las caras coincide con el doble de aristas
del grafo. En el caso r = 1 se mantiene la primera igualdad, dado que se trata de un grafo formado por
una arista y sus vertices extremos, por tanto de un grafo plano conexo de una sola cara con dos vertices.
Sin embargo, la segunda igualdad no es cierta, dado que 2 ,= 1.
E.T.S.I.Inform atica P agina 42
MATEM
g
A B F I G H
C E D
2. La distancia primigenia entre A y H era de 72 Kms. y el ( unico) camino que daba esa distancia vena
dado por (A, B, F, I, G, H), que daba asimismo las distancias m as cortas desde A a los restantes vertices
de dicho camino (en particular a B y a G). Si al construir una nueva carretera entre B y G se reduce la
distancia entre A y H, es que necesariamente se utiliza esa carretera y por tanto se reduce la distancia de
E.T.S.I.Inform atica P agina 44
MATEM
= G tiene v vertices, a
= a +1 aristas y c
= c +1 caras
(todo grafo planotriangular no tiene aristas puente, luego todos los vertices est an situados en la frontera
de alguna cara, de modo que al a nadir una arista una cara se subdivide en dos). Como a = 3v 6 en G
(apartado a.2) entonces a
3v 6. Sustituyendo a
H
9
, M
5
.
b) Calcular el n umero de componentes conexas, mediante una b usqueda en anchura, del grafo que modela
todos los emparejamientos posibles que aparecen en la tabla del enunciado.
c) Calcular la longitud mnima de los ciclos del grafo. Demostrar que dicho grafo no es plano. Indicaci on:
Demostrarlo mediante reducci on al absurdo.
Soluci on.
a) Usaremos el algoritmo de emparejamientos m aximos, comenzando con el emparejamiento
/= H
1
, M
2
, H
2
, M
1
, H
3
, M
4
, H
4
, M
3
, H
5
, M
9
,
H
6
, M
7
, H
7
, M
6
, H
9
, M
5
.
El primer paso consiste en escoger el primer vertice no emparejado: H
8
. A continuaci on, construimos el
arbol de caminos alternados enraizado en H
8
y buscamos un camino alternado comenzando con H
8
. El
camino es H
8
M
2
H
1
M
4
H
3
M
8
. Ahora, el nuevo emparejamiento es:
/= H
1
, M
4
, H
2
, M
1
, H
3
, M
8
, H
4
, M
3
, H
5
, M
9
,
H
6
, M
7
, H
7
, M
6
, H
8
, M
2
, H
9
, M
5
.
Continuamos buscando otro vertice no emparejado, en este caso: H
10
. Un camino alternado para H
10
sera
H
10
M
5
H
9
M
10
. Por tanto, el nuevo emparejamiento es:
/= H
1
, M
4
, H
2
, M
1
, H
3
, M
8
, H
4
, M
3
, H
5
, M
9
,
H
6
, M
7
, H
7
, M
6
, H
8
, M
2
, H
9
, M
10
, H
10
, M
5
.
Debido a que este emparejamiento es completo, hemos terminado. Debe cumplirse la condici on de Hall
pues es una condici on equivalente a que exista emparejamiento completo y acabamos de comprobar que
tal emparejamiento existe.
b) Representamos los pasos del algoritmo en la siguiente tabla. Construimos un arbol enraizado comenzando
con H
1
:
E.T.S.I.Inform atica P agina 48
MATEM
= G T
2
N
2
. Este grafo contiene ciclos de longitud impar y por tanto (G
) 3.
Una verticecoloraci on c
(T
1
) = 1, c
(T
2
) = 2, c
(T
3
) = 3, c
(N
1
) = 3, c
(N
2
) = 2, c
(N
3
) = 1
Luego, (G
,
b.2) Supongamos que para cada pareja de vertices u y v no adyacentes en un grafo G, es (u) +(v) n.
Demostrar que en este caso la clausura de G coincide con K
n
.
b.3) Demostrar que si el grafo clausura de G es hamiltoniano, entonces G es hamiltoniano.
b.4) Concluir que si para todo par de vertices u y v no adyacentes de un grafo G es (u) + (v) n,
entonces el grafo en cuesti on es necesariamente hamiltoniano.
Soluci on:
a) a.1) Si (V, A u, v) admite un ciclo hamiltoniano, entonces existe un ciclo maximal
u, x
1
, . . . , x
p2
, v, u
por lo que, quitando la arista v, u tendremos un camino hamiltoniano P = (u, x
1
, . . . , x
p2
, v) en G.
Adem as, al ser un camino hamiltoniano y por tanto contener a todos los vertices del grafo, en la lista
u, x
1
, . . . , x
p2
, v estar an todos los vertices de G, por lo que en la lista x
1
, . . . , x
p2
estar an todos los
vertices, excepto u y v, lo que contesta a la segunda pregunta.
a.2) Lo probaremos por reducci on al absurdo. Supongamos que detr as de cada vertice x
i
de P, adyacente a
v, siga un vertice x
i+1
no adyacente a u. Sea (u) = , como (u)+(v) [V [, se tiene (v) [V [ .
Por lo tanto existen al menos [V [ vertices adyacentes a v y, por hip otesis de inducci on, existir an
al menos [V [ vertices no adyacentes a u, por lo que su valencia ser a
(u) [V [ 1 ([V [ ) = 1
teniendo por tanto que (u) = 1 que resulta absurdo.
a.3) Si el grafo G admite un camino hamiltoniano P = (u, x
1
, . . . , x
p2
, v), como seg un el apartado
anterior existen dos vertices consecutivos x
i
, adyacente a v y x
i+1
, adyacente a u, obtenemos un
camino hamiltoniano eliminando la arista x
i
, x
i+1
y a nadiendo las aristas v x
i
y u x
i+1
, como
muestra la Figura 29.
u x
1
v x
i+1
x
i
x
i-1
x
i+2
x
p-2
u x
1
v x
i+1
x
i
x
i-1
x
i+2
x
p-2
Figura 29: Obtenci on del ciclo hamiltoniano a partir de un camino hamiltoniano.
E.T.S.I.Inform atica P agina 54
MATEM
`
`
`
`
`
`
`
`
`
`
,
, ,
, ,
`
`
`
`
`
, , , , , ,
, , , , , ,
, , ,
`
`
`
`
`
`
`
`
`
`
2. Sea M
n
una malla cuadrada de n n vertices, en la que adem as de las aristas naturales se consideran
adyacentes aquellos vertices que distan un salto de caballo: esto es, el vertice (i, j) es adyacente a los vertices
(i 1, j 2), (i 2, j 1); los cuales est an situados bien en las las anterior o posterior y desplazados
dos columnas, a izquierda o derecha; bien en las columnas a la izquierda o derecha, desplazados dos las
arriba o abajo.
, ,
, ,
, ,
, ,
, ,
`
`
`
`
`
`
>
>
>
>
>
>
`
`
`
`
`
`
>
>
>
>
>
>
, , ,
,
, , ,
, ,
`
`
`
`
`
`
>
>
>
>
>
>
`
`
`
`
`
`
>
>
>
>
>
>
, ,
,
, ,
,
`
`
`
`
`
`
>
>
>
>
>
>
>
>
>
>
>
>
,
,
, , , ,
,
, , ,
, ,
`
`
`
`
`
`
>
>
>
>
>
>
`
`
`
`
`
`
>
>
>
>
>
>
, ,
,
, ,
,
`
`
`
`
`
`
>
>
>
>
>
>
>
>
>
>
>
>
M
2
M
3
M
4
Se
pide estudiar el car acter euleriano de M
n
seg un los distintos valores de n 2.
Soluci on:
1. El primer grafo es plano. la Figura 31 muestra una inmersi on plana de dicho grafo. El segundo grafo no es
Figura 31: El primer grafo es plano.
plano ya que es isomorfo a K
3,3
, como muestra la Figura 32. El tercer grafo es plano. la Figura 33 muestra
una inmersi on plana de dicho grafo. El cuarto grafo no es plano. La Figura 34 muestra como contiene una
subdivisi on de K
3,3
.
2. M
2
y M
4
son eulerianos pues todos los vertices tienen valencia par. En cambio M
3
no es euleriano ya que,
por ejemplo, el vertice (2, 3) es impar (2, 3) = 5. Si n > 4 veamos que M
n
no es euleriano ya que contiene
vertices de valencia impar. En efecto sea un vertice cualquiera de la ultima columna (vease la Figura 35),
que no sea ni extremo ni el anterior al extremo. Es decir el vertice (i, n), siendo 3 i n 2. Entonces
el vertice (i, n) es adyacente a los vertices (i 1, n), (i 2, n 1), (i 1, n 2), (i, n 1), (i + 1, n 2),
(i + 2, n 1) y (i + 1, n), por lo que (i, n) = 7.
E.T.S.I.Inform atica P agina 56
MATEM
i=1
[A
i
[ =
k
i=1
([V
i
[ 1) =
k
i=1
[V
i
[ k = [V [ k = v k.
3. Cierto. Por reducci on al absurdo. Supongamos que G es conexo. Si G no contiene ciclos, sera un arbol,
entonces a = v 1 lo que contradice la hip otesis. Si por el contrario, tuviera alg un ciclo, podramos
eliminar una de las aristas del ciclo con lo que el nuevo grafo G
1
(que tendra a1 aristas) seguira siendo
conexo. Si este grafo no tuviera ciclos, tendramos un arbol G
1
con a 1 aristas y v vertices y por tanto
a 1 = v 1, es decir a = v. Si este nuevo grafo G
1
tuviera ciclos procederamos del mismo modo. De
esta forma obtendramos un arbol con a k aristas, por lo que a k = v 1. Por tanto en cualquier caso
tendramos que a = v +k 1 siendo k 1, lo que contradice la hip otesis.
4. Falso. La Figura 37 muestra un contraejemplo.
Figura 37: Un grafo acclico con a < v 2.
5. Cierto. Si el grafo fuera conexo llegaremos a una contradicci on. Si no contuviera ciclos sera un arbol y por
tanto no puede ser a = v2. Por lo tanto ha de tener alg un ciclo, pero como hemos razonado anteriormente,
eliminando aristas de un ciclo, obtendramos un arbol con a k aristas y por tanto a = v +k 1, siendo
k 1, lo que resulta contradictorio.
6. Falso. Puede tener m as de dos componentes conexas. La Figura 38 muestra un contraejemplo.
Figura 38: Un grafo con cinco componentes conexas y a = v 2.
7. Falso. La Figura 39 muestra un grafo conexo g cclico con una arista puente l, ya que Gl no es conexo.
8. Falso. La Figura 40 muestra un grafo con 4 vertices y 5 aristas y en cambio tiene 3 ciclos.
9. Cierto. Si G contuviera un s olo ciclo (o ninguno) y fuera conexo podramos obtener un arbol eliminando
una de las aristas del ciclo (o ninguna) con a v lo que es absurdo. Si por el contrario no fuera conexo
igualmente obtendramos un bosque con a v, lo que es absurdo ya que en un bosque con c componentes
conexas debe cumplirse a = v c, seg un hemos visto con anterioridad.
10. Cierto. Si (G) = 2, sea c : V 1, 2 una verticecoloraci on de G con dos colores. Entonces G es el
grafo bipartito G = (V
1
, V
2
, A), siendo V
1
= v V [ c(v) = 1 y V
2
= v V [ c(v) = 2.
E.T.S.I.Inform atica P agina 59
MATEM
vV
(v) = 2a =
vV, (v)=1
(v) +
vV, (v)=3
(v) = 4008 =(2008 n
3
) + 3 n
3
= 4008 = n
3
= 1000
Tiene por tanto 1000 vertices de valencia 3 y 1008 vertices de valencia 1.
Ejercicio 2 (2 puntos)
Sea G=(V, A) un grafo conexo y sean x, y V dos vertices tales que d(x, y) = diametro(G). Probar que x e y
no pueden ser vertices de corte. NOTA: Se recuerda que el di ametro de un grafo G=(V, A) es diametro(G) =
m axd(u, v)/u, v V . Soluci on: Por reducci on al absurdo. Si y es un vertice de corte, el grafo Gy tiene al
x
y
u
menos dos componentes conexas. Sea por tanto un vertice u perteneciente a una componente conexa distinta a la
que pertenece el vertice x en Gy. Seg un se aprecia en la gura, cualquier camino entre x y u (en el grafo G)
debe contener el vertice y y por tanto d(x, u) > d(x, y) lo que es absurdo ya que entonces d(x, y) < diametro(G)
y por tanto y no puede ser vertice de corte. Igualmente se prueba que x no puede ser vertice de corte.
Ejercicio 3 (2 puntos)
Indicar cu ales de los siguientes grafos son isomorfos (en este caso describir el correspondiente isomorsmo) y
cu ales no (se nalando en este caso por que): Soluci on: Los grafos G
1
y G
2
no son isomorfos. Para llegar a esta
conclusi on podemos aportar, entre otras, cualquiera de las razones siguientes: G
2
contiene tres ciclos de longitud
E.T.S.I.Inform atica P agina 70
MATEM
Arbol
DFS del grafo K
2,n
.
Arbol BFS del grafo K
2,n
.
arbol BFS.
Ejercicio 5 (2 puntos)
Considerese el siguiente algoritmo PODA: **Algoritmo PODA Entrada: Un arbol T F =
T; k = 0; Mientras el n umero de vertices de F sea mayor o igual que 3 F = F
vertices de valencia 1; k = k + 1; Retorna k y F;
1. Obtener PODA(T
1
) y PODA(T
2
), siendo T
1
y T
2
los arboles de la siguiente gura:
2. Si denimos la excentricidad de un vertice como la distancia al vertice m as lejano, como se puede obtener
la excentricidad del vertice (o de los dos vertices) de PODA(T), siendo T un arbol cualquiera?
3. Que relaci on existe entre la paridad del di ametro de un arbol T y el n umero de vertices de PODA(T).
E.T.S.I.Inform atica P agina 71
MATEM
v = v
k
, v
k1
, . . . , v
3
, v
2
como el camino desde el vertice v al vertice
m as alejado v
2
, que eliminaremos en el segundo paso del algoritmo. As sucesivamente el n umero de pasos
del algoritmo k indicar a la excentricidad del vertice v, ya que ser a el n umero de aristas de P. Si por el
contrario PODA(T) devuelve dos vertices u y v (y la arista que los une), el camino desde u (igualmente
podramos decir v) a su vertice m as alejado, debe ser de la forma P u, v = v
k
, v
k1
, . . . , v
3
, v
2
, v
1
y
siguiendo el mismo razonamiento anterior el algoritmo PODA en cada paso elimina una arista de P y por
tanto como al nal elimina todas las aristas de este camino excepto la arista u v, la excentricidad de u
(o de v) ser a k + 1.
3. Seg un el razonamiento anterior si el di ametro es un n umero par, el camino m as largo entre dos vertices del
arbol contiene un n umero par de aristas y un n umero impar de vertices y al aplicar el algoritmo PODA,
como en cada paso se eliminan dos vertices y dos aristas, se obtendr an un unico vertice. Si por el contrario
el di ametro es impar, el algoritmo devolver a dos vertices.
E.T.S.I.Inform atica P agina 72
MATEM
de K
3,3
, como muestra la Figura 47.
a
h
g
f e
d
c
b
a
h
g
f e
d
c
b
a
h
g
f e d
c
b
G G' G''
Figura 47: El grafo no es plano, ya que contiene un subgrafo homeomorfo a K
3,3
.
Ejercicio 4 (2 puntos)
Obtener un emparejamiento m aximo del grafo bipartito siguiente, a partir del emparejamiento inicial dado por
las aristas resaltadas 1, a, 2, b, 4, d, 5, c, 7, e. El emparejamiento obtenido es completo?
a
g
7
6
5
4
3
2
1
f
e
d
c
b
Soluci on: Comenzando con el emparejamiento H de 5 aristas propuesto y aplicando el algoritmo de empa-
rejamiento se obtiene el camino alternado 3, b, 2, e, 7, f y alterando el car acter de las aristas de dicho camino
alternado se obtiene el emparejamiento H
, formado por
las aristas 1, a, 2, e, 3, b, 4, d, 5, c, 7, f, es un emparejamiento m aximo. Como [H
[ = 6 < 7 = [X[
no es un emparejamiento completo.
E.T.S.I.Inform atica P agina 76
MATEM
w
1
, v
j
= w
2
, . . . , w
m
= w
1
(la Figura 56 muestra un
ejemplo). Si estas aristas no tienen ya orientaci on las orientamos en orden creciente de subndice y las
aristas que unen vertices no consecutivos de este ciclo, de cualquier forma. De esta manera ampliamos
el subgrafo dirigido que es fuertemente conexo. As procederamos mientras quedaran vertices en V . De
forma que conseguiremos un digrafo fuertemente conexo y el grafo G es orientable.
v
1
v
2
w
1
w
3
v
6
v
5
v
4
v
3
v
1
v
2
v
6
v
5
v
j
v
3
w
6
w
7
C
C '
Figura 56: Orientaci on de un grafo conexo sin aristas puente.
6. El grafo de la Figura 57 es orientable y tiene un vertice de corte.
v v
Figura 57: Grafo orientable con un vertice de corte (y por tanto no hamiltoniano).
7. Si un grafo G = (V = v
1
, . . . , v
n
, A) contiene un ciclo hamiltoniano (ciclo que contiene a todos los
vertices) C v
1
, v
2
, . . . , v
n
, v
1
, orientando las aristas del ciclo v
1
v
2
. . . v
n
v
1
y de cualquier
manera el resto de las aristas, tendremos un grafo dirigido fuertemente conexo y por tanto G es orientable.
8. El grafo de la Figura 57 es orientable y no es hamiltoniano ya que tiene un vertice de corte.
9. Si G es euleriano entonces admite un circuito euleriano. Si orientamos las aristas con la orientaci on que
aporta el circuito euleriano que nos da el algoritmo de Euler tendremos un grafo dirigido fuertemente
conexo ya que toda arista est a contenida en un ciclo y el grafo es orientable.
10. El grafo de la Figura 58 es orientable y en cambio no es euleriano ya que tiene vertices impares.
E.T.S.I.Inform atica P agina 85
MATEM
es plano.
3. Cu al es el menor n umero de das necesarios para realizar los ex amenes de las 8 asignaturas de forma que
ning un alumno tenga que examinarse de dos asignaturas en un mismo da? Indicar un calendario optimo
de ex amenes.
Soluci on:
1. El grafo de la Figura 59 representa la matricula del curso y no es conexo ya que el subgrafo inducido por
los vertices v
4
, v
5
, v
6
, v
7
, v
8
es el grafo completo K
5
.
a
1
a
8
a
7
a
6
a
5
a
4
a
3
a
2
a
8
a
7
a
6
a
5
a
4
Figura 59: El grafo G que representa la situaci on del problema 2 contiene a K
5
.
2. La Figura 60 muestra el grafo obtenido al eliminar los vertices correspondientes a las asignaturas a
4
y a
6
y una inmersi on plana del mismo.
3. El menor n umero de das necesarios para realizar los ex amenes coincide con el n umero crom atico por
vertices del grafo G, que por contener a K
5
ser a (G) 5. Como la aplicaci on
c(a
1
) = c(a
2
) = c(a
8
) = 1, c(a
3
) = c(a
4
) = 2, c(a
5
) = 3, c(a
6
) = 4, c(a
7
) = 5
E.T.S.I.Inform atica P agina 86
MATEM
plano.
es una vertice-coloraci on con 5 colores tendremos (G) = 5 y este es el menor n umero de das necesarios
para realizar los ex amenes. As mismo esta aplicaci on nos aporta un calendario optimo: Da 1, asignaturas
a
1
, a
2
y a
8
; da 2, asignaturas a
3
y a
4
; da 3, asignatura a
5
; da 4, asignatura a
6
, y da 5, asignatura a
7
.
Ejercicio 3 (3 puntos)
Se tienen cuatro monedas y se sabe que por lo menos dos de ellas son autenticas y que las monedas falsas pesan
la mitad que las autenticas y se dispone de una balanza de dos platillos.
1. C ual es el menor n umero de pesadas que ser a necesario realizar para conocer cu antas y cu ales monedas
son falsas?
2. Dise nar un procedimiento que resuelva el problema con el menor n umero de pesadas.
Soluci on:
1. Las posibles soluciones del problema son 11: pueden ser todas las monedas autenticas, puede ser que s olo
una de las 4 sea falsa (4 casos) y pueden ser cualesquiera de las 6 posibles parejas de monedas falsas. Si
dise namos un arbol de decisi on ternario (m = 3) este tendr a 11 hojas (h = 11), por lo tanto el peso del
arbol ser a p log
m
h = log
3
11 > 2 y el peso del arbol ser a p 3 siendo por tanto necesario realizar al
menos tres pesadas para conocer las monedas que son falsas.
2. Si numeramos las monedas 1, 2, 3, 4, las posibles soluciones del problema son: B si todas son autenticas;
1, 2, 3 y 4, si una de ellas es falsa; y 1 2, 1 3, 1 4, 2 3, 2 4 y 3 4 para las seis posibles parejas
de monedas falsas. Las Figuras 61 y 62 muestran dos ejemplos de arboles de decisi on que resuelven el
problema de forma optima, ya que necesitan tres pesadas.
E.T.S.I.Inform atica P agina 87
MATEM
peso 3 2 4 3 5 7 3
arista v
2
, v
7
v
2
, v
8
v
3
, v
4
v
3
, v
5
v
3
, v
6
v
3
, v
7
v
4
, v
6
peso 6 4 2 3 2 5 4
arista v
4
, v
7
v
4
, v
8
v
5
, v
6
v
6
, v
7
v
7
, v
8
peso 4 5 3 3 4
1. Una alerta se considera crtica si llega al poblado tras pasar por todos los vigas como intermediarios.
Determinar el tiempo mnimo que requiere una alerta crtica. Es unica la forma en que se transmite una
tal alerta?
2. Determinar el tiempo mnimo que requiere la transmisi on de cualquier informaci on desde cada viga al
asentamiento, as como las rutas mediante las cuales se realizan estas transmisiones optimas. Justicar
si la suma de estos tiempos mnimos corresponde o no al tiempo mnimo de transmisi on que requiere una
alerta crtica, hallado en el apartado anterior.
3. Si el viga v
4
es vctima de un profundo sopor y rompe la cadena de transmisi on, estudiar c omo afecta esta
circunstancia a la variaci on o no del tiempo requerido para la recepci on de la informaci on en el poblado
desde los restantes puestos de vigilancia.
Soluci on.
1. Se trata de hallar un arbol recubridor de peso mnimo. Aplicamos el algoritmo de Kruskal, ordenando las
aristas de menor a mayor peso, y entre las de igual peso seg un el orden lexicogr aco (i.e. seg un aparecen
por las en la tabla que da el enunciado, de izquierda a derecha). De este modo, las 8 aristas resultantes
son: P, v
2
, v
3
, v
4
, v
3
, v
6
, P, v
1
, v
1
, v
3
, v
3
, v
5
, v
6
, v
7
y v
2
, v
8
. En total, el peso de este arbol
(y por tanto el tiempo mnimo que conlleva una alerta crtica) es de 22. Desde luego no se trata del unico
arbol recubridor de peso mnimo (sustituir, por ejemplo, la arista v
3
, v
6
del arbol anterior por v
5
, v
6
);
por lo que la forma en que se transmite una alerta crtica no es en absoluto unica.
2. Ahora hay que determinar las distancias m as cortas desde el poblado a cada viga; en denitiva, un arbol
de distancias m as cortas desde el poblado a los restantes vertices, mediante el algoritmo de Dijkstra, cuya
E.T.S.I.Inform atica P agina 89
MATEM
3 4 8 6 v
1
P, v
1
6 4 10 8 6 v
4
P, v
4
6 10 8 8 6 v
8
v
2
, v
8
6 10 8 8 v
3
v
1
, v
3
9 8 8 v
7
v
2
, v
7
9 8 v
6
v
4
, v
6
9 v
6
v
3
, v
5
El peso de este arbol nunca podr a ser menor que el de un arbol de peso mnimo. De hecho, el peso de este
arbol resulta ser 2 + 3 + 4 + 4 + 3 + 6 + 4 + 3 = 29, sensiblemente superior al peso 21 de cualquier arbol
recubridor de peso mnimo del grafo dado.
3. La cuesti on est a en saber si se puede acceder desde P hasta v
6
( unico vertice del arbol anterior que se
desconecta con la desaparici on de v
4
) por un camino de longitud 8 que evite pasar por v
4
. La respuesta
es armativa, como ya se divisara al elaborar la tabla de Dijkstra del apartado anterior: basta tomar el
camino (P, v
1
, v
3
, v
6
).
Ejercicio 2 Hay 9 paquetes inform aticos instalados en 8 ordenadores, de la forma siguiente:
Ordenadores A B C D E F G H
Paquetes 1,2,6,9 2,7,8 4,6 3,5,8 6,7,9 1,2,3,4,6 8,9 1,2,6
1. Se pretende distribuir los ordenadores en salas, de modo que los que esten en una misma sala no tengan
ning un paquete en com un. Obtener el mnimo n umero de salas que se necesitan para poder realizar una
distribuci on adecuada de los ordenadores. Detallar los ordenadores que hay en cada sala. Es unica esta
distribuci on optima?
2. Sup ongase ahora que s olo se dispone de una sala para utilizar todos los ordenadores, de manera que hay
que discriminar que paquete se queda activo en cada ordenador, para despues proceder a borrar el resto de
paquetes de ese ordenador. Establecer una asignaci on maximal de ordenadores y paquetes. Est an todos
los paquetes disponibles? Es unica esta asignaci on? Considerese ahora el grafo G siguiente:
H
G
F
E D
C
B
A
3. Estudiar si G es euleriano. Caso negativo, cu antas aristas habra que a nadir para hacerlo euleriano?
Entre que vertices?
4. Estudiar si G es hamiltoniano. Caso negativo, cu antas aristas habra que a nadir para hacerlo hamilto-
niano? Entre que vertices?
Soluci on.
1. Se trata de calcular el n umero crom atico del grafo que representa el problema de incompatibilidades
subyacente (dos ordenadores son incompatibles si y s olo si tienen instalado un paquete com un). Este grafo
de incompatibilidades coincide con el grafo G que se utiliza en los apartados 3 y 4, a falta de la arista BF.
E.T.S.I.Inform atica P agina 90
MATEM
1
(G) = 3 viendo que cualesquiera dos vertices est an conectados por al menos 3 caminos disjuntos por
aristas (aplicando el Teorema de Menger). No obstante, es m as sencillo razonar que G es contiene como
subgrafos sendas ruedas de 7 y 6 radios (de vertices centrales x
8
y x
9
, respectivamente), abarcando entre
ambas todos los vertices y compartiendo 4 vertices en com un (x
5
, x
8
, x
9
, x
2
)). Como los grafos rueda son
3-conexos por aristas (esto es evidente, independientemente de que adem as se haya probado en teora), se
concluye al instante que
1
(G) = 3.
E.T.S.I.Inform atica P agina 92
MATEM
Es unica una tal asignaci on? Es necesario redistribuir la asignaci on de becarios para completar la au-
ditora?
Se trata de hallar un emparejamiento maximal entre becarios y departamentos. Procedemos a partir del
emparejamiento inicial propuesto,
M = b
1
, d
2
, b
2
, d
4
, b
3
, d
3
, b
4
, d
1
, b
5
, d
6
, b
7
, d
7
seg un el metodo de los caminos alternados. Construimos el arbol asociado a este metodo por niveles. En el nivel
cero ubicamos en calidad de vertice raz el vertice no emparejado desde el que comenzamos la b usqueda. El
primer vertice no emparejado es b
6
, el cual es adyacente a los vertices d
2
, d
4
, d
6
, todos ellos emparejados en M
seg un las aristas b
1
, d
2
, b
2
, d
4
y b
5
, d
6
, respectivamente. Progresivamente, vamos construyendo el resto de
niveles:
Nivel 0: b
6
, vertice no emparejado.
Nivel 1: d
2
, d
4
, d
6
, procedente de las aristas b
6
, d
2
, b
6
, d
4
, b
6
, d
6
.
Nivel 2: b
1
, b
2
, b
5
, procedentes de las aristas b
1
, d
2
, b
2
, d
4
, b
5
, d
6
.
No se puede proseguir hacia otros niveles, toda vez que todos los vertices adyacentes a b
1
, b
2
, b
5
ya han sido
considerados en niveles anteriores. De manera que con origen b
6
no hay ning un camino alternado para M. Esto no
signica que M sea un emparejamiento m aximo. Puede ocurrir que con origen otro vertice no emparejado s haya
un camino alternado para M. El siguiente (y unico restante) vertice no emparejado es b
8
. Progresivamente, vamos
construyendo el resto de niveles:
Nivel 0: b
8
, vertice no emparejado.
Nivel 1: d
6
, d
7
, procedente de las aristas b
8
, d
6
, b
8
, d
7
.
Nivel 2: b
5
, b
7
, procedentes de las aristas b
5
, d
6
, b
7
, d
7
.
Nivel 3: d
2
, d
4
, d
8
, procedentes de las aristas b
5
, d
2
, b
5
, d
4
, b
7
, d
8
.
Como quiera que d
8
no est a emparejado, el camino (b
8
, d
7
, b
7
, d
8
) conforma un camino alternado para M, de
manera que el emparejamiento
M
= b
1
, d
2
, b
2
, d
4
, b
3
, d
3
, b
4
, d
1
, b
5
, d
6
, b
7
, d
8
, b
8
, d
7
es b
6
, desde el cual no es posible encontrar un
camino alternado (basta tener en cuenta la b usqueda anterior), de suerte que M
conforma un emparejamiento
maximal (por ende, el grafo no admite un emparejamiento completo). Ah tenemos una asignaci on optima de
becarios. A modo de inciso, se puede observar que el hecho de que el grafo no admita un emparejamiento completo
tambien podra haberse concluido utilizando la condici on de Hall, para P = b
1
, b
2
, b
5
, b
6
y T(P) = d
2
, d
4
, d
6
,
por ejemplo. La asignaci on no es unica, en modo alguno. Por ejemplo, la arista b
5
, d
6
puede ser sustituida por
la arista b
6
, d
6
. Por otra parte, dado que la asignaci on optima no cubre todos los departamentos, es ineludible
redistribuir la asignaci on de becarios. Por ejemplo, basta hacer que b
6
pueda encuestar d
5
.
2. A los becarios se les ha subido el sueldo, de manera que ahora s pueden encuestar todos los departa-
mentos que tienen a su cargo, lo que redunda en una mayor abilidad de la auditora, toda vez que cada
departamento ser a encuestado independientemente por todos los becarios que lo tienen en su agenda. Si la
empresa pone como limitaci on que no se encueste m as de una vez al da a un mismo departamento, y a
su vez cada becario s olo puede encuestar por da a un unico departamento, determinar el mnimo n umero
de das que se requieren para llevar a cabo todas las encuestas. Dar explcitamente las encuestas que se
realizan cada da en la distribuci on optima. Es unica una tal distribuci on?
Se trata de distribuir todas las aristas (i.e. formas de organizar las encuestas) en el menor n umero de paquetes
(i.e. das) de manera que aristas incidentes (i.e. que impliquen un mismo becario o un mismo departamento)
esten en paquetes distintos (i.e. das distintos). En denitiva, de hallar el ndice crom atico del grafo, as como
una arista coloraci on que utilice dicho n umero mnimo de colores. Dado que el grafo es bipartito, el ndice
crom atico coincide con la valencia m axima, que es 5 (en los vertices d
4
y d
6
). De manera que se necesitan 5
das. Una coloraci on optima resulta de la aplicaci on del algoritmo voraz, ordenando las aristas alfabeticamente
por los vertices extremos y sus subndices:
arista b
1
, d
2
b
1
, d
4
b
1
, d
6
b
2
, d
2
b
2
, d
4
b
2
, d
6
b
3
, d
1
color 1 2 3 2 1 4 1
b
3
, d
3
b
3
, d
5
b
4
, d
1
b
4
, d
3
b
4
, d
5
b
5
, d
2
b
5
, d
4
b
5
, d
6
2 3 2 1 4 3 4 1
b
6
, d
2
b
6
, d
4
b
6
, d
6
b
7
, d
4
b
7
, d
7
b
7
, d
8
b
8
, d
6
b
8
, d
7
4 3 2 5 1 2 5 2
Las encuestas que se realizan en el da i corresponden a las aristas que tienen asignado el color i. La distribuci on
no es unica: por ejemplo, la encuesta b
8
, d
7
se puede llevar a cabo cualquiera de los das 2, 3 o 4.
E.T.S.I.Inform atica P agina 99
MATEM
7. El grafo G
n
es 3-regular por lo que tiene valencia (G
n
) = 3. Por lo tanto su ndice crom atico ser a 3
1
(G
n
) 4.
Si n es par el grafo es bipartito por lo que
1
(G
n
) = (G
n
) = 3. Para n impar el ndice crom atico
del grafo tambien es 3. En efecto, para obtener una arista-coloraci on con tres colores bastar a utilizar el
algoritmo voraz de coloraci on de aristas, eligiendo primero las aristas de uno de los dos ciclos de longitud
n, despues el otro y por ultimo las aristas que unen estos dos ciclos. De esta forma se obtiene la siguiente
3-arista-coloraci on (vease la gura anterior):
c(a
1
, a
2
) = 1, c(a
2
, a
3
) = 2, . . . , c(a
n1
, a
n
) = 3,
c(b
1
, b
2
) = 1, c(b
2
, b
3
) = 2, . . . , c(b
n1
, b
n
) = 3,
c(a
1
, b
1
) = 2, c(a
2
, b
2
) = 3, c(a
3
, b
3
) = 3, . . . , c(a
n1
, b
n1
) = 3, c(a
n
, b
n
) = 1
E.T.S.I.Inform atica P agina 116
MATEM
vV
(v) = 40 + 10 2 + 2 3 + 2 4 + 5n
5
=2(n
5
+ 49) = 74 + 5n
5
=n
5
= 8
Por lo tanto tiene 64 vertices y 57 aristas.
E.T.S.I.Inform atica P agina 119
MATEM
vV
(v) =2(n
1
+n
3
+ 1) = n
1
+ 3n
3
+ 10 = n
1
= n
3
+ 8
10. Dos grafos son isomorfos si
tienen la misma lista de grados y el mismo n umero de n-ciclos (n).
tienen el mismo n umero de vertices y de aristas.
E.T.S.I.Inform atica P agina 121
MATEM
_
=
n
3
+n
5
= 5
3n
3
+ 5n
5
= 19
_
=n
3
= 3, n
5
= 2
13. En el grafo de la gura siguiente, el arbol de camino mnimo con raz en el vertice a ( arbol enraizado en a
que contiene los caminos mnimos desde este vertice a todos los dem as) verica:
a
b
d
c
e
f
g
n
m
h
14
15
3
11
16
6
10
8
5
4
3
2
1
4
6
2
El vertice h es padre del vertice n.
Tiene una altura igual a 3.
El vertice b es padre del vertice c.
X Ninguna de las tres armaciones anterio-
res es cierta.
E.T.S.I.Inform atica P agina 122
MATEM
1
(MC
n
) 2n + 3. Si encontramos una arista-coloraci on de MC
n
con 2n + 2 colores habremos
probado que
1
(MC
n
) = 2n + 2. Para ello utilizaremos el algoritmo voraz de la siguiente forma:
Comenzamos coloreando las aristas incidentes en a
3
con 2n + 2 colores diferentes. Las aristas res-
tantes, como unen vertices de valencia no superior a 4, son incidentes a lo sumo a 6 aristas y como
2n + 2 > 6 (si n > 2), en cada paso del algoritmo podemos colorear a una nueva arista con alguno
de los 2n + 2 colores utilizados. Por lo tanto,
1
(MC
n
) = 2n + 2.
Ejercicio 4 ( 1.6 puntos)
a) Calcular el ndice de conectividad (por vertices) del grafo MC
n
.
b) Sea MC
n
el grafo ponderado obtenido asignando a las aristas del grafo MC
n
los siguientes pesos:
p(a
3
, b
i
) = p(a
3
, c
i
) = 3, i = 1, . . . , n; p(b
i
, b
i+1
) = p(c
i
, c
i+1
) = 2i + 1, i = 1, . . . , n 1 y
el resto de aristas de peso 1. Calcular un arbol recubridor de peso mnimo. Cu al es su peso? Es unico
este arbol?
Soluci on:
E.T.S.I.Inform atica P agina 131
MATEM
n
:
b
1
b
2
b
3
b
n1
b
n
c
1
c
2
c
3
c
n1
c
n
a
1
a
2
a
3
a
4 a
5
. . . . . .
. . . . . .
3
3 3
3
3
3
3 3
3
3
3 5 7 2n 1
3 5 7 2n 1
1
1
1
1
1
1 1
1
1
1
1
1
Si aplicamos el algoritmo de Kruskal obtenemos por ejemplo el siguiente arbol recubridor de peso mnimo,
en el que cuando ha habido que elegir entre aristas del mismo peso se ha seguido el orden alfabetico de
los vertices que une dicha arista. En total tenemos 2(n 2) aristas de peso 3 y 8 aristas de peso 1, por lo
tanto el peso del arbol es 6n 4.
b
1
b
2
b
3
b
n1
b
n
c
1
c
2
c
3
c
n1
c
n
a
1
a
2
a
3
a
4 a
5
. . . . . .
. . . . . .
3 3
3
3 3
3
1
1
1
1 1
1
1
1
NOTA: Obviamente este arbol no es unico, pues existen otros arboles de peso 6n4. Por ejemplo, eligiendo
la arista a
2
, b
1
en lugar de la arista a
1
, b
1
.
Ejercicio 5 ( 1.6 puntos)
a) El grafo MC
n
es plano, n 2. Cu antas aristas es necesario a nadir para que sea un grafo plano maximal?
b) Sea H el grafo obtenido a nadiendo al grafo MC
3
la arista a
4
, c
1
. Es H un grafo plano? En caso
armativo obtener una inmersi on plana del mismo y en caso contrario demostrarlo utilizando el teorema
de Kuratowski.
Soluci on:
a) El grafo MC
n
tiene v = 2n + 5 vertices y a = 4n + 10 aristas. Como en todo grafo plano maximal, el
n umero de aristas es a = 3v 6, entonces tendr a 3(2n + 5) 6 = 6n + 9 aristas. Hemos de a nadir, por
tanto, 6n + 9 (4n + 10) = 2n 1 aristas para conseguir que sea un grafo plano maximal.
b) La gura muestra el grafo H y una subdivisi on del grafo K
5
de vertices a
3
, a
4
, b
3
, c
1
, c
3
contenida en el
y por tanto, seg un el teorema de Kuratowski, no es un grafo plano.
E.T.S.I.Inform atica P agina 132
MATEM