Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grafos
Grafos
Semestre A2005
Teora
1.
Grafos
Semestre A2005
Teora
1.1.
Grafos
Semestre A2005
Teora
uV
1.2.
Matemticas Discreta
Grafos
Semestre A2005
v1
e1
b v2
e2
e7
e5
e3
e6
v4
e4
G
Teora
e1 e2 e3 e4 e5 e6 e7
v1 v2 v3 v4
v1
v1
v2
v2
v3
v3
v4
v4
v3
M(G)
A(G)
1.3.
Caminos y Ciclos
Matemticas Discreta
Grafos
Semestre A2005
Teora
1.4.
A1
A2
A3
4
7
4
6
A6
5
6
A5
A4
9
7
2
7
Matemticas Discreta
1
3
Grafos
1.5.
Semestre A2005
Teora
Tipos de Grafos
K3
K4
n
2
aristas.
Grafos Regulares
Un grafo G = (V, E) es regular de grado k o k-regular si cada vrtice tiene
grado k; es decir, un grafo es regular si todos los vrtices tienen el mismo
grado.
b
b
b
2-regulares
b
b
b
b
b
b
b
b
b
b
b
b
b
3-regulares
Grafos
Semestre A2005
2.
Teora
Isomorfismo de Grafos
e1
e7
e5
e3
e8
e2
v
e6
v4 b
v5
b v1
bv3
by
e4
H
Figura 3: Diagramas de los grafos G y H
Ejercicio 13
1. Muestre que si G
= H, entonces (G) = (H) y (G) = (H).
2. De un ejemplo en el cual el recproco de la afirmacin anterior es falso.
3. Muestre que hay once grafos simples no isomorfos de cuatro vrtices.
4. Muestre que los siguientes grafos no son isomorfos
Matemticas Discreta
Grafos
Semestre A2005
Teora
G1
G2
b
b
G2
G1
b
b
b
b
b
b
b
b
G1
b
b
G2
Figura 6: Diagramas de los grafos G1 y G2
2.1.
Grafos complementarios
Grafos
Semestre A2005
Teora
son todas aquellas que le faltan a G para que sea completo. De manera
ms formal, si E = {{u, v}|u, v V, u 6= v} es el conjunto de todas las
aristas posibles y E c = E \ E denota el complemento respecto a E, entonces
Gc = (V, E c ).
Ejemplo 1
b
G1
G2
Grafos complementarios
H1
H2
Grafos complementarios
Ejercicio 16
c
1. Describa los grafos Knc y Kn,m
.
Matemticas Discreta
Grafos
10
2.2.
Semestre A2005
Teora
Subgrafos
v3
v1 b
v3
v6
bv2
b
bv5
vb 8
bv9
vb 10
v4
bv2
b
v1 b
bv9
vb 8
bv9
bv5
v6
vb 8
v4
vb 8
v7
v3
v6
bv2
bv5
G1
v4
v7
v3
v6
v1 b
bv2
b
G2
vb 10
v4
v7
bv5
v7
G3
Figura 7: Subgrafos de G
El grafo G1 es un subgrafo de G, el grafo G2 es un subgrafo completo de
G y el grafo G3 es un subgrafo extendido de G.
2.3.
Grafos Bipartitos
Grafos
11
Semestre A2005
Teora
b
b
G1
G2
Figura 8: Grafos bipartitos
b
b
b
b
b
b
b
b
K2,3
K3,3
K2,4
2.4.
Conexidad
Grafos
12
Semestre A2005
Teora
Pruebe que
= es una relacin de equivalencia.
Pruebe que cada clase de equivalencia es una componente conexa de G.
Denotamos el nmero de componentes conexas de G con (G).
Sea G un grafo y v V (G) un vrtice de G, se dene G v como el
subgrafo de G que se obtiene al borrar el vrtice v del grafo G y todos los
lados incidentes a v.
Definicin 9 Si G es un grafo simple no trivial, entonces v es un vrtice
de corte si y slo si (G v) > (G).
Sea G un grafo y e E(G) un lado de G, se dene G e como el subgrafo
de G que se obtiene al borrar el lado e del grafo G. As V (G) = V (G e) y
E(G e) = E(G) \ {e}.
Definicin 10 Un lado e de un grafo G se dice que es puente si G e tiene
ms componentes conexas que G.
Ejercicio 18
Pruebe que si e es un puente, entonces (G e) = (G) + 1.
Ejercicio 19 Hallar los puentes en el siguiente grafo
b
b
b
b
b
G
Teorema 6 Si G es conexo y e es un puente de G, pruebe que G e tiene
dos componentes conexas.
Ejercicio 20
1. Muestre que si G es simple y >
Sugerencia: Use la identidad
1
2
, entonces G es conexo.
Grafos
13
Semestre A2005
Teora
1
2
3.
Grafos Planares
Grafos
14
Semestre A2005
b
Teora
b
b
G
Definicin 11 Sea G un grafo, y u, v dos de sus vrtices que forman arista.
Entonces, una subdivisin elemental del grafo G es el grafo G que es el
grafo G al que se le aade un vrtice w, se le quita la arista {u, v}, y se le
aaden dos aristas, una la {u, w}, y otra la {w, v}. Es como sustituir una
de sus aristas por un vrtice unido a los vrtices que antes eran extremos de
esa arista. Una subdivisin de G es el grafo despus de hacer un nmero
finito (incluso 0) de subdivisiones elementales sucesivas.
Teorema 11 (Kuratowski) Un grafo G es planar si y slo si no tiene subgrafos isomorfos a una subdivisin de K5 o de K3,3 .
4.
rboles
b
b
b
b
T1
T2
Figura 10: T1 y T2 rboles
Definicin 12 Sea G un grafo, decimos que T es un rbol extendido (spanning tree) de G si es un subgrafo extendido (spanning subgraph) que es un
rbol.
Matemticas Discreta
Grafos
15
Semestre A2005
Teora
Ejemplo 6
b
b
b
b
b
b
b
b
T1
T2
e5
b
e7
e6
e5
e7
e6
b
e7
e5
e6
e7
e4
e1
e2
e4
e3
Matemticas Discreta
e3
e1
e1
e2
b
G e2
e3
G e4
e1
e3
e2
e4
G e5
Grafos
16
Semestre A2005
Teora
Si e es un lado de G, entonces:
(G e) = (G) 1
(G e) = (G) 1
(G e) = (G)
Vericarlo.
Concluir que si T es un rbol y e es un lado del rbol, entonces T e es un
rbol.
Denotaremos el nmero de rboles extendidos de G por (G).
Teorema 13 Si e es un lado de G, entonces (G) = (G e) + (G e)
Prueba. Mostramos un esbozo de la prueba. Primero observe que podemos
dividir los rboles extendidos de G en dos conjuntos disjuntos: los que tienen
el lado e y los que no tienen el lado e. Existe una correspondencia biyectiva
entre los rboles que contienen el lado e y los rboles extendidos del grafo
G e (la biyeccin es T T e). Mientras que todo rbol extendido de G
que no contiene e es un rbol extendido de G e. Usamos el principio de la
suma.
Ejercicio 24
1. Un grafo G es un rbol si y slo si es conexo y sin ciclos.
2. G es un rbol si y slo si es conexo y todos sus lados son puentes.
3. Si G es un rbol existen al menos un vrtices colgantes (de grado uno).
4. Si T es un rbol de n vrtices, entonces el nmero de lados es n 1.
5. Si G es un rbol existen al menos dos vrtices colgantes (de grado uno).
6. Un bosque es un grafo donde cada componente conexa es un rbol. Si
un bosque tiene n vrtices y k componentes Cuntos lados tiene?
7. Si G tiene n vrtices, n 1 lados y es conexo, entonces es un rbol.
8. Si G tiene n vrtices, n 1 lados y no tiene ciclos, entonces es un rbol.
Teorema 14 Un vrtice v de un rbol T es un vrtice de corte de T si y
slo si gr(v) > 1.
Prueba. Si gr(v) = 0, entonces T
= K1 y es el grafo trivial y no es vrtices
de corte por la denicin 9. Si gr(v) = 1, entonces T v no tiene ciclos y
tiene (T ) 2 aristas ya que tena originalmente (T ) 1 aristas (por ser
rbol) y se borr la arista incidente al vrtice v. Pero (T v) = (T ) 1,
por lo tanto tiene (T v) 1 aristas; y del resultado anterior se tiene que
T v es un rbol y por lo tanto conexo. Es decir (T ) = (T v) y en
consecuencia v no es vrtice de corte de T .
Matemticas Discreta
Grafos
17
Semestre A2005
Teora
9b
4
2
b
b
3
b
10
9b
6
b
b1
8 b
b7
b
3
T := T1
b
10
b1
6
b
8 b
b7
T2
Grafos
18
Semestre A2005
9b
b
3
b
9b
b1
b
10
8 b
T3
6
b
8 b
9b
b7
9b
6
b
b1
b
10
Teora
9b
b1
8 b
b
10
T5
b
3
b7
T6
b7
9b
b1
8 b
b
10
T7
6
b
b1
8 b
b
10
b7
T4
b1
b
10
T8
b1
b
10
T9
Grafos
19
Semestre A2005
Teora
6 b
b1
2b
4 b
9 b
8 b
b
3
b
5
b7
5.
Coloracin de Grafos
Tenemos un grafo G y un conjunto de colores C = {a, b, . . . }. Una coloracin de G con los colores de C es una asignacin a los vrtices de G de
elementos de C (" colores") de manera que los extremos de cada arista reciban colores distintos. Formalmente, una coloracin de G con colores de C es
una aplicacin
: V (G) C
Matemticas Discreta
Grafos
20
Semestre A2005
Teora
b
b
b
b
b
b
b
b
b
b
Matemticas Discreta
Grafos
21
Semestre A2005
conclusin
Teora
(
2 si n es par
(Cn ) =
3 si n es impar
b
b
b
b
b
b
b
b
5.1.
(
3 si n es par
(Rn ) =
4 si n es impar
Una coloracin de un grafo G es equivalente a una lista con ciertas restricciones. Supongamos que V (G) = {v1 , v2 , , vn }, entonces una coloracin
usando los k colores C = {a1 , a2 , . . . , ak } es una lista (n-upla) con repeticin
(ai1 , ai2 , . . . , ain ) tal que si vs y vt son adyacentes entonces ais 6= ait .
Dada una coloracin : V (G) C denimos la relacin entre los vrtices
de G de la siguiente manera: u v si (u) = (v), es decir, dos vrtices estn
relacionados si tienen el mismo color. Esta es una relacin de equivalencia
(Vericarlo!). Esta relacin induce una particin sobre el conjunto V (G)
Matemticas Discreta
Grafos
22
Semestre A2005
Teora
cuyos bloques son las clases de equivalencia. Cada bloque est constituido
por vrtices que tienen el mismo color. Es importante notar que los vrtices
que estn relacionados no son adyacentes; si dos vrtices son adyacentes se
encuentran en bloques distintos.
Recprocamente, si particionamos el conjunto de vrtices de un grafo G
de tal manera que vrtices adyacentes se encuentran en bloques distintos,
entonces esta particin induce una coloracin de los vrtices de G. Se colorean los vrtices del mismo bloque con un mismo color y bloques distintos
con colores distintos. Estas observaciones son tiles para resolver problemas.
Como ejemplo, recordemos los grafos bipartitos. El conjunto de vrtices se
puede particionar en dos conjuntos V1 (G) y V2 (G) de tal manera que vrtices adyacentes se encuentran en conjuntos distintos, as es posible usar dos
colores para colorear los vrtices de dicho grafo. A los vrtices de V1 (G) se
les asigna un color y a los vrtices de V2 (G) se les asigna otro color, y resulta
una coloracin de G.
5.2.
Matemticas Discreta
Grafos
23
Semestre A2005
Teora
v4
v2
v6
v3
v7
v5
b
b
Matemticas Discreta
b
b
4 colores
Grafos
24
Semestre A2005
Teora
3 colores
2 colores
Esta ltima coloracin es la mejor. Hay dos cosas importantes, las coloraciones dependen del orden en que se elijan los vrtices. La otra que no es tan
evidente es que podemos determinar la peor coloracin segn (G) que es el
mximo grado de los vrtices de G. En el paso k del algoritmo lo peor que
puede pasar es que todos los vrtices adyacentes a vk ya han sido coloreados
con distintos colores, es decir, ya han sido usados gr(vk ) colores y para colorear vk necesitamos gr(vk ) + 1 colores. Podemos concluir que usando este
algoritmo para colorear G el mximo nmero de colores no es mayor que
(G) + 1. Resumimos en:
Proposicin 1 Sea G un grafo y (G) el mximo de los grados de los vrtices de G, entonces el algoritmo austero usa a lo sumo (G) + 1 colores.
Por lo tanto
(G) (G) + 1
Para conseguir un orden ptimo de los vrtices para aplicar el algoritmo
veamos la siguiente:
Observacin. El nmero de colores prohibidos en el paso k es el nmero de
colores usados por los vrtices vecinos y anteriores:
#{colores prohibidos} mn{#vecinos,# anteriores} = mn{#vecinos,k 1}
Un buen orden debe minimizar los colores prohibidos: se deben colocar los
vrtices de mayor orden al principio. De todas maneras no hay un criterio
establecido para construir dicho orden.
Proposicin 2 Si G es un grafo conexo con mayor grado (G), pero en el
que existe al menos un vrtice u tal que gr(u) < (G), entonces
(G) < (G) + 1
Matemticas Discreta
Grafos
25
Semestre A2005
Teora
Grafos
26
Semestre A2005
Teora
b
b
b
b
b
b
b
b
b
6.
Ciclos de Hamilton
En la seccin 2.4 tratamos el problema de los caminos y ciclos de Euler. En esta seccin damos una breve introduccin a los caminos y ciclos
Hamiltonianos.
Un camino simple que contiene cada vrtice de G se denomina camino
Hamiltoniano de G; anlogamente, un ciclo Hamiltoniano de G es un
ciclo que contiene todos los vrtices de G. Tales caminos y ciclos son as
llamados despus que Hamilton (1856) describi, en una carta a su amigo
Graves, un juego matemtico sobre el dodecaedro en el cual una persona
coloca cinco alleres en cinco vrtices consecutivos y a otra se le exige completar un camino simple hasta completar un ciclo. Un grafo es hamiltoniano
b
b
b
b b
b b
b
b
b
b b
b
b
b b
b
b
b
b
b
b
(a)
(b)
Grafos
27
Semestre A2005
Teora
l
b
b
Figura 16:
vrtices resaltados que son tres, se obtienen cuatro componentes conexas; de
este modo el teorema nos asegura que no es hamiltoniano. Sin embargo, este
mtodo no siempre funciona; por ejemplo, el grafo de Peterson no es hamiltoniano, pero eso no se puede deducir del teorema 16. Veremos una condicin
Matemticas Discreta
Grafos
28
Semestre A2005
Teora
b
b
b
b
b
b
b
(1)
Adems
ST =
(2)
Grafos
29
Semestre A2005
v1
v2
vi vi+1
Figura 18:
v3
Teora
v1
Referencias
[1] Richard A. Brualdi. Introductory Combinatorics Elsevier NorthHolland, 1977.
[2] Kenneth H. Rosen. Matemtica Discreta y sus aplicaciones
McGraw-Hill, Quinta Edicin. 2004.
[3] J.A.Bundy U.S.R.Murty. Graph Theory with Applications NorthHolland, 1976.
[4] Fred S. Roberts.Applied Combinatorics Prentice-Hall, 1984.
[5] S. Lipschutz M. Lipson Discrete Mathematics. Schaums Outline
Series. McGraw-Hill, 1997.
[6] Pablo Fernndez Gallardo y Jos Luis Fernndez Prez. Notas de Matemtica Discreta. Universidad Autnoma de Madrid. Versin Preliminar. Capitulo 8b. 2003
Matemticas Discreta
Grafos