Teora de grafos

Los grafos son el objeto de estudio de esta rama de las matemticas. Arriba elgrafo pez, en medio el grafo arco y abajo el grafo dodecaedro.

La teora de grafos (tambin llamada teora de las grficas) es un campo de estudio de las matemticas y las ciencias de la computacin, que estudia las propiedades de los grafos (tambin llamadas grficas) estructuras que constan de dos partes, el conjunto de vrtices, nodos o puntos; y el conjunto de aristas, lneas o lados (edges en ingls) que pueden ser orientados o no. La teora de grafos es una rama de la matemticas discretas y aplicadas, y es una disciplina que unifica diversas reas como combinatoria, lgebra, probabilidad,geometra de polgonos, aritmtica y topologa. Actualmente ha tenido mayor preponderancia en el campo de la informtica, las ciencias de la computacin y telecomunicaciones.

Elementos y caractersticas de los grafos.

Grafos simples Un grafo es simple si a lo sumo slo 1 arista une dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la nica que une dos vrtices especficos. Un grafo que no es simple se denomina Multigrfica o Grfo mltiple. Grafos conexos Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b. Un grafo es fuertemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo. Grafos completos Un grafo es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e que los une. El conjunto de los grafos completos es denominado usualmente , siendo el grafo completo de n vrtices. Un , es decir, grafo completo de n vrtices tiene exactamente aristas. Grafos bipartitos Un grafo G es bipartito si puede expresarse como G = {V_1 cup V_2, A} (es decir, sus vrtices son la unin de dos grupos de vrtices), bajo las siguientes condiciones: * V1 y V2 son disjuntos y no vacos. * Cada arista de A une un vrtice de V1 con uno de V2. * No existen aristas uniendo dos elementos de V1; anlogamente para V2. Bajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo que une o relaciona dos conjuntos de elementos diferentes. Lazos o bucles Un lazo o bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden. Grafo no dirigido Un grafo no dirigido o grafo propiamente dicho es un grafo G = (V,E) donde: * Vneqemptyset * Esubseteq {xinmathcal P(V): |x|=2} es un conjunto de pares no ordenados de elementos de V,. Un par no ordenado es un conjunto de la forma {a,b}, de manera que {a,b} = {b,a}. Para los grafos, estos conjuntos pertenecen al conjunto potencia de V de cardinalidad 2, el cual se denota por mathcal P(V). Grafo dirigido Un grafo dirigido o digrafo es un grafo G = (V,E) donde: * Vneqemptyset * E subseteq {(a,b) in V times V: a neq b }, es un conjunto de pares ordenados de elementos de V,. Dada una arista (a,b), a es su nodo inicial y b su nodo final. Por definicin, los grafos dirigidos no contienen bucles. Un grafo mixto es aquel que se define con la capacidad de poder contener aristas dirigidas y no dirigidas. Tanto los grafos dirigidos como los no dirigidos son casos particulares de este. Conectividad en grafos

A diferencia de los conceptos anteriores, que afectaban a vrtices del grafo, la conectividad es una propiedad del grafo en su conjunto. Un grafo orientado puede ser conexo o fuertemente conexo. Un grafo orientado slo puede ser conexo. Ms concretamente, tenemos: Diremos que un grafo es conexo si existe al menos un ciclo entre toda pareja de vrtices. El concepto es aplicable tanto a grafos orientados como para no orientados: obsrvese que se ha definido ciclo tanto para grafos orientados como para no orientados. Diremos que un grafo orientado es fuertemente conexo si existe al menos un camino entre toda pareja de vrtices. Todo grafo orientado fuertemente conexo ser tambin conexo. Componentes de un grafo Un grafo (G) es un diagrama que consta de un conjunto de vrtices (V) y un conjunto de lados (L). A partir de esta figura se definen los siguientes elementos: vrtices(nodos) se indican por medio de un pequeo circulo y se les asigna un numero o letra. En el grafo anterior los vrtices son V={a,b,c,d}. Lados(ramas o aristas) Son las lneas que unen un vrtice con otro y se les asigna una letra, un numero o una combinacin de ambos. En el grafo anterior los lados son: L={1,2,3,4,5,6}. Lados paralelos Son aquellas aristas que tienen relacin con un mismo par de vrtices. En el grafo anterior los lados paralelos son: P={2,3}. Lazo Es aquella arista que sale de un vrtice y regresa al mismo vrtice. En el grafo anterior se tiene el lazo: A={6} Valencia de un vrtice Es el numero de lados que salen o entran a un vrtice. En el grafo anterior las valencias de los vrtices son: Valencia (a)=2 Valencia (b)=4 Valencia (c)=2 Valencia (d)=3 Hay que observar como en el caso del vrtice d el lazo solo se considera una vez, entrada o salida pero no ambos.

6.1.2 Tipos de grafos

Grafos simples Son aquellos grafos que no tienen lazos ni lados paralelos. Grafo completo de n verticales (kn ) Es el grafo en donde cada vrtice est relacionado con todos los dems sin lazos ni lados paralelos. Se indica como kn en donde n es el nmero de vrtices del grafo. La valencia en cada uno de los vrtices de los grafos completos es (n - 1), y el numero de lados esta dado por la expresin Nm. De lados = n(n - 1)/2, en donde n es el numero de vrtices del grafo. Complemento de un grafo (G ) Es el grafo que le falta al grafo G, de forma que entre ambos formas de grafo completo de n vrtices. Este grafo no tiene lazos ni ramas paralelas.

Grafo bipartido Es el grafo que esta compuesta por dos conjuntos de vrtices , A = {a1 ,a2, a3 ..., an } y B= {b1 ,b2 ,..., bm } en donde los elementos del conjunto B, pero entre los vrtices de un mismo conjunto no existe arista que los una. Una forma muy sencilla de saber si un grafo es bipartido es aplicar el hecho de que nunca tiene un ciclo de longitud impar, adems de que debe cumplir con la caracterstica mencionada anteriormente. Grafo bipartido completo (kn, m ) Es el grafo que esta compuesto por dos conjuntos de vrtices, uno de ellos A ={a1 ,a2, a3 ..., an } Y otro B= {b1 ,b2 ,..., bm ), y en el cada vrtice de A esta unido con todo los vrtices de B, pero entre los vrtices de un mismo conjunto no existe arista que los una. El grafo bipartido completo se indica como kn, m .

6.1.1 Componentes de un grafo (vrtices,flechas y nodo)

Un grafo (G) es un diagrama que consta de un conjunto de vrtices (V) y un conjunto de lados (L). A partir de esta figura se definen los siguientes elementos: vrtices(nodos) se indican por medio de un pequeo circulo y se les asigna un numero o letra. En el grafo anterior los vrtices son V={a,b,c,d}. Lados(ramas o aristas) son las lneas que unen un vrtice con otro y se les asigna una letra, un numero o una combinacin de ambos. En el grafo anterior los lados son: L={1,2,3,4,5,6}. Lados paralelos Son aquellas aristas que tienen relacin con un mismo par de vrtices. En el grafo anterior los lados paralelos son: P={2,3}. Lazo Es aquella arista que sale de un vrtice y regresa al mismo vrtice. En el grafo anterior se tiene el lazo: A={6} Valencia de un vrtice es el numero de lados que salen o entran a un vrtice. En el grafo anterior las valencias de los vrtices son: Valencia (a)=2 Valencia (b)=4 Valencia (c)=2 Valencia (d)=3 Hay que observar como en el caso del vrtice d el lazo solo se considera una vez, entrada o salida pero no ambos.

6.1.2 Tipos de grafos (Simples, completos, bipartidos)

Grafos simples Son aquellos grafos que no tienen lazos ni lados paralelos. Grafo completo de n verticales (kn ) Es el grafo en donde cada vrtice est relacionado con todos los dems sin lazos ni lados paralelos. Se indica como kn en donde n es el nmero de vrtices del grafo. La valencia en cada uno de los vrtices de los grafos completos es (n - 1), y el numero de lados esta dado por la expresin Nm. De lados = n(n - 1)2 en donde n es el numero de vrtices del grafo.

Complemento de un grafo (G ) Es el grafo que le falta al grafo G, de forma que entre ambos formas de grafo completo de n vrtices. Este grafo no tiene lazos ni ramas paralelas. Grafo bipartido Es el grafo que esta compuesta por dos conjuntos de vrtices , A = {a1 ,a2, a3 ..., an} y B = {b1 ,b2 ,..., bm } en donde los elementos del conjunto B, pero entre los vrtices de un mismo conjunto no existe arista que los una. Una forma muy sencilla de saber si un grafo es bipartido es aplicar el hecho de que nunca tiene un ciclo de longitud impar, adems de que debe cumplir con la caracterstica mencionada anteriormente. Grafo bipartido completo (kn, m ) Es el grafo que esta compuesto por dos conjuntos de vrtices, uno de ellos A ={a1 ,a2, a3 ..., an } Y otro B= {b1 ,b2 ,..., bm ), y en el cada vrtice de A esta unido con todo los vrtices de B, pero entre los vrtices de un mismo conjunto no existe arista que los una. El grafo bipartido completo se indica como kn, m .

Representacin matemtica del circuito - Nociones de teora de grafos

Para la representacin matemtica del esquema elctrico del circuito, y comprender la forma en que se expresan las ecuaciones de Kirchoff matricialmente, vamos a ver unas pocas definiciones de teora de grafos: 1) Grafo de un circuito: Llamamos grafo de un circuito al esquema obtenido reemplazando cada una de las ramas del circuito por una lnea y manteniendo la estructura de las conexiones.

2) Rama de un grafo: Para el anlisis que vamos a realizar, consideraremos una rama (lnea) por cada componente del circuito, aunque se encuentren en serie. 3) Nudo de un grafo: Llamamos nudo de un grafo a la interseccin de dos o ms ramas del grafo. 4) Incidencia: Una rama es incidente en un nudo si ese nudo es una extremidad de la rama considerada. 5) Grado de un nudo: El grado de un nudo ser el nmero de ramas incidentes en ese nudo. 6) Camino en un grafo: Un camino entre dos nudos i y j est constituido por una sucesin de ramas del grafo, a travs de las cuales se unen los dos nudos.

7) Malla de un grafo: Es un camino del grafo que une un nudo consigo mismo. 8) Arbol de un grafo: Es un conjunto de ramas del grafo que contiene a todos los nudos y no forma ninguna malla. Veamos un ejemplo:

Grafo de un circuito y dos posibles rboles

9) Eslabones y ramas de rbol: Las ramas del grafo que pertenecen al rbol se llaman ramas de rbol, y las restantes son eslabones, de forma que si se aade un eslabn al rbol se forma una malla. 10) Grafo orientado: Un grafo es orientado cuando a cada una de sus ramas se le atribuye un sentido, elegido de forma arbitraria. Este sentido representar la corriente de cada rama.

Grafos Conexos. Un grafo se puede definir como conexo si cualquier vrtice V pertenece al conjunto de vrtices y es alcanzable por algn otro. Otra definicin que dejara esto ms claro sera: "un grafo conexo es un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los une".

rboles. Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo tambin acclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en donde se puede notar que ninguno de los dos contiene repeticiones (ciclos). Bosques de rboles. Los bosques de rboles son un caso similar a los rboles, son acclicos, pero no son conexos. Como ejemplo tenemos la siguiente figura.

Para ver el grfico seleccione la opcin "Descargar" del men superior Recorrido de un grafo. Recorrer un grafo significa tratar de alcanzar todos los nodos que estn relacionados con uno que llamaremos nodo de salida. Existen bsicamente dos tcnicas para recorrer un grafo: el recorrido en anchura; y el recorrido en profundidad.

Recorrido en anchura: El recorrido en anchura supone recorrer el grafo, a partir de un nodo dado, en niveles, es decir, primero los que estn a una distancia de un arco del nodo de salida, despus los que estn a dos arcos de distancia, y as sucesivamente hasta alcanzar todos los nodos a los que se pudiese llegar desde el nodo salida.

Recorrido en profundidad: el recorrido en profundidad trata de buscar los caminos que parten desde el nodo de salida hasta que ya no es posible avanzar ms. Cuando ya no puede avanzarse ms sobre el camino elegido, se vuelve atrs en busca de caminos alternativos, que no se estudiaron previamente.

Representacin de grafos en programas. Hay tres maneras de representar un grafo en un programa: mediante matrices, mediante listas y mediante matrices dispersas.

Representacin mediante matrices: La forma ms fcil de guardar la informacin de los nodos es mediante la utilizacin de un vector que indexe los nodos, de manera que los arcos entre los nodos se pueden ver como relaciones entre los ndices. Esta relacin entre ndices se puede guardar en una matriz, que llamaremos de adyacencia.

Representacin mediante listas: En las listas de adyacencia lo que haremos ser guardar por cada nodo, adems de la informacin que pueda contener el propio nodo, una lista dinmica con los nodos a los que se puede acceder desde l. La informacin de los nodos se puede guardar en un vector, al igual que antes, o en otra lista dinmica.

Representacin mediante matrices dispersas: Para evitar uno de los problemas que tenamos con las listas de adyacencia, que era la dificultad de obtener las relaciones inversas, podemos utilizar las matrices dispersas, que contienen tanta informacin como las matrices de adyacencia, pero, en principio, no ocupan tanta memoria como las matrices, ya que al igual que en las listas de adyacencia, slo representaremos aquellos enlaces que existen en el grafo.

Dgrafo (grafo dirigido). A un grafo dirigido se le puede definir como un grafo que contiene aristas dirigidas, como en el siguiente caso.

Aplicaciones de los dgrafos Una de las aplicaciones mas importantes es de hallar el camino mas corto hacia un destino, ya sea de una ciudad a otra, de unos departamentos a otros, para el recorrido de rboles, sirve para la representacin de algoritmos, etc. Un ejemplo de esto es la tarea de frer un huevo. Grado de un grafo.

Grado de incidencia positivo: El grado de incidencia positivo de un nodonjes el nmero de arcos que tienen como nodo inicial anj. Ejemplo: El grado de incidencia de 1 es igual a 3. Grado de incidencia negativo: El grado de incidencia negativo de un nodonjes el nmero de arcos que terminan ennj. Ejemplo: El grado de incidencia negativo de 1 es igual a 1. Grado de un nodo: Paradigrafoses el grado de incidencia positivo menos el grado de incidencia negativo del nodo. Ejemplo: El grado de 1 es igual a 3 1 = 2, el grado del nodo 4 es 2 2 = 0. Para grafos no dirigidos es el nmero de lneas asociadas al nodo. Ciclo de un grafo.

Ciclo: Es una cadena finita donde el nodo inicial de la cadena coincide con el nodo terminal de la misma.

Ciclo simple: Es el ciclo que a su vez es una cadena simple. Estructuras no lineales: Grafos

Las estructuras de datos no lineales se caracterizan por no existir una relacin de adyacencia, entre sus elementos, es decir, un elemento puede estar relacionado con cero, uno o ms elementos. La estructura no lineal de datos ms general es el grafo donde sus nodos pueden relacionarse de cualquier manera sin una relacin de orden predefinida. Estructuras no lineales: Grafos Entre las mltiples aplicaciones que tienen estas estructuras podemos mencionar:Para modelar diversas situaciones tales como: sistemas de aeropuertos, flujo de trfico, y responder a preguntas como: Qu tiempo es ms corto?, Cmo es ms barato?, o Qu camino es ms corto?. Los grafos tambin son utilizados para realizar planificacin de actividades, tareas del computador, planificar operacionesen lenguaje de mquinas para minimizar tiempo de ejecucin.Qu tarea debo hacer primero?. Para representar circuitos elctricos, de aguas etc... , y preguntar, estn todas las componentes conectadas. Grafos Los grafos pueden ser utilizados como la estructura bsica para mltiples aplicaciones en el rea de la Computacin. Un grafo G (N, A, f) es un conjunto no vaco, donde:N={n1, n2,

... ,nM) es el conjunto de nodos o vrticesA={a1, a2, ..., a K} es el conjunto de aristas yLa funcin f : R indica los pares de nodos que estn relacionados.Grafos Dirigidos (Dgrafos) En estos grafos, las aristas que comunican dos nodos tienen un nico sentido, una arista puede ir de x a y, pero no de y a x. Se expresa grficamente con flechas que indican el sentido de la relacin entre cada par de nodos. GrafosGrafos no dirigidos En estos grafos, las aristas que comunican dos nodos tienen dos sentidos. Si una arista va de x a y, la misma arista va de y a x. Se expresa grficamente por lneas. La representacin grfica de un grafo se define con un crculo o rectngulo para los nodos y las relaciones con lneas o flechas segn sea un grafo no dirigido o un dgrafo, respectivamente. ANEXO Representacin de grafos Las representaciones de grafos ms habituales estn basadas en matrices de adyacencia y listas de adyacencia. En este ejercicio se pretende representar distintos grafos utilizando tanto matrices como listas de adyacencia. Apartado a) El plan de estudios de determinada titulacin se compone de 6 asignaturas, que por simplicidad, denominaremos y . A la hora de matricularse de las distintas asignaturas se ha de tener en cuenta una serie de dependencias entre ellas (prerrequisitos). De esta forma, un alumno no se puede matricular en una asignatura hasta haber aprobado aquellas otras que sean prerrequisito de dicha asignatura. Representaremos a continuacin los prerrequisitos del plan de estudios como un grafo dirigido de dependencias. Por ejemplo, un arco del nodo al nodo indica que no es posible matricularse de sin haber aprobado previamente . A continuacin se muestran las operaciones del TAD grafos necesarios para construir el grafo de dependencias. Para ver el grfico seleccione la opcin "Descargar" del men superior Teniendo en cuenta que una operacin de la forma Para ver el grfico seleccione la opcin "Descargar" del men superior aade al grafo Para ver el grfico seleccione la opcin "Descargar" del men superior un arco con origen en Para ver el grfico seleccione la opcin "Descargar" del men superior y destino en Para ver el grfico seleccione la opcin "Descargar" del men superior , se pide: Representar grficamente y mediante matrices de adyacencia cada uno de los grafos Para ver el grfico seleccione la opcin "Descargar" del men superior

Solucin propuesta: A continuacin se muestra la representacin grfica de los grafos. Para ver el grfico seleccione la opcin "Descargar" del men superior La representacin basada en matrices de adyacencia utiliza dos componentes. El primero es un conjunto que contiene los nodos del grafo. El segundo es una matriz booleana que representa los arcos. Existe un arco entre un nodo y otro si la posicin de fila y columna tiene el valor (representado por una ). Las casillas vacas tienen valor Para ver el grfico seleccione la opcin "Descargar" del men superior Apartado b) Una compaa telefnica desea realizar un estudio sobre las llamadas que realizan sus abonados. Para ello, se desea construir un grafo cuyos nodos son los abonados (identificados por su nmero de telfono). La existencia de un arco con origen en el nodo y destino en el nodo indica que el abonado ha llamado alguna vez al abonado . En este grafo se realizan tambin borrados cuando alguno de los abonados se da de baja de la compaa telefnica. A continuacin se muestra una serie de operaciones para la obtencin del grafo de llamadas entre usuarios: Se pide: Representar grficamente y mediante listas de adyacencia cada uno de los grafos , y .

Solucin propuesta: Para ver el grfico seleccione la opcin "Descargar" del men superior Apartado c)

Teniendo en cuenta que el conjunto de asignaturas del plan de estudios no vara (aunque si lo pueden hacer los prerrequisitos), es posible representar el grafo del apartado a) utilizando listas de adyacencia? Por qu?

Solucin propuesta: S. De hecho, la representacin basada en listas de adyacencia es ms general que la basada en matrices de adyacencia. Por tanto, como es posible representarlo utilizando matrices de adyacencia, tambin es posible representarlo utilizando listas de adyacencia.

Teniendo en cuenta que el conjunto de abonados vara continuamente y es infactible dar una cota mxima del nmero de abonados, sera posible representar el grafo del apartado b) utilizando matrices de adyacencia? Por qu?

Solucin propuesta: No, ya que no podemos fijar de antemano las dimensiones de la matriz de adyacencia ni tampoco el nombre de los nodos a que corresponde cada fila y columna de dicha matriz. Definicin: Una Red de Transporte es una grafica dirigida, simple, con pesos y que debe cumplir las siguientes:

Poseer una fuente o vrtice fijo que no tiene aristas de entrada. Poseer un sumidero o vrtice fijo que no tiene arista de salida El peso Cij de la arista dirigida de i a j llamado capacidad de ij es un numero no negativo.

Este es un ejemplo de una red que parte de un punto a que es un Muelle y llega a un punto z que es una refinera. Definicin: Sea G una red y sea Cij la capacidad de la arista dirigida (ij) se dice que un flujo F en G asigna a cada arista dirigida (ij) un numero no negativo Fij tal que debe cumplir:

Fij " Cij Para todos los vrtices que no sea fuente ni sumidero se cumple: ec 8.1.1 (esta es la ecuacin de conservacin de flujo) Teorema 1: Dado un flujo F en una red el flujo de salida de la fuente es igual al flujo de entrada del sumidero. FLUJO MXIMO: En una red G, el flujo mximo es un flujo mximo. Generalmente existen varios flujos con el mismo valor mximo. Para encontrar el flujo mximo consideraremos un flujo inicial en cada arista igual a cero, despus se determina un camino especfico de la fuente al sumidero y se incrementa el flujo. Si una arista esta dirigida hacia la fuente decimos que esta arista esta dirigida en forma impropia, en caso contrario esta dirigida en forma propia. Si se determina un camino P de la fuente al sumidero en donde cada arista de P esta orientada en forma propia y el flujo en cada arista es menor que la capacidad de la arista, es posible aumentar el valor de flujo. Es posible incrementar el flujo en ciertos caminos de la fuente al sumidero que tenga aristas orientadas en forma impropia y propia. Sea P un camino de a a z y sea x un vrtice en P que no sea a ni z

 Ambas aristas estn orientadas en forma propia, en este caso, si incrementamos el flujo en ", el flujo en la entrada en x seguir siendo igual al flujo de salida de x. Si incrementamos el flujo en e2 en ", debemos disminuir el flujo en e1 en " de modo que el flujo de entrada en x siga siendo igual al flujo de salida en x. Es anlogo en el caso b Disminuimos el flujo en ambas aristas en ". En cada caso las asignaciones resultantes de las aristas dan como resultado un flujo.
Para realizar estas alteraciones debemos tener un flujo menor que la capacidad en una arista orientada en forma propia y un flujo distinto de cero en una arista orientada en forma impropia. Teorema 2: Sea P un camino de a a z en una red G tal que:

Para cada arista (i,j) de P, orientada en forma propia.

Fij <Cij

Para cada arista (i,j) de P, orientada en forma impropia

0 <Fij Se define F'ij = Si no existieran caminos que concuerden con el teorema 2, el flujo es mximo, entonces se considera el algoritmo:

Iniciar con un flujo Buscar un camino que satisfaga con las condiciones del teorema 2 Si no existe el camino el flujo es mximo. Se incrementa el flujo en ", y se regresa a lnea 2.
A dicho algoritmo se le llama Algoritmo etiquetado. Problema 1: Para este ejemplo hemos usado una parte de la flota de la empresa multinacional ESSO. La planta de ESSO-Texaco para el aeropuerto internacional de El Salvador posee dos tanques que son capaces de contener 180,000 galones de combustible para avion jet. Ambas distribuidoras depositan combustible en los mismos tanques, la ESSO esta encargada de depositar en los tanques de las 23:30 a las 6:00 y de las 6:00 en adelante se recibe producto de Texaco. Los camiones de la ESSO salen de la base hacia la refinera a cargar combustible o si ya estn cargados, se dirigen directamente hacia la planta del aeropuerto a descargarlo. La siguiente red representa las posibles rutas que pueden tomar los camiones y sus respectivos tiempos:

Por medio del diagrama nos podemos dar cuenta que un camin que no esta cargado de combustible no puede partir mas tarde de las 23:30 y cargar combustible ya que llegara despus de las 5:00 y un camin tarda una hora en descargar todo su combustible, lo cual provocara que chocaran los horarios de los camiones ESSO con los horarios de los camiones de Texaco. Un camin ya cargado puede salir lo mas tarde a las 3:30 de la maana para llegar exactamente a las 5:00. Estas restricciones de tiempo se deben a que todos los camiones de ESSO tienen un limite de velocidad por seguridad que es de 70 kmh y los tiempos ya estn medidos. Problema 2: El problema dos que escogimos esta enfocado siempre a los camiones de la empresa ESSO, pero en este caso enfocado a la longitud de los trayectos. Para tener una idea ms amplia de lo que se habla, colocamos el siguiente mapa: El tiempo que se recorre en cada uno de los trayectos y los trayectos mismos se representan en la siguiente red:

Es evidente que el camino 2 es el mas adecuado por el tiempo que utiliza que es de 30 minutos menos que el camino 1. Teorema de flujo mximo y corte mnimo Tenemos una red G y tiene un flujo F al concluir nuestro algoritmo esto significa que algunos vrtices estn etiquetados y otros no. Sea P el conjunto de vrtices Etiquetados y ( no complementados) entonces la fuente a no esta en P y el sumidero z esta . El conjunto s de aristas (v,w) con v que pertenece a P y w que pertenece a , es un corte y la suma de las capacidades de las aristas s es la capacidad de cortes. Para el caso G es una red con una fuente a y un sumidero z luego la capacidad de las aristas i,j es Cij Un corte (P, ) donde el complemento de P es en G consta de un conjunto P de vrtices y de complementos a , donde a pertenece a P y z pertenece a . Teorema 3 Sea F un flujo en G y teniendo (P, ) un corte en G entonces la capacidad de este es mayor o igual que el valor de F; es decir Teorema 4 Siendo F un flujo en G sea (P, ) Un corte en G, si la igualdad se cumple en Un corte (P, ) donde el complemento de P es en G consta de un conjunto P de vrtices y de complementos a , donde a pertenece a P y z pertenece a . Entonces se dice que el flujo es mximo y el corte es mnimo. La igualdad se cumple s y solo s:

Fij =Cij Para i que pertenece a P, j pertenece a . Fij = 0 Para i que pertenece a , j pertenece a P.
Teorema 5

Cuando se concluye un algoritmo se produce un flujo mximo, si P (respectivamente, ) es el conjunto de vrtices etiquetados (respectivamente, no etiquetados) al concluir el algoritmo el corte (P, ) es mnimo. Redes de Petri Son graficas del procesamiento concurrente, es un mtodo para modelar y estudiar el procesamiento concurrente. Una red de Petr es un grafo dirigido bipartito, con un estado inicial, llamado marcacin inicial. Los dos componentes principales de la red de Petr son los sitios (tambin conocidos como estados) y lastransiciones. Grficamente, los sitios son dibujados como crculos y las transiciones como barras o rectngulos. Las aristas del grafo son conocidas como arcos. Estos tienen un peso especfico, el cual es indicado por un nmero entero positivo, y van de sitio a transicin y viceversa. Por simplicidad, el peso de los arcos no se indica cuando ste es igual a 1. Un arco que est etiquetado con k puede ser interpretado como k arcos paralelos.

Ejemplo de una Red de Petr Es una grafica dirigida G = (V, E) donde V = P U T y P "T = , cualquier arista e en E es incidente en un miembro de P y un miembro de T, el conjunto P es el conjunto de lugares y el conjunto T es en conjunto de Transiciones. Un marcado de una Red de Petr asigna a cada lugar un entero no negativo, una red de Petr con un marcado es una Red de Petr Marcada (o simplemente una Red de Petr). Con un marcado se asigna al valor no negativo n al lugar p, decimos que existen n elementos en p, mediante los elementos a representar son los puntos.

Los lugares representan condiciones, las transiciones representan eventos, y la presencia de al menos un elemento en un lugar (condicin) indica que tal condicin se cumple. Si una arista va del lugar p a la transicin t, decimos que p es un lugar de entrada para la transicin t. Un lugar de salida se define de manera anloga, si cada lugar de entrada de una transicin t tiene al menos un elemento, decimos que t esta activada. La descarga de una transicin elimina un elemento de cada lugar de entrada y agrega un elemento a cada lugar de salida. Una serie de descargas transforma un marcado M, en un marcado M', decimos que M' esalcanzable desde M.

Un evento puede ocurrir si y solo si se cumplen todas las condiciones para su ejecucin; es decir, la transicin se puede descargar solo si esta activada. Entre las propiedades ms comunes de Redes de Petr tenemos la Supervivencia y la Seguridad. LaSupervivencia se refiere a la ausencia de estancamientos, y la Seguridad se relaciona con la capacidad limitada de la memoria. Un marcado M de una red de Petr esta Vivo si, partiendo de M, sin importar la serie de descargas realizadas, es posible descargar cualquier transicin dada mediante alguna secuencia de descargas adicionales. Si un marcado M esta vivo para una Red de Petr P, entonces, sin importar la serie de descargas de transiciones, P nunca se estancara. De hecho, podemos descargar cualquier transicin mediante cierta secuencia de descargas adicionales. Un marcado M para una red de Petr esta acotado si existe algn entero positivo ncon la propiedad de que, en cualquier secuencia de descarga, ningn lugar recibe mas de n elementos. Si un marcado M, esta acotado y en cualquier secuencia de descarga ningn lugar recibe mas de un elemento, decimos que M es un marcado Seguro. Si cada lugar representa un registro capaz de guardar una palabra de computadora y si un marcado inicial es seguro, tenemos garantizado que no se exceder la capacidad de memoria de los registros. Problema 1: Este es un ejercicio aplicado a casi cualquier tipo de fila donde existe una sola lnea para atender a 100 personas o ms. Los tiempos de llegada de los clientes sern valores sucesivos de la variable aleatoria ta, los tiempos de servicio estn dados por la variable aleatoria ts, y N es el nmero de servidores. Este modelo en su estado inicial tiene la cola vaca y todos los servidores en estado de espera.

La red de Petr para este escenario se muestra en la siguiente figura: Los estados estn etiquetados con letras maysculas y las transiciones con minsculas. Las etiquetas de los sitios tambin sern usadas como las variables de cuyos valores son los tokens Las aristas tienen etiquetas que podran representar las funciones de transicin, las cuales especifican el nmero de tokens eliminados o agregados cuando una transicin es activada. El estado A inicialmente contiene la llegada de 100 clientes; el sitio B evita que los clientes entren ms de una vez; el sitio Q es la fila que realizan los clientes cuando tienen que esperar a que se les atienda. El estado S es donde los servidores ociosos esperan la oportunidad

para trabajar, y el sitio E cuenta el nmero de clientes que abandonan el sistema. El estado inicial implica que los sitios tengan los siguientes valores:

A = 100 B=1 Q=0 S=N E=0 La transicin a sirve para modelar a los clientes que entran al sistema y la transicin b modela a los clientes cuando estn siendo atendidos. Problema 2: La evaluacin de expresiones aritmticas puede ser descrita de forma sencilla desde redes de Petr. Ponemos un ejemplo practico con la expresin (a+b)X(c+d) puede ser caracterizada por la siguiente red de Petr, en la que los lugares representan operandos, las transiciones operadores y la existencia de un toen en un lugar denota la disponibilidad del valor del operando:

Problema 3: El proceso de prstamo de libros en la UAE tambin puede representarse con una Red de Petr de la siguiente manera:

Podemos notar que el lugar de libro disponible es el que delimita la cantidad de libros disponibles, por ejemplo si se tienen 5 ejemplares, lo marcaramos con 5. Conceptos

Red: Es un grafo dirigido formado por una fuente, un sumidero, aristas y nodos. Arista: Segmento de recta dirigido de un punto a otro. Nodo: Es el punto de interseccin de dos o ms aristas. Capacidad : En una red, es la capacidad mxima de una arista cualquiera. Sumidero (z): Es el punto de llegada del flujo total de una red. Fuente (a): Punto de partida del flujo total de la red. Conclusiones

El modelo de redes posee una gran aplicabilidad en muchos problemas de la vida cotidiana, en nuestra sociedad moderna es casi imprescindible para lograr una mayor eficiencia en casi cualquier tipo de flujo. Las Redes de Petr estn mas enfocadas a la optimizacin de procesos que pueden depender de otros al operar. En general puede observarse la importancia de los modelos matemticos para encontrar la solucin de infinidad de problemas.

Biografa
http://es.wikipedia.org/wiki/Teor%C3%ADa_de_grafos http://www.monografias.com/trabajos16/grafos/grafos.shtml#EULERIAN http://html.rincondelvago.com/modelos-de-redes.html