Professional Documents
Culture Documents
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.
Carlos Secretario
Carlos Secretario
Restaurante
Secretaria
Bar
Libreria
Alan
Beatriz
Carlos
Diana
Susana
Daniel
Susana Javier
Linda
Javier
Linda
Tomas
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
Hmster
Len
Tigre
Conejo
Hurn
Hurn Hmster Conejo Tigre
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).
U Z V
V(G)={X, Y, Z, U, V, W}
Y E(G)={YX, XZ, XW, WU, UV}
W
X
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.
U Z
V
W X
Observacin: Durante el curso analizaremos propiedades y aplicaciones de grafos. Multi-grafos y Pseudo-grafos sern tratados nicamente en momentos puntuales.
Rub
Sant Cugat
Barcelona
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
Ejemplo: Hallar el orden, tamao y grado de los vrtices del siguiente grafo: Z Y 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
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.
Teorema. Sea G un grafo de orden p y tamao q, con V(G)={v1, v2, , vp}. Entonces grad(vi)=2q
Consecuencia. Todo grafo G tiene un numero par de vrtices de grado impar grad(vi) = par grad(vj) + impar grad(vz) =2q impar grad(vz) =2q- par grad(vj)=par
Ejemplo: Si tenemos 20 aristas y queremos construir un grafo donde todos los vrtices tienen grado 4, cuantos vrtices debera tener el grafo grad(vi) =2 q=40 4p=40 p=10 El grafo tendra 10 vrtices.
Ejemplo: Es posible que en un grupo de 7 personas cada una conozca exactamente a 3 del grupo?
grad(vi) =2 q 3*7=2q 21=2q q=21/2 lo cual es absurdo. Por tanto no es posible
Grafos especiales
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 Kp
K1
K2
K3
K4
K5
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.
Z
W V X Z Y W
Un grafo G se dice bipartito completo si es bipartito y cada vrtice de V1 es adyacente a todos los de V2. Se representara por Km,n
V V
Bipartito
K5
K1,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: Dado un grafo G de orden p, la sucesin s=grad(v1), grad(v2), grad(vp) se denomina sucesin de grados del grafo. Por convenio asumiremos que grad(v1) grad(v2) grad(vp)
s=4,4,3,2,2,1
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.
Para que sea grafica dos condiciones necesarias son: -grad(vi) p-1 - grad(vi) 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.
Teorema de Havel - Hakimi: Supongamos que tenemos p vrtices con una secuencia de grados s: d1, d2,, dp de enteros no negativos , y sea d1 d2 . dp con p 2 y d1 1. La secuencia s es grafica si y solo si la secuencia s1: d2-1 , d3 -1, , d d1+1-1,d d1+2, dd1+3, , dp es grafica.
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.
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 4: 0 0 Paso 3: 0 1 1 Paso 3 Reordenamiento : 1 1 0
Paso 2: 1 1 1 1
Sucesin: 4 4 3 3 2 2
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
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
Matriz de adyacencia
Definicin: Dado un grafo G de orden p y tamao q con V(G)={v1, v2, , vp} se define la matriz de adyacencia A=[aij] de G como la matriz p X p definida por aij= 1 si vivj pertenece a E(G) aij=0 si vivj no pertenece a E(G) v2 v1 v1 0 v2 v6 1 v3 1 v4 0 v5 0 v5 v6 0
v1
v2 1 0 1 0 0 0
v3 1 1 0 1 1 0
v4 0 0 1 0 0 0
v5 0 0 1 0 0 0
v6 0 0 0 0 0 0
v3
v4
Observacin: Una matriz de adyacencia es simtrica y la diagonal esta formada por ceros
Lista de adyacencia
Una matriz de adyacencia necesita p2 posiciones de memoria. Si un grafo tiene pocas aristas y muchos vrtices esto supone un mal uso de la memoria. v1 v2 1 2 v3 v6 3 v4 v5 2 3 0
1 1
3 0
3 2
0 4 5 0
4
5
3 0
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. 1 2 2 1 1 3 3 0 0 0 3 3 2 0 0 4 5 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 7 9 11 15 16 0 8 0 10 0 12 13 14 0 0 0
4 5
2 3 1 3 1 2 4 5 3 0
Isomorfismo de grafos
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