Grafos 1era Parte
Grafos 1era Parte
Grafos 1era Parte
TEORIA DE GRAFOS
Estructuras Discretas II
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.
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.
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
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 }
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}
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}
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.
Estructuras Discretas II
A = {a, b, c, d, e, f, g, h, i, j} V = {1, 2, 3, 4, 5}
Estructuras Discretas II
g(1)=6;g(2)=3;g(3)=4;g(4)=4;g(5)=3
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.
Estructuras Discretas II
Vrtice Pendiente Es aquel grafo que contiene slo una arista, es decir tiene grado 1.
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.
Estructuras Discretas II
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.
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
Estructuras Discretas II
e1
e4
e2
e5
e3
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
A A B B
C C X
Y Y Z
G-A
Estructuras Discretas II
A B
G-B
G-C
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
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
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.
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
Estructuras Discretas II
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
Estructuras Discretas II
Estructuras Discretas II
P1
10
9
P2
P3
15
P4
11
P5
20
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.
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
Estructuras Discretas II
Estructuras Discretas II