Fundamentos

Matemticos IV
David Delgado Gmez
david.delgado@upf.edu
Despacho 321
Historia de la teora de Grafos
1736: Solucin de los puentes de Konigsberg por Euler.
1936: Konig escribe el primer libro sobre teora de grafos
(en alemn)
1962: Oystein Ore escribe el primer libro en ingles sobre
la teora de grafos:Theory of Graphs.Tambien escribe:
Graphs and Their Uses (1963) y The Four-Color
Problem (1967)
2007: Multiples aplicaciones debido a su relacion con
ciencias de la computacion: optimizacion de redes o
clasificacion de datos.
Ejemplo de Grafo (Matching)
Restaurante
Secretaria
Bar
Librero
Alan Beatriz Carlos Diana
Secretario
Librero
Restaurante
Secretaria
Bar
Librero


Secretario
Secretaria
Librera
Alan
Beatriz
Carlos
Diana
Alan Beatriz Carlos Diana
Secretario
Librero
Restaurante
Secretaria
Bar
Librero


Secretario
Secretaria
Librera
Restaurante
Secretaria
Bar
Alan Beatriz Carlos
Diana
Libreria
Ejemplo Grafo (Hamiltoniano)
Tomas, Daniel, Susana, Linda y Javier van a una cena. Se sabe que:

Tomas conoce a Susana y Linda.
Daniel conoce a Susana y Linda.
Javier conoce a Daniel y Linda.

Es posible sentarlos en una mesa redonda de forma que personas que
estn sentadas juntas se conozcan?
Tomas
Susana
Linda Javier
Daniel
Javier
Linda Tomas
Susana
Daniel
Ejemplo de Grafo (Coloracion)
Imaginemos que tenemos que mover los siguientes
animales de un zoo a otro
Len
Conejo
Hmster
Tigre
Hurn
Cul seria el mnimo numero de compartimentos
necesario para poder desplazarlos sin que se coman?
Len
Hurn Conejo
Hmster
Tigre
Len Tigre
Hmster
Conejo
Hurn
Definicin: Un grafo G esta formado por un par
de elementos (V,E), donde V es un conjunto de
elementos llamados vrtices ( o nodos o puntos)
y E es un conjunto (que puede ser vaco) de
subconjuntos de dos elementos de V llamado
aristas (bordes, ramas o lneas).
X
Y
Z
U
W
V
V(G)={X, Y, Z, U, V, W}

E(G)={YX, XZ, XW, WU, UV}
Definiciones:
El nmero de vrtices se denomina el orden p
de un grafo.
El nmero de aristas es el tamao q del grafo.
Dos vrtices unidos por una arista se dice que
son adyacentes.

X
Y
Z
U
W
V
Orden=6
Tamao=5
U y V son adjacentes
Observacin: q es menor o igual a p (p-1)/2.
Observacin: Durante el curso analizaremos propiedades y aplicaciones de
grafos. Multi-grafos y Pseudo-grafos sern tratados nicamente en
momentos puntuales.
Barcelona
Sant Cugat
Rub
Multi-Grafo
Pseudo-Grafo
Definiciones(2):
Dado un vrtice v de un grafo G se define
la vecindad de v, N(v) como
N(v)={u V(G) | vu E(G)}
Se define el grado grad(v) de un vrtice
v como el numero de vecinos que tiene.
Si G tiene tamao p entonces
0 grad(v) < p

Y
X
V
Z
U
W
Observacin: grad(x)+grad(y)+grad(z)+grad(u)+grad(v)+grad(w)=10= 2q.

Observacin: El numero de vrtices de grado impar es un numero par.
Orden=p=6
Tamao=q=5
Grad(x)=2
Grad(y)=2
Grad(z)=3
Grad(v)=2
Grad(u)=1
Grad(w)=0
Par
Par
Impar
Par
Impar Vrtice Extremo
(Par) Vrtice aislado
Ejemplo: Hallar el orden, tamao y grado de los vrtices del siguiente grafo:
Teorema. Sea G un grafo de orden p y tamao q, con V(G)={v
1
, v
2
, , v
p
}.
Entonces
grad(v
i
)=2q
Consecuencia. Todo grafo G tiene un numero par de vrtices de grado impar

grad(v
i
) =
par
grad(v
j
) +
impar
grad(v
z
) =2q

impar
grad(v
z
) =2q-
par
grad(v
j
)=par

Ejemplo: Si tenemos 20 aristas y queremos construir un grafo donde todos los
vrtices tienen grado 4, cuantos vrtices debera tener el grafo
Ejemplo: Es posible que en un grupo de 7 personas cada una conozca
exactamente a 3 del grupo?
grad(vi) =2 q=40
4p=40
p=10
El grafo tendra 10 vrtices.

grad(vi) =2 q
3*7=2q
21=2q
q=21/2 lo cual es absurdo. Por tanto no es posible

Grafos especiales
Un grafo se dice regular de grado r si todo vrtice de G
tiene grado r.
P=4
Regular 0
P=4
Regular 1
P=4
Regular 2
P=4
Regular 3
Observacin:
- SI G tiene orden p y es regular de grado r entonces 0 < r < p-1.
- Si G tiene orden p y r es un numero entero puede ocurrir que no existan grafos
regulares para este orden p y grado r.
Por ejemplo p=5 y r =3.(numero impar de vrtices impares) (ver Havel-Hakimi)
Un grafo de orden p se dice completo si cada vrtice de
G es adyacente a todos los dems. Es decir, es un
grafo regular de grado p-1 y tiene tamao p (p-1)/2. Se
denotara por K
p
K
1
K
4
K
2
K
3
K
5
Un grafo G se dice bipartito si V(G) pueden ser
separado en dos conjuntos no vacos V1 y V2 tales que
todo vrtice de G une un vrtice de V1 con uno de V2.
X
Z
W
U Y
V
U
Y Z X W
V
Un grafo G se dice bipartito completo si es bipartito y
cada vrtice de V
1
es adyacente a todos los de V
2
. Se
representara por K
m,n
U
Y Z X W
V V
U
Y Z X W
Bipartito
Bipartito completo K
2,4
Ejemplo: Dibujar los grafos K
5
y K
1,5
K
5
K
1,5
Secuencia de grados
Dado un cierto numero de vrtices y sus grados, Cmo decidir si existe un grafo
con ese numero de vrtices y con esos grados?
Definicin: Decimos que una secuencia de enteros no negativa es grafica
si es la secuencia de grados de algn grafo
La secuencia 4,4,3,2,2,1 es grafica.
Anteriormente vimos que 3,3,3,3,3 no es grfica.
Definicin: Dado un grafo G de orden p, la sucesin s=grad(v
1
), grad(v
2
), grad(v
p
)
se denomina sucesin de grados del grafo. Por convenio asumiremos que
grad(v
1
) grad(v
2
) grad(v
p
)
s=4,4,3,2,2,1
Cmo determinar que una sucesin es grafica?

Para que sea grafica dos condiciones necesarias son:
-grad(v
i
) p-1
- grad(v
i
) sea par
Sin embargo estas condiciones no son suficientes.
(Es decir si no se cumplen la secuencia no es grafica pero si se
cumplen puede que lo sea puede que no)
Ejemplo: Cinco invitados van a una fiesta. Es posible que cada una de ellas
conozca a un numero diferente de invitados?
Si esto fuese posible se tendra que
s: 0,1,2,3,4
Lo cual es absurdo ya que un invitado no conoce a nadie (grado 0) pero
habra otro de los invitados (grado 4) que si la conocera. Con lo cual esta
secuencia no puede ser grafica. Sin embargo cumple las
dos condiciones necesarias.
Algoritmo para determinar si una secuencia es grafica
( If ) Si no cumple las dos condiciones necesarias
entonces no es grafica.
( Else ) Si las cumple
(If) Si todos los grados son 0
entonces es grafica.
(Else) Si no
(While) Mientras existan grados distintos de 0 y no haya
elementos negativos.
Aplicar Havel Hakimi.
Reordenar trminos si no estn decreciendo.

(If) Si todos los grados son 0
entonces es grafica.
(Else)Si no
entonces no es grafica.
Teorema de Havel - Hakimi: Supongamos que tenemos p vrtices
con una secuencia de grados s: d
1
, d
2
,, d
p
de enteros no negativos ,
y sea d
1
d
2
. d
p
con p 2 y d
1
1.
La secuencia s es grafica si y solo si la secuencia
s
1
: d
2
-1 , d
3
-1, , d
d1+1
-1,d
d1+2
, d
d1+3
, , d
p

es grafica.
Ejemplo: Determinar si la secuencia 4 4 3 3 2 2 es grafica.
Tiene 6 vrtices y todos los grados son menores que 6.
La suma de los grados es 18 que es un numero par
Entonces puede ser grafica
Paso 1: 3 2 2 1 2
Paso 1-Reordenamiento: 3 2 2 2 1
Paso 2: 1 1 1 1
Paso 3: 0 1 1
Paso 3 Reordenamiento : 1 1 0
Paso 4: 0 0 entonces es grafica
Ejemplo (Continuacin): Sabiendo que la sucesin 4 4 3 3 2 2 es grafica,
dibujar un grafo que tenga esta secuencia
Paso 1: 3 2 2 1 2
Paso 1-Reordenamiento: 3 2 2 2 1
Paso 2: 1 1 1 1
Paso 3: 0 1 1
Paso 3 Reordenamiento : 1 1 0
Paso 4: 0 0
Sucesin: 4 4 3 3 2 2
Ejemplo: Determinar si la secuencia 5 4 3 2 1 1 es grafica.
Tiene 6 vrtices y todos los grados son menores que 6.
La suma de los grados es 16 que es un numero par
Entonces puede ser grafica
Paso 1: 3 2 1 0 0
Paso 2: 1 0 -1 0. Entonces no es grafica.
Subgrafos
Definicin. Un grafo H es un subgrafo de un grafo G si V(H) estn incluidos en
V(G) y E(H) estn incluidos en E(G).
Grafo G Subgrafo G NO es subgrafo G
Subgrafos especiales
Definicin: Un subgrafo H de G se dice recubridor, cobertor o generador
si V(H) = V(G).
Grafo G
Subgrafo
Recubridor
de G
NO es
Subgrafo
Recubridor
de G
NO es
Subgrafo
Recubridor
de G
Se define el subgrafo inducido por un conjunto de vrtices S de G
<S>, como el MAXIMO subgrafo de G que tiene los vrtices de S.
Grafo G
NO es un subgrafo
inducido por un
subconjunto
de vrtices de G
NO es un subgrafo
inducido por un
subconjunto
de vrtices de G
SI es un subgrafo
inducido por un
subconjunto
de vrtices de G
Se define el subgrafo inducido por un conjunto de aristas X de G
<X>, como el MINIMO subgrafo de G que tiene las aristas en X .
Grafo G
SI es un subgrafo
inducido por un
subconjunto
de aristas de G
NO es un subgrafo
inducido por un
subconjunto
de aristas de G
SI es un subgrafo
inducido por un
subconjunto
de aristas de G
Programacin: representacin de grafos
Matriz de adyacencia
Definicin: Dado un grafo G de orden p y tamao q con V(G)={v
1
, v
2
, , v
p
}
se define la matriz de adyacencia A=[a
ij
] de G como la matriz p X p definida por

a
ij
= 1 si v
i
v
j
pertenece a E(G)
a
ij
=0 si v
i
v
j
no pertenece a E(G)
v
1
v
3
v
4
v
6
v
5
v
2
v
1
v
1
v
2
v
2
v
3
v
3
v
4
v
4
v
5
v
5
v
6
v
6
0 1 1 0 0 0
1 0 1 0 0 0
1 1 0 1 1 0
0 0 1 0 0 0
0 0 1 0 0 0
0 0 0 0 0 0
Observacin: Una matriz de adyacencia es simtrica y la diagonal esta formada
por ceros
Lista de adyacencia
v
1
v
3
v
4
v
6
v
5
v
2
2
2
3
3
3
3
1
1 5 4
0
0
0
0
0
0
1

2


3


4

5


6
Una lista de adyacencia necesita (p+q)*2 posiciones de memoria
Una matriz de adyacencia necesita p
2
posiciones de memoria. Si un grafo tiene pocas
aristas y muchos vrtices esto supone un mal uso de la memoria.
Tabla de adyacencia
Una forma mas ordenada de presentar la lista de adyacencia es mediante
una tabla de adyacencia. Requiere (p+2q)*2 posiciones de memoria.
2
2
3
3
3
3
1
1 5 4
0
0
0
0
0
0
1

2


3


4

5


6
1 7
2 9
3 11
4 15
5 16
6 0
7 2 8
8 3 0
9 1 10
10 3 0
11 1 12
12 2 13
13 4 14
14 5 0
15 3 0
16 0 0
Isomorfismo de grafos
Los tres grafos tienen p=5, q=6 y s= 3,3,2,2,2
El tercer grafo no es isomorfo por que los vrtices de grado 3 estn unidos.
El grafo 1 y 2 son isomorfos. Podramos preferir el grafo 2 si estamos dibujando
un circuito ya que sus aristas no se cruzan.
Definicin: Dos grafos G1 y G2 son isomorfos si existe una funcin biyectiva
f :V(G1)->V(G2)
De forma que si uv pertenece a E(G1) entonces f(u)f(v) pertenece a E(G2).
Observacin: Para probar que dos grafos son isomorfos hay que dar el isomorfismo
Para probar que no son isomorfos basta con ver que uno no tiene una
propiedad que el otro tiene y que se conserva bajo el isomorfismo.
Por ejemplo:
Ambos deben tener el mismo numero de vrtices.
Ambos deben tener el mismo numero de aristas.
Ambos deben tener la misma secuencia de grados
Grafos no isomorfos de orden 3