Professional Documents
Culture Documents
Los grafos son estructuras discretas que constan de vrtices y de aristas que conectan entre s esos vrtices. Hay varios tipos de grafos, que se diferencian entre si por el tipo y el numero de aristas que pueden conectar cada par de vrtices. 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 distintos de V, A estos pares se les llama aristas. (Esto quiere decir que no hay restricciones , solo lneas de conexin directa).
Tipos de Grafos
Ejemplo:
Multgrafo: Est facultado para tener aristas mltiples, es decir, aristas con los mismos nodos iniciales y finales. Formalmente, un multgrafo G es un par G:=(V,A) donde: -V es un conjunto de vrtices o nodos -A es un multiconjunto de pares ordenados de nodos, llamados aristas.
Ejemplo:
Pseudografo: es un grafo G = (V,E), en el que existe al menos un vrtice u que es adyacente de si mismo, es decir que existe alguna arista de la forma uu, a dichas aristas se les denomina lazos.
Ejemplo:
Grafos dirigidos: es un tipo de grafo en el cual el conjunto de las aristas tiene una direccin definida1 , a diferencia del grafo generalizado, en el cual la direccin puede estar especificada o no.
Ejemplo:
Multgrafo 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, e2 son aristas mltiples o paralelas si f(e1) = f(e2).
Ejemplo:
Dos vrtices u, v de un grafo G = (V, E) se dicen adyacentes si {u, v} E, asimismo dos aristas son adyacentes si tienen un mismo vrtice como extremo; anlogamente si e = {u, v} decimos que el lado e es incidente a los vrtices u y v.
Es el numero de arritas incidentes con el grafo, exceptuando los bucles, cada uno de los cuales contribuye con dos unidades l del grado del vrtice. El grado del Vrtice v se denota por (v). Ejemplo:
2 1 1 0
Ejemplo: Cuntas aristas hay en un grafo de 8 vrtices, cada uno de los cuales tiene grado 5?
Ejemplo: Cuntas aristas hay en un grafo de 8 vrtices, cada uno de los cuales tiene grado 5?
Ruedas: Obtenemos la rueda En cuando aadimos un vrtice adicional al ciclo, para k>=3 y conectamos este nuevo vrtice con cada uno de los n vrtices de Cn mediante una nueva arista. Ejemplo:
N-Cubos: Es el grafo cuyos vrtices representan las 2 la n cadenas de bits de longitud n. Dos vrtices son adyacentes si, y solo si, las cadenas de bits a las que representan difieren exactamente en un bit. Ejemplo:
Grafos bipartitos
Es un grafo G=(N,E) cuyos vrtices se pueden separar en dos conjuntos disjuntos U y V, es decir, tal que se cumple: // de manera que las aristas slo pueden conectar vrtices de un conjunto con vrtices del otro. Ejemplo:
Es una matriz cuadrada que se utiliza como una forma de representar relaciones binarias. 1.Se crea una matriz cero, cuyas columnas y filas representan los nodos del grafo. 2.Por cada arista que une a dos nodos, se suma 1 al valor que hay actualmente en la ubicacin correspondiente de la matriz.
Si tal arista es un bucle y el grafo es no dirigido, entonces se suma 2en vez de 1. Finalmente, se obtiene una matriz que representa el nmero de aristas (relaciones) entre cada par de nodos (elementos).
Ejemplo:
Matrices de Incidencia
Es una matriz binaria (sus elementos slo pueden ser unos o ceros), que se utiliza como una forma de representar relaciones binarias.
1.
2.
3.
Isomorfismo de grafos
Es una biyeccin f entre los conjuntos de sus vrtices que preserva la relacin de adyacencia. Es decir, cualquier par de vrtices u y v de G son adyacentes si y solo si lo son sus imgenes, f(u) y f(v), en H. Nota: Para que exista un isomorfismo entre los siguientes grafos se deben de cumplir las siguientes propiedades: # vrtices iguales, # aristas iguales, mismo grado y adyacencia. Ejemplo: Grafo G Grafo H #vrtices = 8 #aristas= 12
8.4 Conexin
Grafo conexo: Caminos
Se dice que un grafo no dirigido es conexo si hay un camino entre cada par de vrtices distintos del grafo.
Es una secuencia de aristas que comienzan en un vrtice del grafo y recorre ciertas aristas del grafo siempre conectando pares de vrtices adyacentes.
Nota: Un camino simple o circuito simple son cuando no contiene la misma arista mas de una vez.
Circuitos
Vrtices de corte: Se les llama de esta forma cuando al eliminar este y todas
las aristas incidentes con el producen un subgrao original. Las vrtices de corte de G son b, c y e. Eliminar uno de estos vrtices (y sus aristas adyacentes) desconecta al grafo. Las aristas de corte son { a,b } y { c,e }. Eliminar cualquiera de estas aristas desconecta a G.
Se dice que un grafo dirigido es dbilmente conexo si hay un camino entre dos vrtices del grado no dirigido subyacente. El grafo H no es fuertemente conexo. No hay ningn camino dirigido de a b en este grafo. Sin embargo, H es dbilmente conexo, ya que hay un camino entre cado dos vrtices en el grafo no dirigido subyacente a H.
Un camino Euleriano es un camino simple que contiene a todas las aristas G. Un circuito Euleriano de un grafo G es un circuito simple que contiene a todas la arista de G.
Teorema 1
Un multgrafo conexo contiene un circuito euleriano si, y solo si, cada uno de sus vrtices tiene grado par.
Teorema 2
Un multgrafo conexo contiene un camino euleriano, pero no un circuito euleriano si, y solo si, tiene exactamente dos vrtices de grado impar.
Se dice un camino X0, X1, , Xn-1, Xn del grafo G= (V,E) es un camino Hamiltoniano si V={X0, X1, , Xn-1, Xn} y Xi Xj 0 i< j n. Se dice que un circuito X0, X1, , Xn-1, Xn, X0 (con n>1) del grafo G= (V,E) es un circuito Hamiltoniano si X0, X1, , Xn-1, Xn es un camino Hamiltoniano.
Ejemplo: Identificar de los siguientes grafos cual contiene un circuito hamiltoniano o un camino hamiltonianos.
G1 contiene un circuito hamiltoneano: a,b,c,d,e,a. No hay circuitos hamiltonianos en G2, ya que cualquier circuito tienen que contener do veces la arista {a,b}, G2 contiene un camino hamiltoneano, que es a,b,c,d. G3 no contiene caminos ni circuitos hamiltonuano ya que debe pasar al menos dos ocasiones por la misma arista.
Teorema Dirac
Sea G un grafo simple con n vrtices con n3 tal que todos los vrtices de G tienen grado mayor o igual que n/2. Entonces G, contiene un circuito Hamiltoniano. Teorema Ore
Sea G un grafo simple con n vrtices con n3 tal que (u)+(v) n para cada par de vrtices no adyacentes u y v de G. Entonces, G contiene un circuito Hamiltoniano Un multgrafo conexo contiene un camino euleriano, pero no un circuito euleriano si, y solo si, tiene exactamente dos vrtices de grado impar.
Grafos ponderados:
de las aristas.
La longitud de un camino:
camino.
un algoritmo para la determinacin del camino ms corto dado un vrtice origen al resto de vrtices en un grafo con pesos en cada arista. Su nombre se refiere a Edsger Dijkstra, quien lo describi por primera vez en 1959.
Algoritmo:
Teniendo un grafo dirigido ponderado de N nodos no aislados, sea x el nodo inicial, un vector D de tamao N guardar al final del algoritmo las distancias desde x al resto de los nodos.
1.
Inicializar todas las distancias en D con un valor infinito relativo ya que son desconocidas al principio, exceptuando la de x que se debe colocar en 0 debido a que la distancia de x a x sera 0. Sea a = x (tomamos a como nodo actual). Recorremos todos los nodos adyacentes de a, excepto los nodos marcados, llamaremos a estos nodos no marcados vi. Si la distancia desde x hasta vi guardada en D es mayor que la distancia desde x hasta a, sumada a la distancia desde a hasta vi; esta se sustituye con la segunda nombrada, esto es: si (Di > Da + d(a, vi)) entonces Di = Da + d(a, vi) Marcamos como completo el nodo a. Tomamos como prximo nodo actual el de menor valor en D (puede hacerse almacenando los valores en una cola de prioridad) y volvemos al paso 3 mientras existan nodos no marcados.
2. 3. 4.
5. 6.
TEOREMAS
Teorema 1
El algoritmo de determina la longitud mnima entre dos vrtices de un grafo ponderado simple, conexo y no dirigido.
Teorema 2
El algoritmo de realiza O(n2) operaciones (sumas y comparaciones) para determinar la longitud del camino mas corto entre dos vrtices de un grafo ponderado simple, conexo y no dirigido con n vrtices .
Euler: Sea G un grafo simple conexo con E arista y vrtices. Sea r el numero de regiones de una representacin plana de G. Entonces, r=e-v+2.
Teoremas Euler
Teorema 1:
Sea G un grafo plano simple y conexo con aristas, vrtices y 3. Entonces; 36.
Teorema 2: Teorema 3:
Si un grafo plano simple y conexo tiene aristas y vrtices con 3 y no contiene circuitos de longitud 3, entonces 24.
Teoremas KURATOWSKI:
Teorema :
Un grafo es plano si, y solo si, no contiene ningn subgrafo homeomorfo a 3,3 o a 5.