Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduccin
Las ideas bsicas fueron presentadas por matemtico suizo Leonhard Euler en el siglo XVIII. el
Las utiliz para resolver el famoso problema de los puentes de Knisberg. Los grafos se emplean para, por ejemplo: Determinar si se puede o no implementar un circuito sobre una placa de una sola capa Diferenciar dos compuestos qumicos con la misma formula molecular, pero diferente estructura Estudiar la estructura de la Red de Internet
2
Puentes de Knisberg
Es un clebre problema matemtico que fue resuelto por Leonhard Euler en 1736 y dio origen a la teora de grafos. Dos islas en el ro Pregel que cruza Knisberg se unen entre ellas y con la tierra firme mediante siete puentes. Es posible dar un paseo empezando por cualquier de las cuatro partes de tierra firme, cruzando cada puente una sola vez y volviendo al punto de partida?
Vrtices
Constituyen uno de los elementos que forman un grafo. Como ocurre con el resto de las ramas de las matemticas, a la teora de grafos no le interesa qu son los vrtices. Pueden verse simplemente como objetos. Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfacen la definicin de grafo pueden verse como tales y as aplicar la teora en mencin.
4
Definicin
Son estructuras discretas que constan de vrtices y aristas que conectan entre s esos vrtices.
Existen distintos tipos de grafos, que se diferencian entre s por el tipo y el nmero de aristas que pueden conectar cada par de vrtices.
5
Ejemplos de Grafos
Muchas redes de uso cotidiano pueden ser representadas por un grafo: Una red de carreteras que conecta ciudades Una red elctrica El sistema de drenaje de una ciudad Una red de transferencia de datos digitales
6
Grafo Simple
Un grafo simple G = (V,E) consta de V, un conjunto no vaco de vrtices, y de E, un conjunto de pares no ordenados de elementos de V. A estos pares se les llama aristas.
Detroit New York San Francisco Denver Chicago Washington
Los ngeles
Red Informtica
7
Multigrafo
Un multigrafo G = (V,E) consta de un conjunto V de vrtices, un conjunto E de aristas y una funcin f de E en {{u,v} | u,v V, u v}. Se dice que las aristas e1 y e2 son aristas mltiples o paralelas si f(e1) = f(e2).
Detroit Chicago e8 e5 San Francisco e1 e2 e3 e4 Denver e6 e7 e10 e12 e9 e11 New York e13 e14
Washington
Los ngeles
Pseudografo
Un pseudografo G = (V,E) consta de un conjunto V de vrtices, un conjunto E de aristas y una funcin f de E en {{u,v} | u,v V }. Una arista e es un bucle, o lazo, si f(e) = { u, u } = { u } para algn u V.
e21 Chicago e5 San Francisco e15 e1 e2 e3 e4 e17 Denver e6 e7 e18 e8 e10 e12 e9 e11 e20 New York e14
e13
e19 Washington
Grafo Dirigido
Un grafo dirigido (V,E) consta de un conjunto V de vrtices y de un conjunto E de aristas, que son pares ordenados de elementos de V.
Chicago
New York
Los ngeles
Multigrafo Dirigido
Un multigrafo dirigido G = (V,E) consta de un conjunto V de vrtices, un conjunto E de aristas y una funcin f de E en {(u,v) | u,v V }. Se dice que las aristas e1 y e2 son aristas mltiples si f(e1) = f(e2).
Chicago e7 e5 San Francisco e1 e2 e3 e4 Denver e6 e10 e12 e8 e11 New York e13 e9
Washington
Los ngeles
Tipos de Grafos
Terminologa en teora de grafos Tipos Grafo simple Multigrafo Pseudografo Grafo dirigido Aristas No dirigidas No dirigidas No dirigidas Dirigidas Se admiten aristas mltiples? No S S No S Se admiten bucles? No No S S S
12
Zarigeya
Musaraa
Pjaro carpintero
13
14
Algunos ejercicios
El grafo de interseccin de una coleccin de conjuntos A1, A2, , An es el grafo que tiene un vrtice por cada conjunto y que tiene una arista entre los vrtices que representan a dos conjuntos si estos dos conjuntos tienen interseccin no vaca. Construir el grafo de interseccin de los siguientes conjuntos: a) A1={0,2,4,6,8}, A2={0,1,2,3,4}, A3={1,3,5,7,9}, A4={5,6,7,8,9}, A5={0,1,8,9}
17
Algunos ejercicios
b) A1={x|x<0}, A2={x|-1<x<0}, A4={x|-1<x<1} , A5={x|x>-1}, A6=R A3={x|0<x<1},
Construya un rbol de precedencia para el siguiente programa: S1: x:= 0 S2: x:= x+1 S3: y:= 2 S4: z:= y S5: x:= x+2 S6: y:= x+z S7: z:= 4 18
Adyacencia de Vrtices
Se dice que dos vrtices u y v de un grafo no dirigido G son adyacentes (vecinos) en G si { u,v } es una arista de G. Si e = { u,v }, se dice que la arista e es incidente con los vertices u y v. Tambin se dice que la arista e conecta u y v. Se dice que los vrtices u y v son extremos de la arista e. El grado de un vrtice de un grafo no dirigido es el nmero de aristas incidentes con l, exceptuando los bucles, cada uno de los cuales contribuye con dos unidades al grado del vrtice. El grado del vrtice se denota por (v).
19
Sobre la Adyacencia
A los vrtices de grado cero se les llama aislados. Claramente, un vrtice aislado no es adyacente a ningn vrtice. Se dice que un vrtice es colgante, o que es una hoja, si y slo si, tiene grado uno. Si (u,v) es una arista del grafo dirigido G, se dice que u es adyacente a v y que v es adyacente desde u. Al vrtice u se le llama vrtice inicial de (u,v) y a v se le llama vrtice final o terminal de (u,v). Los vrtices inicial y final de un bucle coinciden.
20
2e = (v)
vV V
Lo anterior es cierto incluso cuando hay aristas mltiples y bucles en el grafo. Cuntas aristas hay en un grafo con diez vrtices, cada uno de los cuales tiene grado seis?
21
vV
(v ) = + ( v ) = E
vV
22
23
24
25
26
Grafos Bipartitos
Se dice que un grafo simple G es bipartito si su conjunto de vrtices V se puede dividir en dos conjuntos disjuntos V1 y V2 tales que cada arista del grafo conecta un vrtice de V1 con un vrtice de V2, de manera que no haya ninguna arista que conecte entre s dos vrtices de V1 ni tampoco dos vrtices de V2. Por ejemplo, consideremos el grafo que representa matrimonios entre las personas de un pueblo. En ste, cada persona se representa mediante un vrtice y cada matrimonio se representa mediante una arista.
27
Grafos Bipartitos
Un grafo es bipartito si, y solo si, se pueden colorear los vrtices del grafo con dos colores de modo que ningn par de vrtices adyacentes sean del mismo color. Tambin se considera grafo bipartito si cumple con la condicin de que no sea posible empezar en un vrtice y regresar a ese mismo vrtice despus de recorrer un nmero impar de aristas distintas. El grafo bipartito completo Km,n es el grafo cuyo conjunto de vrtices est formado por dos subconjuntos con m y n vrtices, respectivamente, y hay una arista entre dos vrtices si, y solo si, un vrtice esta en el primer 28 subconjunto y el otro en el segundo.
Grafos Bipartitos
V1 v1 v3 v5 V2 v2 v4 v6
es bipartito? es un ciclo?
Grafo G
Grafo H
es bipartito completo?
29
La unin de dos grafos simples G1=(V1,E1) y G2=(V2,E2) es el grafo simple cuyo conjunto de vrtices es V1 U V2 y cuyo conjunto de aristas es E1 U E2. La unin de G1 y G2 se denota por G1 U G2.
30
Algunos ejercicios
Para cada uno de los siguientes grafos, hallar el nmero de aristas y el grado de cada vrtice. Identificar los vrtices aislados y las hojas.
b c d b c
d a e f a g c a d d
31
Algunos ejercicios
Sobre los grafos anteriores, hallar la suma de los grados de los vrtices y comprobar que coincide con el doble del nmero de aristas del grafo. Puede existir un grafo con 15 vrtices, cada uno de ellos de grado 5? Dibuja los siguientes grafos: a) K7 b) K1,8 c) K4,4 d) C7 e) W7 f) Q4
32
Algunos ejercicios
Determinar el nmero de vrtices y de aristas, y hallar los grados de entrada y salida de cada uno de los vrtices del multigrafo dirigido correspondiente:
b
b a
33
Algunos ejercicios
Determinar si cada uno de los siguientes grafos es bipartito:
a e b a d e a f e b a c f d e d
34
f b c
4) Qn
El recproco de un grafo dirigido G=(V,E), que se denota Gc, es el grafo dirigido G=(V,F) tal que (u,v) F si, y solo si, (v,u) E.
35