RBOLES MODELOS DE REDES Y REDES DE PETRI

Asignatura: Matemticas Computacionales

Elaborado por. Eduardo Martnez Lpez

Profr.Gabriel Flores Gonzlez

Atlacomulco, Edo de Mex, 20

ARBOLES
INTRODUCCIN
Los rboles forman una de las subclases de grficas que ms se utilizan. La ciencia de la computacin hace uso de los rboles ampliamente, especialmente para organizar y relacionar datos en una base de datos. Los rboles surgen en problemas tericos como el tiempo ptimo para ordenar.

TERMINOLOGA Y CARACTERIZACIN DE LOS RBOLES

Un rbol T (libre) es una grfica simple que satisface lo siguiente; si v y w son vrtices en T, existe una trayectoria simple nica de v a w. Se muestra un ejemplo:

Un rbol con raz es un rbol en el que un vrtice especfico se designa como raz, se presenta un ejemplo:

Como la trayectoria simple de la raz a cualquier vrtice dado es nica, cada vrtice esta en un nivel determinado de manera nica. As, el nivel de la raz es el nivel 0, los vrtices que estn debajo de la raz estn en el nivel 1, y as sucesivamente. Por lo tanto podemos decir que: el nivel de un vrtice v es la longitud de la trayectoria simple de la raz a v. La altura de un rbol con raz es el nmero mximo de nivel que ocurre. Ejemplo: Tomando como referencia el grfico del rbol con raz determine el nivel del vrtice a, b, g y determine tambin la altura del rbol.  Para el vrtice a su nivel es 0  Para el vrtice b su nivel es 1  Para el vrtice g su nivel es 2  La altura del rbol es de 2

RBOLES DE EXPANSIN
Un rbol T es un rbol de expansin de una grfica G si T es una subgrfica de G que contiene a todos los vrtices de G. Una grafica G tiene un rbol de expansin si y solo si G es conexa. El rbol de expansin para la grafica G que se presenta, se muestra con lnea seguida.

Existen dos mtodos para encontrar el rbol de expansin de una grafica G:  1. Por bsqueda a lo ancho: permite procesar todos los vrtices en un nivel dado antes de moverse al nivel ms alto que lo sigue; primero se selecciona un orden de los vrtices, considerando el primer vrtice de ese orden como raz.  2. Por bsqueda en profundidad: o conocido tambin como de regreso. Ejemplo  Utilice la bsqueda a profundidad con el orden h, g, f, e, d, c, b, a de los vrtices para determinar un rbol de expansin de la grafica G.  Tomado h como vrtice raz tenemos:

rboles de expansin mnimo

Un rbol de expansin comprende un grafo que posee nodos, arcos cada uno con longitud (peso) no negativa. Para encontrar el rbol de expansin mnima se debe recorrer todos los vrtices del rbol en el que la suma de los pesos de sus aristas sea mnima, no se incluyen ciclos en la solucin. Un rbol de expansin mnima de G es un rbol de expansin de G con peso mnimo.

Algoritmo de la ruta ms corta en un rbol

Se lo obtiene aplicando el algoritmo de Dijkstra, al recorrer el rbol se lo hace desde un Vo a un Vf por las aristas cuyos pesos sean menores y la suma del recorrido sea menor, no es necesario que se abarque todos los vrtices. Ejemplo:  Utilizando el algoritmo de la ruta ms corta.  Luego de haber recorrido las diferentes alternativas de la grfica propuesta en el texto bsico obtenemos como resultado la que Si realizamos la suma de sus pesos es de 35; sumatoria mnima.

RBOLES BINARIOS
Estn entre los tipos de rboles binarios especiales con raz, su caracterstica es que todo vrtice tiene cuando mucho dos hijos. Donde cada hijo se designa como un hijo izquierdo o un hijo derecho, adems, su posicin en el rbol los identifica. Formalizando se dice que un rbol binario es un rbol con raz en el que cada vrtice tiene ningn hijo, un hijo o dos hijos. Si el vrtice tiene un hijo se designa como un hijo izquierdo o como derecho (pero no ambos). Si un vrtice tiene dos hijos, un hijo se designa como hijo izquierdo y el otro como hijo derecho. Un rbol binario completo es un rbol binario en el que cada vrtice tiene dos o cero hijos. Ejemplo

La altura de este rbol es de 2.

RECORRIDO DE UN RBOL
Existen tres mtodos extras que permiten recorrer un rbol, ellos son: Recorrido pre orden: considera para el recorrido del rbol el siguiente orden (raz izquierda - derecha) Recorrido entre orden: considera para el recorrido del rbol el siguiente orden (izquierda -raz - derecha) Recorrido post orden: considera para el recorrido del rbol el siguiente orden (izquierda derecha - raz)

Respuesta:

PREORDEN: * - + A B - * C D / E F A ENTREORDEN: A + B C * D E / F * A POSTORDEN: A B + C D * E F / - - A *

ISOMORFISMOS DE RBOLES
Dos graficas simples G1 y G2 son isomorfas si y solo si existe una funcin f uno a uno y sobre del conjunto de vrtices de G1 al conjunto de vrtices de G2 que preserva la relacin de adyacencia en el sentido de que los vrtices vi y vj son adyacentes en G1 si y solo si los vrtices f(vi) y f(vj) son adyacentes en G2.

Existe isomorfismo porque:  f(a) = 1, f(b) = 3, f(c) = 2 , f(d) = 4, f(e) = 5

MODELOS DE REDES Y REDES DE PETRI

MODELOS DE REDES En un modelo de redes el objetivo consiste en maximizar el flujo del muelle a la refinera y calcular el valor de este flujo mximo.

INTRODUCCIN
En este captulo se estudian los modelos de redes, que usan grficas dirigidas, en esta seccin aprenderemos a maximizar el flujo a travs de una red. La red podra ser una red de transporte por la que fluyen bienes, una red de tuberas a travs de la cual fluye el petrleo, una red de computadoras a travs de la cual fluyen los datos, etc. En cada caso el problema consiste en determinar el flujo mximo. La maximizacin del flujo en una red es un problema que pertenece a la teora de grficas como a la investigacin de operaciones. Las redes de Petri modelan sistemas en los que el procesamiento puede ocurrir de manera concurrente. El modelo proporciona un marco de referencia para tratar cuestiones como la posible operacin de estancamiento en un sistema o el hecho de exceder la capacidad de los componentes de un sistema.

RED DE TRANSPORTE
Considerando la siguiente grfica dirigida (red de transporte), que representa una tubera de petrleo. El petrleo se descarga en el muelle a y se bombea por toda la red de la refinera z. Los vrtices b,c,d y e representan estaciones de bombeo intermedias. Las aristas dirigidas representan subtuberas del sistema y muestran la direccin en que puede fluir el petrleo. Las etiquetas de las aristas indican las capacidades de las subtuberas. El problema es encontrar la manera de maximizar el flujo del muelle a la refinera y calcular el valor de este flujo mximo.

Una red de transporte es una grafica dirigida, simple con pesos que satisface: a) Un vrtice fijo, designado como el origen o fuente, no tiene aristas de entrada. b) Un vrtice, designado como destino o sumidero, no tiene aristas salientes. c) El peso Cij de la arista dirigida (i, j) llamada capacidad de (i, j) es un nmero no negativo.

Si observamos la grfica, el origen es el vrtice a y el destino es el vrtices z. La capacidad de la arista (a, b), C_{a, b} es 3 y la capacidad de la arista (b, c), C_{b, c} es 2. Un flujo en una red asigna un flujo a cada arista dirigida que no excede la capacidad de esa arista. Ms aun, si se supone que el flujo que entra a un vrtice v, que no es el origen y el destino, es igual al flujo que sale de v. Ejemplo de red de transporte Tomado con referencia la grfica

Sea G una red de transporte. Sea C_{ij} la capacidad de la arista dirigida (i, j) . Un flujo F en G asigna a cada arista dirigida (i, j) un numero no negativo F_{ij} tal que: a. F_{ij} C_{ij} b. Para cada vrtice j, que no es la fuente ni el destino. Conservacin de flujo b

Conservacin de flujo F_{ij} recibe el nombre de flujo en la arista (i, j). Para cualquier vrtice j

Se llama flujo que entra a j y

Se llama flujo que sale de j.Conservacin de flujo significa para el ejemplo, que el petrleo no se usa ni se suministra en las estaciones de bombeo b, c, d y e. Ahora, vamos a definir un flujo para la red del ejemplo asignando los valores: F_{ab} = 2, F_{bc} = 2, F_{cz} = 3; F_{ad} = 3, F_{dc} = 1, F_{de} = 2, F_{ez} = 2 La grfica quedara,

Analizando, El flujo que entra al vrtice d F_{ad} = 3 y es el mismo que sale del vrtice d, F_{dc} + F_{de} = 1 + 2 = 3 Se debe considerar que una arista e se etiqueta x, y si la capacidad de e es x y el flujo en e es y. Observemos que el flujo que sale del origen (a) Fab + Fad, es igual al flujo que entra al destino (z) Fcz + Fez F_{ab} + F_{ad} = 2 + 3 = 5 F_{cz} + F_{ez} = 3 + 2 = 5 Ambos valores son iguales a 5; a este valor lo denominamos valor del flujo F. Sea F un flujo en una red G. el valor

Se llama el valor del flujo F.

ALGORITMO DE FLUJO MXIMO

Si G es una red de transporte, un flujo mximo en G es un flujo con valor mximo. Disear un algoritmo para determinar un valor mximo, consiste en iniciar con cierto flujo inicial e incrementar de manera interactiva el valor del flujo hasta que no pueda mejorarse ms. Podemos considerar un flujo inicial aquel en el que el flujo en cada arista es igual a cero. Para incrementar el valor de un flujo dado, debemos determinar un camino del origen al destino e incrementar el flujo a lo largo de este camino.

Notacin
G denota una red con origen a, destino z y capacidad C En principio denotaremos aristas no dirigidas (Camino) P = (V0, V1,., Vn) Vo = a, V = z Si una arista e en P est dirigida de Vi-1 a Vi decimos que est orientada en forma propia.

Si podemos determinar un camino P de la forma del origen al destino en donde cada arista P est orientada en forma propia y el flujo en cada arista es menor que la capacidad de la arista es posible aumentar el valor del flujo.

Uso del algoritmo para determinar el flujo mximo.

Dada la siguiente red de transporte:

Desarrollo:  Las lneas 1 y 2 del algoritmo, nos permite inicializar el flujo con 0 para cada una de las aristas de la red.

 Las lneas 5 al 9 del algoritmo, permiten etiquetar los vrtices como NULOS.  Las lneas 10 y 11 del algoritmo permite etiquetar el vrtice a como (-, ) que es un par o dupla de valores, donde el primer elemento identifica el vrtice predecesor o anterior y el segundo valor es el mnimo entre el incremento () y la diferencia dada por Cvw - Fvw, donde la red resultante es:

En la lnea 12 al conjunto U le aadimos el vrtice a en este caso (vrtice fuente o inicial). A continuacin la lnea 13, da inicio al ciclo WHILE, que permite etiquetar los vrtices que conectan las aristas que salen de a y al mismo tiempo elimina el

vrtice a de U, para nuestro caso las aristas (a, b) y (a, d) controlando que los vrtices b y d no estn etiquetados. Luego de etiquetar los vrtices anteriores, regresamos a la lnea 13 y repetimos el ciclo WHILE, pero esta vez tomamos el vrtice b y nos dirigimos a etiquetar el vrtice c que se conecta con la arista (b, c) y c no est etiquetado, se elimina el vrtice b y se aade el vrtice c a U. Regresamos a la lnea 13 y repetimos el ciclo WHILE, como el vrtice z no est etiquetado, tomamos cualquiera de los vrtices que se encuentran en U pero observando que con los vrtices que se conecta no se encuentren etiquetados, para nuestro caso tomamos el vrtice c y cumplimos los requisitos que nos pide el algoritmo en las lneas que hagamos referencia, para nuestro caso c se conecta con z y z no est etiquetado, dando como resultado lo siguiente:

Regresamos a la lnea 13, ciclo WHILE, pero como z est etiquetado, saltamos a la lnea 35, donde las lneas que le siguen nos permite determinar el conjunto P con el camino de los vrtices comenzando desde z hacia atrs hasta llegar a a, donde el camino est dado por: P = (a, b, c, z) En la lnea 43 del algoritmo hacemos = val(z) y asignamos el flujo a todas las aristas del camino identificado, conforme lo sealan las lneas del algoritmo que estn a continuacin de la lnea 43. La red con estos nuevos datos es la siguiente:

Luego de obtener este primer camino, regresamos al inicio del algoritmo o sea a la lnea 3 y volvemos a ejecutar las instrucciones como se lo hizo al inicio, con esto se determina otro camino y los flujos respectivos; pero hay que considerar que ahora algunas de las aristas ya tienen un flujo asignado por el anterior proceso.