+ All Categories
Home > Documents > Fundamentos Matemáticos IV David Delgado Gómez [email protected] Despacho 321.

Fundamentos Matemáticos IV David Delgado Gómez [email protected] Despacho 321.

Date post: 24-Jan-2016
Category:
Upload: elisa-castro-zuniga
View: 215 times
Download: 0 times
Share this document with a friend
Popular Tags:
35
Fundamentos Matemáticos IV David Delgado Gómez [email protected] Despacho 321
Transcript
Page 1: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Fundamentos Matemáticos IV

David Delgado Gó[email protected] 321

Page 2: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Historia de la teoría de Grafos

1736: Solución de los puentes de Konigsberg por Euler. 1936: Konig escribe el primer libro sobre teoría de grafos

(en alemán) 1962: Oystein Ore escribe el primer libro en ingles sobre

la teoría 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.

Page 3: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo de Grafo (Matching)

RestauranteSecretariaBarLibrero

Alan Beatriz Carlos Diana

SecretarioLibrero

RestauranteSecretariaBarLibrero

Secretario SecretariaLibrera

AlanBeatrizCarlosDiana

Page 4: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Alan Beatriz Carlos Diana

SecretarioLibrero

RestauranteSecretariaBarLibrero

Secretario SecretariaLibrera

Restaurante Secretaria Bar

Alan Beatriz Carlos Diana

Libreria

Page 5: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

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 estén sentadas juntas se conozcan?

Tomas

Susana

Linda Javier

Daniel Javier

Linda Tomas

Susana

Daniel

Page 6: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo de Grafo (Coloracion)

Imaginemos que tenemos que mover los siguientes animales de un zoo a otro

León Conejo Hámster Tigre Hurón ¿Cuál seria el mínimo numero de compartimentos

necesario para poder desplazarlos sin que se coman?

Page 7: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

León

HurónConejo

Hámster

Tigre

León Tigre

Hámster

ConejoHurón

Page 8: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Definición: Un grafo G esta formado por un par de elementos (V,E), donde V es un conjunto de elementos llamados vértices ( o nodos o puntos) y E es un conjunto (que puede ser vacío) de subconjuntos de dos elementos de V llamado aristas (bordes, ramas o líneas).

X

Y

Z

U

W

VV(G)={X, Y, Z, U, V, W}

E(G)={YX, XZ, XW, WU, UV}

Page 9: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Definiciones: El número de vértices se denomina el orden p

de un grafo. El número de aristas es el tamaño q del grafo. Dos vértices unidos por una arista se dice que

son adyacentes.

X

Y

Z

U

W

V Orden=6Tamaño=5U y V son adjacentes

Observación: q es menor o igual a p (p-1)/2.

Page 10: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Observación: Durante el curso analizaremos propiedades y aplicaciones de “grafos”. Multi-grafos y Pseudo-grafos serán tratados únicamente en momentos puntuales.

Barcelona

Sant Cugat

Rubí

Multi-Grafo Pseudo-Grafo

Page 11: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Definiciones(2):

Dado un vértice 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 vértice

v como el numero de vecinos que tiene. Si G tiene tamaño p entonces

0 ≤ grad(v) < p

Page 12: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Y

X

V

Z

U

W

Observación: grad(x)+grad(y)+grad(z)+grad(u)+grad(v)+grad(w)=10= 2q.

Observación: El numero de vértices de grado impar es un numero par.

Orden=p=6Tamaño=q=5Grad(x)=2Grad(y)=2Grad(z)=3Grad(v)=2Grad(u)=1Grad(w)=0

ParParImparParImpar Vértice Extremo(Par) Vértice aislado

Ejemplo: Hallar el orden, tamaño y grado de los vértices del siguiente grafo:

Page 13: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Teorema. Sea G un grafo de orden p y tamaño q, con V(G)={v1, v2, …, vp}. Entonces

∑ grad(vi)=2q

Consecuencia. Todo grafo G tiene un numero par de vértices de grado impar

∑ grad(vi) = ∑par grad(vj) + ∑impar grad(vz) =2q

∑impar grad(vz) =2q- ∑par grad(vj)=par

Page 14: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo: Si tenemos 20 aristas y queremos construir un grafo donde todos los vértices tienen grado 4, cuantos vértices debería 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=404p=40p=10El grafo tendría 10 vértices.

∑ grad(vi) =2 q3*7=2q21=2qq=21/2 lo cual es absurdo. Por tanto no es posible

Page 15: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Grafos especiales

Un grafo se dice regular de grado r si todo vértice de G tiene grado r.

P=4Regular 0

P=4Regular 1

P=4Regular 2

P=4Regular 3

Observación: - 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 vértices impares) (ver Havel-Hakimi)

Page 16: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Un grafo de orden p se dice completo si cada vértice de G es adyacente a todos los demás. Es decir, es un grafo regular de grado p-1 y tiene tamaño p (p-1)/2. Se denotara por Kp

K1

K4

K2 K3

K5

Page 17: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Un grafo G se dice bipartito si V(G) pueden ser separado en dos conjuntos no vacíos V1 y V2 tales que todo vértice de G une un vértice de V1 con uno de V2.

X

Z

W

U Y

V

U

YZX W

V

Page 18: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Un grafo G se dice bipartito completo si es bipartito y cada vértice de V1 es adyacente a todos los de V2. Se representara por Km,n

U

YZX W

V VU

YZX W

Bipartito Bipartito completo K2,4

Page 19: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo: Dibujar los grafos K5 y K1,5

K5

K1,5

Page 20: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Secuencia de gradosDado un cierto numero de vértices y sus grados, ¿Cómo decidir si existe un grafo con ese numero de vértices y con esos grados?

Definición: Decimos que una secuencia de enteros no negativa es grafica si es la secuencia de grados de algún grafo

La secuencia 4,4,3,2,2,1 es grafica.Anteriormente vimos que 3,3,3,3,3 no es gráfica.

Definición: Dado un grafo G de orden p, la sucesión s=grad(v1), grad(v2), grad(vp) se denomina sucesión de grados del grafo. Por convenio asumiremos quegrad(v1) ≥ grad(v2) ≥ … ≥ grad(vp)

s=4,4,3,2,2,1

Page 21: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

¿Cómo determinar que una sucesión es grafica?

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 ellasconozca a un numero diferente de invitados?

Si esto fuese posible se tendría que s: 0,1,2,3,4

Lo cual es absurdo ya que un invitado no conoce a nadie (grado 0) perohabría otro de los invitados (grado 4) que si la conocería. Con lo cual esta secuencia no puede ser grafica. Sin embargo cumple las dos condiciones necesarias.

Page 22: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

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 términos si no están decreciendo.

(If) Si todos los grados son 0 entonces es grafica.

(Else)Si noentonces no es grafica.

Teorema de Havel - Hakimi: Supongamos que tenemos p vértices 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.

Page 23: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo: Determinar si la secuencia 4 4 3 3 2 2 es grafica.

Tiene 6 vértices y todos los grados son menores que 6.La suma de los grados es 18 que es un numero parEntonces puede ser grafica

Paso 1: 3 2 2 1 2Paso 1-Reordenamiento: 3 2 2 2 1

Paso 2: 1 1 1 1

Paso 3: 0 1 1Paso 3 – Reordenamiento : 1 1 0

Paso 4: 0 0 entonces es grafica

Page 24: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo (Continuación): Sabiendo que la sucesión 4 4 3 3 2 2 es grafica, dibujar un grafo que tenga esta secuencia

Paso 1: 3 2 2 1 2Paso 1-Reordenamiento: 3 2 2 2 1

Paso 2: 1 1 1 1

Paso 3: 0 1 1Paso 3 – Reordenamiento : 1 1 0

Paso 4: 0 0

Sucesión: 4 4 3 3 2 2

Page 25: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Ejemplo: Determinar si la secuencia 5 4 3 2 1 1 es grafica.

Tiene 6 vértices y todos los grados son menores que 6.La suma de los grados es 16 que es un numero parEntonces puede ser grafica

Paso 1: 3 2 1 0 0

Paso 2: 1 0 -1 0. Entonces no es grafica.

Page 26: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

SubgrafosDefinición. Un grafo H es un subgrafo de un grafo G si V(H) están incluidos en V(G) y E(H) están incluidos en E(G).

Grafo G Subgrafo G NO es subgrafo G

Page 27: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Subgrafos especialesDefinición: Un subgrafo H de G se dice recubridor, cobertor o generador si V(H) = V(G).

Grafo G Subgrafo Recubridor de G

NO esSubgrafo Recubridor de G

NO esSubgrafo Recubridor de G

Page 28: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Se define el subgrafo inducido por un conjunto de vértices S de G<S>, como el MAXIMO subgrafo de G que tiene los vértices de S.

Grafo GNO es un subgrafoinducido por un subconjunto de vértices de G

NO es un subgrafoinducido por un subconjunto de vértices de G

SI es un subgrafoinducido por un subconjunto de vértices de G

Page 29: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

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 GSI es un subgrafoinducido por un subconjunto de aristas de G

NO es un subgrafoinducido por un subconjunto de aristas de G

SI es un subgrafoinducido por un subconjunto de aristas de G

Page 30: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Programación: representación de grafos

Page 31: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Matriz de adyacencia

Definición: Dado un grafo G de orden p y tamaño 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)

v1

v3

v4

v6

v5

v2

v1

v1

v2

v2

v3

v3

v4

v4

v5

v5

v6

v6

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

Observación: Una matriz de adyacencia es simétrica y la diagonal esta formada por ceros

Page 32: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Lista de adyacencia

v1

v3

v4

v6

v5

v22

2

3

3

3

3

1

1 54

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 p2 posiciones de memoria. Si un grafo tiene pocasaristas y muchos vértices esto supone un mal uso de la memoria.

Page 33: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Tabla de adyacenciaUna 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 54

0

0

0

0

0

0

1

2

3

4

5

6

1 72 93 114 155 166 07 2 88 3 09 1 1010 3 011 1 1212 2 1313 4 1414 5 015 3 016 0 0

Page 34: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

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 vértices de grado 3 están unidos.

El grafo 1 y 2 son isomorfos. Podríamos preferir el grafo 2 si estamos dibujando un circuito ya que sus aristas no se cruzan.

Page 35: Fundamentos Matemáticos IV David Delgado Gómez david.delgado@upf.edu Despacho 321.

Definición: Dos grafos G1 y G2 son isomorfos si existe una función biyectiva f :V(G1)->V(G2)

De forma que si uv pertenece a E(G1) entonces f(u)f(v) pertenece a E(G2).

Observación: 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 vértices. Ambos deben tener el mismo numero de aristas.

Ambos deben tener la misma secuencia de grados

Grafos no isomorfos de orden 3


Recommended