Você está na página 1de 39

Estructuras Discretas II

TEORIA DE GRAFOS

Prof. Miguel Angel Puebla

Estructuras Discretas II

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.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafos
Son Diagramas que si se interpretan en forma adecuada proporcionan informacin, son como los mapas de carreteras, los diagramas de circuitos o de flujos y nos interesan por las conexiones o relaciones que muestren entre varias partes del diagrama.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafos Qu es un Grafo? Es una terna que est compuesta por dos conjuntos finitos: un conjunto |V| vrtices un conjunto |E| aristas, j una relacin de incidencia, que asocia a cada elemento de |E| un par de elementos de |V| Se denota G = { V, E, j }

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafo Dirigido Un Grafo Dirigido G es un par (V,E) en donde V es un conjunto finito de vrtices (estados) y E es una relacin binaria que representa las relaciones entre estado y estado (arcos) Se le llama grafo dirigido porque cada arco tiene una direccin. 1

4
V = {1,2,3,4,5,6}

E = { (1,2), (2,2), (2,4), (2,5), (4,1), (4,5), (5,4), (6,3) }


Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafo No Dirigido
Un grafo no dirigido se define de la misma manera que un grafo dirigido, la nica diferencia es los arcos no tiene direccin, funcionan como arcos de doble direccin. La relacin binaria E que lo representa es simtrica. 1

4
V = {1,2,3,4,5,6}

E = { (1,2), (1,5), (2,1), (2,5), (5,1), (5,2), (3,6), (6,3) }


Prof. Miguel Angel Puebla

Estructuras Discretas II

Vertices: Son los objetos representados por punto dentro del grafo Aristas: Son las lineas que unen dos vertices Aristas Adyacentes: dos aristas son adyacentes si convergen sobre un mismo vrtice. Aristas Mltiples o Paralelas: dos aristas son mltiples o paralelas si tienen los mismos vrtices en comn o inciden sobre los mismos vrtices. Lazo: es una arista cuyos extremos inciden sobre el mismo vrtice.

Prof. Miguel Angel Puebla

Estructuras Discretas II

A = {a, b, c, d, e, f, g, h, i, j} V = {1, 2, 3, 4, 5}

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grado o Valencia de Un vrtice Es el nmero de aristas que inciden sobre un vrtice.

g(1)=6;g(2)=3;g(3)=4;g(4)=4;g(5)=3

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafo Regular

Un grafo G simple se dice que es K-regular, si en todo vrtice de G incide exactamente K-aristas, donde K es una constante.

Este es un Grafo 3-Regular

Prof. Miguel Angel Puebla

Estructuras Discretas II

Vrtice Aislado Es un vrtice de grado cero.

Vrtice Pendiente Es aquel grafo que contiene slo una arista, es decir tiene grado 1.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Aristas Adyacentes Se dice que dos aristas son adyacentes si convergen sobre un mismo vrtice. Aristas Mltiples o Paralelas Dos aristas de un Grafo G se dice que son paralelas si tienen el mismo vrtice inicial y el mismo vrtice final.

Lazo o Aristas Cclicas Es una arista que parte de un vrtice y llega al mismo vrtice.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Cruce Son intersecciones de las aristas en puntos diferentes a los vrtices

Grafo Sencillo o Simple Se dice que un Grafo G es Simple si no tiene aristas cclicas y existe una sola arista entre dos vrtices.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafo Completo Un Grafo es completo si cada vrtice tiene un grado igual a n-1, donde n es el nmero de vrtice que componen el grafo. Para saber el nmero mximo de aristas que posee un grafo completo est dada por: A= (n*(n-1))/2

Prof. Miguel Angel Puebla

Estructuras Discretas II

e1

e4

e2

e5

e3

G=G(V,A) V= A,B,C,D A=> e1 = (A,B), e2= (B,C) , e3 = (C,D), e4 = (A,C), e5 = (B,D)

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II
A A B B

C C X

Y Y Z

G-A

Prof. Miguel Angel Puebla

Estructuras Discretas II
A B

G-B

G-C

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Matriz de Adyacencia
a b

c
b c d e d e

0 1 0 1 0

1 0 1 0 1

0 1 0 1 1

1 0 1 0 0

0 1 1 0 0

Prof. Miguel Angel Puebla

Estructuras Discretas II

MATRIZ DE INCIDENCIA
Es una matriz rectangular de orden n x m conformada por dos conjuntos: los cuales tendrn un conjunto n de vrtices y otro conjunto m de columnas o arcos.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Matriz Adyacente para Digrafos


Es necesario determinar los vrtices adyacentes, teniendo en cuenta la direccin.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Matriz de Adyacencia de Vertices

Prof. Miguel Angel Puebla

Estructuras Discretas II

Matriz de Incidencia en los Digrafos


M(D) = Matriz x de orden n x m donde n es el nmero de vrtices y m el nmero de arcos. Como es una matriz rectangular, entonces:

Prof. Miguel Angel Puebla

Estructuras Discretas II

Matriz de Adyacencia de Vertices


Xij = 1 Si existe un arco de incidencia Xij = 0 Si no existe un arco de incidencia D = {A; V; d } sin arcos estrictamente paralelos X(D) = n x n |V| = n aij : i = 1,2,3,..,n j = 1,2,3,..,n

V1 V1 V2 V3 V4 V5 V6 0 1 0 0 0 1

V2 0 0 1 0 0 0

V3 1 0 0 1 0 0

V4 1 0 0 0 1 0

V5 0 0 0 0 0 0

V6 0 0 0 0 0 0

Prof. Miguel Angel Puebla

Estructuras Discretas II

Construya la Matriz de Incidencia


1

Prof. Miguel Angel Puebla

Estructuras Discretas II

P1

10
9
P2

P3

15
P4

11
P5

20

Prof. Miguel Angel Puebla

Estructuras Discretas II

Grafo Isomorfo
Dos Grafos son Isomorfos si existe una correspondencia biunvoca entre sus vrtices tal que dos vrtices quedan unidos por una arista en uno de los grafos, si y solo si, los vrtices correspondientes del otro grafo quedan unidos por una arista.

Dados los Grafos G = { A; V; j } y G = { A; V; j} es necesario que cumpla con las siguientes condiciones: Si el nmero de elementos de G = G |V| = |V'| Si hay una correspondencia biyectiva |A| = |A'| Si conserva la relacin de incidencia y adyacencia entre los elementos de los conjuntos V y A.

Prof. Miguel Angel Puebla

Estructuras Discretas II

Las Grficas G1 y G2 son Isomorfas si y solo si para cierto orden de sus vrtices las matrices de adyacencia son iguales.

A C E B

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Estructuras Discretas II

Prof. Miguel Angel Puebla

Você também pode gostar