AO DE LA INTEGRACIN NACIONAL Y RECONOCIMIENTO DE NUESTRA BIODIVERSIDAD

TERIA DE REDES Y GRAFOS

FACULTAD DE CIENCIAS ECONOMICAS ADMINISTRATIVAS Y CONTABLES

INTEGRANTES: JARAMILLO MORENO SANDRA IRIGOIN HERRERA CESIL MANAYAY GUEVARA CESAR MARCHAN FLORES ALEJANDRO MINGA JURES MISAEL DOCENTE: LIC. ADM. JUAN BRANCA
1

MNDEZ

GRAFOS GRAFOS

INTRODUCCIN Hoy en da podemos ver muchas cosas que nos pueden parecer de lo ms cotidianas, carreteras, lneas telefnicas, lneas de televisin por cable, el transporte colectivo metro, circuitos elctricos de nuestras casas, automviles, y tantas cosas ms; lo que no pensamos frecuentemente es que estos forman parte de algo que en matemticas se denomina como grafos y redes. En este traba o se tratar de e!plicar lo que es la "eora de #rafos y $edes sus tipos, y algunas derivaciones de ellos, as como su representacin grfica. En este traba o, se e!plica de manera muy sencilla los conceptos y algunas metodologas con un lengua e no tan rebuscado para su mayor entendimiento.

De !"#$%&!#
%edicamos este traba o de investigacin a nuestros padres por acompa&arnos en cada una de las acciones que hemos emprendido en este via e hacia el saber y no menos importante a su apoyo constante e incondicional que da a da nos alientan hacia el logro de nuestras metas. ' nuestro profesor gua que por su e!periencia nos ha ido orientando con sus ense&an(as e instrucciones durante el desarrollo de nuestra traba o y a su arduo seguimiento para con nosotros en la me ora del mencionado libro. ) aquellas personas que con su espritu de servir nos dedicaron su valioso tiempo y su apoyo desinteresado hacia nuestra persona.

A'&# e"!(!e)$%
Cuando comenzamos a escribir estas cortas lneas de agradecimiento pensamos que por descuido nuestro podramos de ar a alguien importante !uera de la menci"n# por eso $a pedimos las disculpas correspondientes en caso que suceda% Antes que a todos queremos agradecer a &ios por darnos las !uerzas necesarias en los momentos en que m's necesitamos $ por bendecirnos con la posibilidad de caminar a su lado durante toda nuestra (ida% )ueremos tambi*n agradecer a nuestro docente +ic% Adm% ,uan -ranca .*ndez por guiarnos en el transcurso del traba o $ /acia su correcto desarrollo del mismo# especialmente por sus conse os durante el tiempo en que duro el pro$ecto% A todos $ cada uno de los integrantes participes de esta gran responsabilidad que sin su sinergia no /abra podido ser este /umilde traba o%

INDICE DE T*TULOS

GRAFOS *. +ntroduccin ,. %efiniciones -asicas .. /one!idad. /lausura "ransitiva 0. 1ultiplicacin 2atina 3 /amino Hamiltoniano ES+UELETOS Y CAMINOS O,TIMALES *. 1edida de cone!in de grafos ,. Esqueletos optimales .. /aminos optimales 4 /amino mnimo REDES - FLUJOS *. /orte mnimo 4 flu o m!imo ,. -ases 5ara la /onstruccin de un 6lu o 1!imo .. 'lgoritmo de 6lu o 1!imo

GRAFOS
.. INTRODUCCIN

El nacimiento del concepto #$'678 se puede situar, por el a&o *9.:, cuando Euler ;matemtico< se convirti en el padre de la "eora de #rafos al modelar un famoso problema no resuelto, llamado el =problema de los puentes de >?nigsberg=. @n ro con dos islas atraviesa la ciudad. 2as islas estn unidas, entre si y con las orillas, a travs de siete puentes. El problema consista en establecer un recorrido que pasara una y solo una ve( por cada uno de los siete puentes, partiendo de cualquier punto y regresando al mismo lugar. 5ara probar que no era posible, Euler sustituy cada (ona de partida por un punto y cada puente por un arco, creando as un grafo, el primer grafo, dise&ado para resolver un problema. 1ostrar que el problema no tiene solucin equivale a mostrar que el grafo no puede ser recorrido segAn criterios determinados. 5roblema genricoB dado un grafo ;con mAltiples lneas entre pares de puntos< encontrar un camino que recorra el grafo pasando por cada arista e!actamente una ve(. 8olucinB El grafo debe ser cone!o, y en cada punto deben incidir un nAmero par de lneas. Esta condicin es suficiente para definir lo que se llama un ciclo euleriano. ' partir de Euler el modelado mediante grafos fue
2

desarrollando esta metodologa hasta convertirse en la actualidad, en una herramienta de traba o para ciencias tan diferentes como la 6sica, la Cumica, la 8icosociologa, la Economa, la 2ingDstica, etc. 2a teora de grafos est ntimamente relacionada con varias ramas de la 1atemticas como por e emplo la "eora de /on untos, el 'nlisis Eumrico, 5robabilidad, "opologa, etc. y es la base conceptual en el tratamiento de problemas combinatorios. 2a eficacia de los grafos se basa en su gran podero de abstraccin y la muy clara representacin de cualquier relacin ;de orden, precedencia, etc< lo que facilita enormemente tanto la fase de modelado como de resolucin del problema. #racias a la "eora de #rafos se han desarrollado una gran variedad de algoritmos y mtodos de resolucin eficaces que nos permiten tomar una me or decisin. Eo se debe confundir el grafo con el sistema real al que est asociado. El grafo es una estructura que admitimos adecuada en lo concerniente a las propiedades que nos interesan, donde luego aplicamos las deducciones y reglas matemticas para obtener datos y poder decidir. @na aplicacin frecuente de la teora de grafos es la del mtodo de camino hamiltoniano ptimo para decidir el camino a seguir por un cobrador, de tal modo de economi(ar sus energas, las suelas de sus (apatos y su bolsillo. El ob etivo es hallar un camino que pase por todas las casas una y solo una ve( y que nos d el costo menor en distancia. %icho de otro modo, se deben buscar las permutaciones de las casas de forma tal que la distancia recorrida total sea mnima. 8e conoce la distancia entre cada par de casas, segAn si las calles son flechadas o
3

no se orientarn o no las cone!iones entre pares de casas. 7bsrvese que si se hicieran todas las permutaciones, suponiendo un caso muy reducido de die( casas, se tendran ms de . millones de permutaciones ;*:F<. 8i cada casa es representada por un vrtice y cada camino entre par de casas por una arista ponderada por la distancia mnima entre pares de casas, tendremos un grafo completo y simtrico ;cuando no hay calles flechadas<. El problema se reduce entonces, a obtener un camino hamiltoniano ptimo. "odo algoritmo conocido para encontrar ciclos hamiltonianos requiere al menos un tiempo e!ponencial de clculo, o factorial en el peor de los casos. O$&% e/e(01%: para el que grafos provee un natural modelo matemticoB 8upongamos que el siguiente grafo representa una red de lneas de telfonos ;o de comunicaciones<. Estamos interesados en la vulnerabilidad respecto a interrupciones accidentales. ,&%21e(# .: identificar esas lneas y centros de cone!iones que deben permanecer en servicio para evitar la descone!in de la red. Eo e!iste ninguna lnea que eliminada a desconecte el grafo ;red<, pero hay un vrtice, el vrtice d, cuya desaparicin ;ruptura< desconecta el grafo.

,&%21e(# 3: encontrar un con unto minimal de aristas necesarias para conectar los G vrtices. Hay varios con untos mnimos posibles. @no de ellos es el con unto minimalB H;a,b<,;b,c<,;c,d<,;d,e<,;d,f<I. 5odemos enunciar el siguiente resultado generalB dado un grafo # de n vrtices, el con unto mnimo de cone!in de # ;si e!iste< siempre tiene n4* aristas.

3. De4!)!"!%)e5 B65!"#5 G&#4%: @n grafo # es una dupla # J ;K, @<, donde K es un con unto finito y no vaco de elementos llamados vrtices y @ es el con unto cuyos elementos se componen de subcon untos de K de cardinalidad dos ;,<, llamados aristas. 2os vrtices de K se llaman usualmente K *, K,, K.,..., Kn y se representan como puntos, las aristas se dibu an como lneas. G&#4% %&!e)$# %: @n grafo #L es orientado, cuando sus aristas tienen asignadas direcciones, o sea cuando e!iste una relacin de precedencia entre los elementos. 8us puntos se llaman nodos, y sus lneas arcos. En estos casos @ es una familia de pares ordenados resultantes del producto cartesiano de K.

E/e(01%:

#L J ;HK*, K,, K.I, H;K*, K,<, ;K., K*<, ;K., K,<I<.

En realidad, no e!isten dos especies de grafos, orientados y no orientados, sino que todos los grafos son orientados, pero por ra(ones conceptuales, es poco cmodo considerar las lneas orientadas para los problemas de
15

naturale(a no orientada. /ada ve( que apliquemos un concepto orientado en un grafo # J ;K, @< ese concepto deber ser considerado como aplicable de hecho, en un grafo orientado #L al que le corresponde la orientacin en los dos sentidos de cada arista. O& e) es el nAmero de vrtices del grafo, el cardinal del con unto K de vrticesB MKM

A&"%5 !)"! e)$e5 # 7) )% %

8i un vrtice ! es e!tremidad inicial de un arco u J ;!,y< y ! y, diremos que el arco es incidente a ! hacia el e!terior.

El nAmero de los arcos incidentes hacia el e!terior se llama semigrado e!terior de ! y se nota %e igual forma se define arco incidente a ! hacia el interior y semigrado interior de !. Este Altimo se nota como

G&# % e 89 es la suma del semigrado e!terior e interior de !. 7 sea, es el nAmero de arcos con una e!tremidad en !.

8i todos los vrtices tienen el mismo grado, el grafo al que pertenecen se llama grafo regular. 3... Re"%&&! % e '&#4%5.

C# e)# ;concepto no orientado<B Es una secuencia de aristas de #, tal que cada arista de la secuencia tiene un e!tremo comAn con el arco precedente y otra con el siguiente. L#&'% e 7)# "# e)#, es el nAmero de aristas de la secuencia.
11

C# e)# e1e(e)$#19 es aquella que no repite vrtices. C# e)# 5!(01e9 es aquella que no repite aristas. C#(!)% :"%)"e0$% %&!e)$# %; Es una cadena N J Hu*, todo

u,,..., uqI

en la que para

ui

;con i Oq< el e!tremo terminal de ui coincide con .

el e!tremo inicial de

2as definiciones de largo de un camino, camino elemental y camino simple son anlogas a las de cadenas, con la salvedad de la orientacin. Se) e&%9 es un camino elemental ;que no repite nodos<. Pa, es un camino cuyos arcos se pueden recorrer en su sentido directo o contrario. E/e(01%: 5roblema del camino entre dos puntos. El siguiente es un e emplo de cmo modelar una porcin del universo, su problemtica y como resolverla. 8upongamos que un hombre debe pasar a la otra orilla de un ro llevando consigo una ove a, un repollo y un lobo. El inconveniente que se le plantea es que slo puede cru(ar con uno de ellos a la ve( y sospecha que si de a solos a la ove a con la repollo con el lobo, la ove a se comer al repollo el lobo se comer a la ove a. "eniendo en cuenta estas restricciones, el su eto dibu a sobre la arena de la orilla un grafo y aplicando alguna heurstica o algAn algoritmo conocido, encuentra el camino que debe seguir para llegar a la otra orilla con su carga intacta. U$!1!"e e1 5!'7!e)$e 0&%"e !(!e)$%: %ibu a el grafoB E!isten 0 elementos que situaciones en cada orilla, ellos sonB H 4 Hombre / 4 $epollo 2 4 2obo una determinan las

7 4 7ve a de las orillas

*< Enumera las situaciones en comen(ando por H, /, 2, 7. ,< 2uego las ordena considerandoB

a< se encuentra el hombre en esa orilla o noB H vs no H. b< pasa e o secuencia de una situacin a otra. ;obs. que no se puede pasar de una situacin en la que est el
12

hombre a otra en la que tambin est< .< 5or Altimo busca en el grafo un camino del estado inicial al estado final.

3.3. C1#5!4!"#"!<) De G&#4%5 M71$!'&#4%9 es un grafo no orientado con mAltiples aristas entre pares de nodos. G&#4 % 5!(01e9 es un grafo sin bucles, sin mAltiples aristas entre pares de vrtices. G&#4 % "%(01e$% 5ara todo par de vrtices de #, e!iste por lo menos una arista que los une. 5or lo tanto, un grafo completo de n vrtices es aquel que tiene sus n vrtices mutuamente adyacentes.

)="1!>7e, es un grafo completo simple de n vrtices. 8e nota

>n .

S72'&#4% e G ? :@9 U; e)'e) &# % 0%& e1 "%)/7)$% A @ , es un grafo cuyos vrtices pertenecen al con unto ' y cuyas aristas son aquellas de # que tienen las dos e!tremidades en '. G&#4 % 0#&"!#1 e G ? :@9U; e)'e) &# % 0%& V U , es el grafo #Q J ;K,P< cuyos vrtices son los mismos de # y cuyas aristas son las que conforman el con unto P @.

13

8ubgrafo parcial de #, es un subgrafo de un grafo parcial de #.

G&#4 % 2!0#&$!$%, es un grafo cuyo con unto de vrtices puede ser particionado en dos clases K* y K, de tal forma que dos vrtices de la misma clase no sean ams adyacentes. 8e nota # J ;K*, K,, @<

G&#4% 2!0#&$!$% "%(01e$%, es aquel en el que para todo elemento de K* y todo elemento de K, e!iste por lo menos un arco que los liga. @n grafo simple bipartito completo con p elementos en K* y q elementos en K, se nota >p,q. G&#4% Re'71#&9 es aquel en el que todos sus vrtices tienen el mismo grado. G&#4 % ,%) e&# % # J ;K, @, R< donde ;K, @,< es un grafo y R es una funcin .

8i u

U, S ;u< es llamado el peso de la arista u. Estos pesos

corresponden, segAn la aplicacin, a costos, capacidades u otras propiedades de las aristas o arcos.

14

/uando se desea asignar valores negativos o reales a los pesos de las aristas, se debe tener especial cuidado en la eleccin de los algoritmos ya que la correctitud de los mismos puede depender de la restriccin a .

G&#4% C%)e8%, es aquel en el que para cada par de vrtices de #, e!iste una cadena que los une. E) '&#4%5 %&!e)$# %5 5e e4!)e) 3 "%)"e0$%5

#; DA2!1(e)$e "%)e8%: si e!iste una cadena ;sin tener en cuenta la orientacin< que une cada par de nodos distintos. 2; F7e&$e(e)$e "%)e8%: si para cada par ordenado de nodos x e y, e!iste un camino que va de x a y. @na componente cone!a de un grafo #, es un subgrafo de # engendrado por los vrtices que pueden unirse a un vrtice !i dado, mediante una cadena ;puede ser todo el grafo #<. 3.B. C!"1%5 C C!&"7!$%5 /iclo, es una cadena simple, cuyos dos vrtices e!tremos, inicial y terminal, coinciden ;no tiene en cuenta la orientacin<. 8i queremos describir la orientacin en un ciclo designamos comoB

C!"1% e1e(e)$#19 es un ciclo donde no se repite ningAn vrtice ;salvo el primero que coincide con el Altimo<. 2o notamos ,&%0!e # . .B "odo ciclo es una suma de ciclos

elementales sin aristas comunes. ,&%0!e # 3: @n ciclo es elemental si y solo si es un ciclo minimal ;es decir que no se pueden deducir otros ciclos por supresin de aristas<.
10

Se7 %"!"1%9 es una cadena donde los e!tremos coinciden pero que una misma arista puede figurar ms de una ve( ;tambin consecutivamente<. C%"!"1% e1 "%)/7)$% e DA&$!"e5 A , es el con unto de aristas incidentes a TA, del tipo I(A) no vaco y particionado en dos clases y .

C!"1% E71e&!#)% es aquel que incluye todas las aristas del grafo una sola ve(, conteniendo cada vrtice por lo menos una ve(. C# e)# E71e&!#)#, es aquella que recorre todas las aristas una sola ve( ;Jsimple< tocando todos los vrtices del grafo. "odo multigrafo que posee un ciclo Euleriano es cone!o y todos sus vrtices tienen grado par. ' partir del siguiente e emplo daremos una idea del mecanismo utili(ado por Euler para demostrar que la cone!idad y el grado par de todos los vrtices de un multigrafo, son condiciones necesarias y suficientes para garanti(ar la e!istencia de un ciclo Euleriano. "enemos este grafo que es cone!o y sus vrtices tienen grado par.

11

:< 5rimero se comien(a por tra(ar un camino simple desde un vrtice, p. e a. 8upongamos que recorremos ad-j-n-o-k-l-h-f-e-b-a. Polvimos a a.

2a propiedad del grado par, significa que siempre podemos abandonar cada vrtice al que entramos, e!cepto a. Es decir que cualquier cadena que tracemos desde a debe volver a ', formando un ciclo.

,< 2as restantes aristas del grafo inicial , conforman un grafo no cone!o, pero todos sus vrtices mantienen el grado par, ya que al retirar el ciclo encontrado, se redu o cada grado en una cantidad par . /ada subgrafo cone!o posee un ciclo EulerianoB d3c3i3 3U3e3 d y h3g3m3h. .< Estos dos ciclos pueden ser insertados en el ciclo encontrado en ,< en los vrtices comunes d y h respectivamente, originando un ciclo Euleriano a3d3c3i3 3U3e3 d3 3n3o3U3l3h3g3m3h3f3e3b3a, en el grafo original. Te%&e(# E..: @n multigrafo ;no orientado< # J ;K,@< posee un ciclo Euleriano sii # es cone!o y todos sus vrtices son de grado par. @na /adena Euleriana es una cadena que recorre todas las aristas del grafo una sola ve( incluyendo todos los vrtices. C%&%1#&!% E.3: @n multigrafo posee una cadena Euleriana, si es cone!o y tiene e!actamente dos vrtices
12

de grado impar. 8e puede demostrar observando lo que sucede al agregarle una arista cuyas e!tremidades sean los dos vrtices de grado impar. El concepto de ciclo Euleriano es utili(ado en la planificacin de redes de alta tensin entre varias ciudades.

3.E. &2%1e5 C A1'%&!$(%5 e BF5>7e # $efirindonos al concepto de grafo no orientado en el estudio de grafos finitos, se introduce el concepto de un tipo especial de grafo, usado en una vasta variedad de aplicaciones. &2%19 es un grafo finito, cone!o, sin ciclos y con por lo menos , vrtices.

B%5>7e9 es un grafo donde cada componente cone!a es un rbol, es decir es un con unto de rboles no cone!os entre s. 'dems es un grafo sin ciclos por estar compuesto por rboles.

A&2%&e5"e)"!#9 es un rbol dirigido con un nodo llamado ra(, tal que e!iste un Anico camino desde la ra( a cualquier otro nodo del rbol. Ese camino es elemental y simple.

13

,&%0%5!"!<): Una arborecencia posee una sola raz. Es importante notar que la definicin de arborecencia es vlida para un rbol no orientado, ya que, cualquier vrtice del rbol puede ser ra( y adems un rbol no posee ciclos. 'l determinar una ra(, se determina la e!istencia de una sola cadena que conecta la ra( con cada uno de todos los vrtices restantes. Entonces, un rbol lo puedo convertir en arborecencia tomando cualquier vrtice como ra( y asignandole direcciones a las aristas desde el nodo ra(. 5or lo tanto, designaremos como rbol, indistintamente a un rbol o arborecencia.

2a manera standard de dibu ar una arborecencia es colocando la ra( a en la cima de la figura. 's podemos definirle niveles a los vrtices del grafo ;la ra( tiene nivel :<. El )F(e&% #5!')# % #1 )!De1 de un vrtice ! del rbol ;" J ;K, @<< corresponde al largo de la cadena ;Anico, elemental< que une a r con !. 8e llama 0# &e de un vrtice !, al vrtice y, pr!imo anterior a ! en la cadena elemental y simple que va de la ra( a !,
14

siendo ! G!/% de y dos vrtices con el mismo padre se llaman Ge&(#)%5. 2a relacin padre3hi o se e!tiende a #5"e) !e)$e C e5"e) !e)$e5 de un vrtice !. 'dems cada vrtice ! de " es la ra( de un subrbol de ! y sus descendientes. 2os vrtices sin hi os se llaman G%/#5, y todos los otros vrtices que tengan hi os se llaman DA&$!"e5 !)$e&)%5 de ". " se llama 6&2%1 (=#&!%9 5i cada vrtice interno del rbol ;arborecencia< " tiene m hi os . En particular si m J ,, " es un 6&2%1 2!)#&!%.

E/e(01%5:

Te%&e(# T..: Un rbol con n vr ices iene n-! aris as. A1$7&# e 7) 6&2%1 :% #&2%&e"e)"!#; , es el n"#ero de aris as del ca#ino #s largo$ es decir$ el n"#ero de nivel #s al o de cual%uier vr ice. &2%1 2#1#)"e# %, es a%uel rbol de al ura h$ en el cual odas sus hojas se encuen ran en el nivel h & h-!. 'er el eje#plo an erior en el %ue la can idad de co#paraciones a reali(ar se #ini#i(a. 2os rboles se utili(an tambin en muchas aplicaciones para verificar la conectividad, o la cantidad de ocurrencias de ciclos o subgrafos completos, en la bAsqueda de esas propiedades o estructuras, muchos algoritmos utili(an lo que llamamos un esqueleto o rbol de cubrimiento. E5>7e1e$% % 6&2%1 e "72&!(!e)$% :50#))!)' $&ee; e 7) '&#4% G: es un subgrafo %ue es un rbol y %ue con iene odos los vr ices de ). El esqueleto de un grafo puede ser construido ya sea por -Asqueda 5rimero en 5rofundidadB -55 : e0$G =4!&5$ 5e#&"GB DFS; o por -Asqueda
25

5rimero a lo 'nchoB -5' :2&e# $G=4!&5$=5e#&"GB BFS;.

@sando B,, :% DFS;, se toma algAn vrtice como ra( y se comien(a a construir una cadena desde la ra(. 2a cadena continAa hasta que no se puede continuar ms aba o sin repetir un vrtice que ya est en la cadena. El vrtice donde esa cadena debe terminar es una ho a. Entonces se vuelve atrs ;bacUtracU<, se retrocede un nivel al padre de esa ho a, y se trata de construir una cadena desde ese padre en otra direccin u otro vrtice no incluido en la cadena anterior, y as sucesivamente...

@sando B,A :% BFS;9 se toma cualquier vrtice ! como ra(, insertando en la cadena todas las aristas incidentes a ese !. 2uego, sucesivamente, se van agregando las aristas incidentes
21

a los nodos adyacentes a !, siempre que no estn incluidos en la cadena que estamos construyendo, hasta que todos los nodos hayan sido visitados. Es !(0%&$#)$e notar que si el grafo no es cone!o, entonces no e!iste ningAn esqueleto que lo recorra. A1'%&!$(% 0#&# De&!4!"#& >7e 7) '&#4% e5 "%)e8% *. @se -55 ;o -5'< para tratar de construir un esqueleto del grafo. ,. 8i todos los vrtices del rbol son alcan(ados en la bAsqueda, entonces se ha encontrado un esqueleto del grafo y por lo tanto el grafo es cone!o. .. 8i la bAsqueda no recorri todos los vrtices, entonces el grafo no es cone!o.

B. C%)e8! # . C1#757&# T&#)5!$!D#. @n grafo se puede representar para su manipulacin de las siguientes manerasB a< #rficamente. 1ediante puntos que representan los nodos y lneas que representan las aristas del grafo. b< Eotacin de con untos. )a sea por e!tensin ;enumerando vrtices y aristas< o por comprensin. c< Estructuras de datos, como por e emplo listas encadenadas, stacUs, etc. d< 1atrices B... Re0&e5e)$#"!<) M#$&!"!#1

@na relacin binaria en un con unto K finitoB K J H!*, !,,..., !nI, MKM J n, es el subcon unto $ J H;!i,! <; !i $ ! I, compuesto por el con unto de pares ordenados resultantes del producto cartesiano de K!K. 8i ;!i,! < V $, decimos que ! esta relacionado con !i y notamos !i $ ! . 2a relacin $ puede ser representada como una matri( n!n cuyos elementos sonB

22

5odemos afirmar que todo grafo # es orientado, por lo que e!iste una relacin binaria entre pares de elementos de # J;K,@<, que es la relacin de # C#"e)"!# A. Entonces, dado un grafo #J;K,@<, de orden n, se puede representar la relacin de adyacencia , mediante una matri( , llamada (#$&!H e # C#"e)"!# de #, definida por

Es importante observar que en un grafo no orientado la relacin de adyacencia es simtrica y por lo tanto tambin lo ser su matri( asociada, ya que en el momento del almacenamiento solamente es necesario tratar la mitad de la matri(.

En aquellas aplicaciones en las que intervienen costos o propiedades propias de la relacin entre los elementos del sistema, estamos ante un #rafo 5onderadoB #J;K,@,R< En estos casos la matri( de adyacencia se define comoB

Esta matri( es booleana solamente

en

aquellos

casos

en
23

que S;u< J *, para toda arista u. El concepto bsico en grafos es el de relacin binaria, ya que una relacin binaria puede ser una relacin de equivalencia, la que particiona al con unto K de vrtices en clases de equivalencias. @na relacin binaria es una relacin de equivalencia cuando esB *< $efle!iva. ! J ! ,< 8imtrica. ! J y entonces y J ! .< "ransitiva. ! J y, y J ( entonces ! J ( Estas tres propiedades asociadas a KJH!i ; *JiJnI, significan queB un grafo # J ;K,@<,

Ki JJ ! si !i J ! o si e!iste algAn camino de !i a ! y de ! a !i.

De4!)!"!<): @n grafo o subgrafo es fuertemente cone!o, si "oda relacin de equivalencia particiona al con unto K en clases de equivalencias KiJ H!i*, ... !ipI que llamaremos componentes fuertemente cone!as del grafo #. 5or lo tanto, cada componente fuertemente cone!a de un grafo # es un subgrafo fuertemente cone!o, #iJ;Ki,@i<, del grafo #. Eotar que la cone!idad est muy relacionada a la e!istencia de caminos, e!istencia que se puede verificar mediante la propiedad transitiva. %efinicin @na relacin $ es transitiva, en un con unto K,

'hora bien la relacin de adyacencia ', no siempre es transitiva, obsrvese el siguiente e emplo donde !i ' ! , ! ' !U
24

no implica que !i ' !U.

+ntroducimos entonces el concepto de clausura transitiva o alcance de la relacin ' en el con unto K. B.B.3 C1#757&# T&#)5!$!D#9 M#$&!H e A1"#)"e

%efinicinB 2a clausura transitiva de una relacin ' en el con unto K es la relacin " definida porB

O25e&D#"!<): 2a clausura transitiva de una relacin ', es la relacin ' en s misma. 8i ' es la relacin de adyacencia en K, entonces la /lausura "ransitiva en K es la $elacin de 'lcance definida porB /i, J camino que va de !i a

K es alcan(able desde !i, o que ! pertenece a la /lausura transitiva de !i, lo notamos

2a relacin de alcance es una relacin transitiva y cuando adems cumple con las propiedades de simetra y refle!ividad, es una relacin de equivalencia que particiona a K
20

en clases de equivalencia /ada clase corresponde a una componente cone!a del grafo. Es decir que se pueden determinar la componentes fuertemente cone!as del grafo calculando la clausura transitiva en el con unto K de nodos.

L# &e1#"!<)

e #1"#)"e 5e &e0&e5e)$# (#$&!"!#1(e)$e. una

De4!)!"!<): 2a matri( de alcance es matri(

2a que indica la e!istencia de caminos entre pares de nodos y se obtiene calculando la potencia booleana de la matri( de adyacencia '. %efinicinB 1atri( de potencias boolena de ' es la matri( ' ;p< con p W :

Te%&e(# :M#$&!H e la matri( booleana de la

#1"#)"e;: 8ea relacin de 'dyacencia

21

en un grafo # de orden n entonces 2a e!periencia indica que alcan(a con calcular " J ;+ P'<;n3*< 8i al calcular ", ti J * !i en K, entonces el grafo # es fuertemente cone!o, o sea que !i, ! e!iste un camino de !i a ! . En caso contrario, si ti J : para algAn par !i, ! , ! no es alcan(able desde !i pudiendose diferenciar las distintas componentes fuertemente cone!as de #, clasificando grupos de nodos equivalente como aquellos que son alcan(ables entre s. 8i los nodos del grafo estn ordenados por componentes, cada una de ellas se va a caracteri(ar por un bloque o submatri( cuadrada de *s en la diagonal de la matri( ". En estos casos se dice que la matri( " es triangular por bloques, es decir que est compuesta por bloques cuadrados dispuestos en la diagonal. J75$!4!"#"!<) e1 Te%&e(#

2a suma booleana de todas las potencias posibles de la matri( de 'dyacencia ', implica un clculo poco cmodo, entonces usamos el siguiente lema. 2ema *B 8ea un grafo # de orden n, si /i simple y elemental entonces ;/i < es a lo sumo n 3*. ;2os otros caminos no interesan<. De(%5$&#"!<)

22

Le(# 3

TRIANGULARIZACIN ,OR BLO+UES 5ara una me or manipulacin de las componentes fuertemente cone!as y para una me or distincin de las mismas, se triangulari(a la matri( de alcance ". 8e define una nueva base mediante un reordenamiento de los nodos, permutando las filas y columnas de ". 8iendo " la matri( del sistema de ecuaciones "! J b, debo transformar este sistema a otro equivalente con otra base que llamar C!. Entonces construyo una matri( C, tal que C"CtC! J Cb. 2a matri( de este nuevo sistema es C"Ct que implica un nuevo orden del con unto K de nodos, a partir de las componentes fuertemente cone!as del grafo.

E/e(01%: 2a siguiente matri( de adyacencia corresponde al grafo de la fig. /6/B

23

2as

componentes fuertemente cone!as de un grafo #, se pueden condensar en un punto, formando un nuevo grafo #c
24

sin ciclos, cuyos arcos son aquellos del grafo # que unen distintas componentes, al que se llama grafo condensado.

El siguiente es el #c de la fig /6/. 2os grafos condensados K* K,se utili(an en la planificacin del trnsito y de transporte urbano.

*< /ondensar #. ,< Encontrar algAn camino hamiltoniano, si e!iste, en el grafo condensado #c. .< Encontrar un camino hamiltoniano en cada nodo del grafo condensado ;en cada componente fuertemente cone!a de #<. 0< 8i es posible, unir el o los caminos encontrados en el paso .< con el encontrado en el paso ,<. 8upongamos que el grafo condensado del e emplo anterior describe el posible recorrido de una lnea de mnibus, y se desea determinar aquel recorrido que pasa una sola ve( por cada una de las paradas ;nodos del grafo<. De4!)!"!<) @n camino hamiltoniano en un grafo #, es aquel camino que pasa una y solo una ve( por cada vrtice del grafo. 8i # es de orden n, el largo del camino hamiltoniano es el del camimo elemental de longitud m!ima. B.E. M71$!01!"#"!<) L#$!)# = C#(!)% H#(!1$%)!#)% ,&%"e !(!e)$%B 8e enumeran todos los *,,,... n3*. %etenerse al encontrar 8i no e!iste /amino caminos elementales caminos elementales posibles de longitud todos los caminos de largo n3*. Hamiltoniano, se conocern todos los intermedios. 2a enumeracin de los
35

caminos elementales *ul iplicaci&n +a ina.

se

reali(a

mediante

el

mtodo

de

$etirando la primera letra de los elementos distintos a : obtenemos latin.

2os caminos elementales de largo , se calculan de la siguiente manera

S!e) % , donde

J J*

conc.

8i

: si no. J + $ J +

5ara encontrar los caminos hamiltonianos nos detenemos en el paso n3* ;0, en nuestro caso<. 2os elementos de la matri( contiene la sucesin de nodos de cada uno de los caminos hamiltonianos, si e!iste alguno. E/e(01%5:

31

I BCDE A I I I ? M :E; ?

I I CDEAB I I

ABEDC I I DEABC I

ABCDE

BEACD I I I I I EABCD I

32

E. ES+UELETOS Y CAMINOS O,TIMALES E.. Me ! # e "%)e8!<) e '&#4%5 C7e& # e 7) e5>7e1e$% e) 7) '&#4% "%)e8% G, se le lla#a a cual%uier aris a de ) %ue no per enece al es%uele o ,. A4!&(#"!<): /ualquier subgrafo compuesto del esqueleto y una cuerda contiene 7) "!"1% NF(e&% "!"1%(6$!"% D:G; e 7) '&#4% G9 es el n"#ero de cuerdas de cual%uier es%uele o en ). ,&%0%5!"!<): -ea un grafo )$ m el n"#ero de aris as$ n el n"#ero de vr ices y c el n"#ero de co#ponen es conexas$ en onces v (G) = m - n + c. Te%&e(#: -ea ) un grafo de orden n$ n . /. +as propiedades siguien es son e%uivalen es en cuan o a carac eri(ar a ) co#o rbol. !) /) 0) 1) ) es conexo y sin ciclos. ) es sin ciclos y con (n-!) aris as. ) es conexo y con (n-!) aris as. ) es sin ciclos y #axi#al. ) es #axi#al si al agregar una aris a en re dos vr ices no adyacen es se crea uno y solo un ciclo. 2) ) es conexo y #ini#al. ) es #ini#al si supri#iendo una aris a cual%uiera del grafo$ s e deja de ser conexo) 3) 4odo par de vr ices es unido por una y solo una cadena. Te%&e(#: Un rbol de orden n ./ ad#i e por lo #enos dos vr ices %ue son adyacen es a un solo vr ice. Te%&e(#: Un grafo ad#i e un grafo parcial %ue sea rbol (dicho de o ra for#a ad#i e un rbol parcial (esqueleto) s. s. i. es conexo.
33

E.3

E5>7e1e$%5 %0$J(#1e5

E5>7e1e$% MJ)!(% de un grafo ponderado ) 5 (6$ U$ 7) de orden n, es a%uel es%uele o de valor #8ni#o. 2os esqueletos mnimos permiten, por e emplo, calcular el costo mnimo de cone!in de un grafo. 2os algoritmos de >rusUal y 5rim encuentran un esqueleto mnimo en #.

34

8e puede demostrar que estos algoritmos construyen esqueletos mnimos. El siguiente teorema, demuestra la correctitud del algoritmo de 5rim. Te%&e(# ,.: ,l algori #o de 9ri# es vlido$ es decir al finali(ar el algori #o$ el grafo resul an e , es un es%uele o #8ni#o. De(%5$&#"!<): 5odemos afirmar que por construccin, al finali(ar el algoritmo, E es un subgrafo parcial de # ;cone!o< y sin ciclos JJW es un E8C@E2E"7. ' continuacin probamos que E es un esqueleto mnimo y lo hacemos por induccin en la >3sima iteracin del algoritmo. 'l demostrar que en la U3sima iteracin esqueleto mnimo. ..=,#5% 2#5e UJ*, nJ,, E* tiene una sola arista que es la mnima ;o una de ellas< JJW E* X en algAn esqueleto mnimo de #. Se "7(01e. 3.= ,#5% !) 7"$!D% 8uponemos verdadero para U J U3* ;U3*3isima iteracin<, o sea que X EQ que es mnimo. 8ea P el con unto de vrtices de < El algoritmo toma una arista Yi, Z de valor mnimo, tal que i VP, y @ Yi, Z [ P y lo agrega a obteniendo J B P J H , V est incluida en 7) es un

esqueleto mnimo, estoy demostrando que al finali(ar,

30

8i Yi, Z V EQ, JJW

X EQ ;esq. mn< L.+.+.D

8i Yi, Z [EQ JJW EQ @ Yi, Z contiene un ciclo /. "omemos una arista Y!,yZ V ciclo /, y tal que Y!,yZ \ Yi, Z con ! en P e y [ P. /onsecuentemente SY!,yZ ] SYi, Z y por lo tanto el grafo EQQ J H EQ @ Yi, Z 3 Y!,yZ I tiene valor ^ el valor de EQ ;L< /omo por construccin EQQ es esqueleto, entonces por ;L< es un esqueleto mnimo y como inductivo. X en un esqueleto mnimo ;EQ o EQQ< L.+.+.D. X EQQ se verifica el paso

E.B C#(!)%5 O0$J(#1e5 - C#(!)% (J)!(% A1'%&!$(% e DIJKSTRA

Este algoritmo calcula el camino mnimo de un nodo # a otro nodo H en particular, a la ve( que calcula los caminos mnimos desde el nodo inicial # dado hasta "# # 7)% e 1%5 %$&%5 nodos del grafo. Algoritmo de Di !stra 8ea # J ;K, @, R< un grafo ponderado, :;u< el largo asignado a la arista u, ( un contador de distancia, :&9 :0;; etiqueta del vrtice 0, & J antecesor de 0 en el camino desde #9 :0; J distancia mnima desde # hasta 0. 5ara valores "&e"!e)$e5 e (9 el algoritmo (#&"# aquellos vrtices que tienen ( como distancia mnima desde el vrtice #. *. Empe(ar con ( ? . y marcar # con :=9 I; ,. /hequear "# # arista 7 ? :09>; desde algAn 0 C# (#&"# %, hasta algAn > 5!) (#&"#&. 8uponga que p est marcado con :&9 :0;; S! d;p< _ :;u< J m , marcar q con ;p,m< .. S! ` ! sin marcarB mBJ m _ *; volver al punto , S! )%: e ecutar el punto 0 S! solamente estamos interesados en el camino hasta (, al marcar (, seguimos con el punto 0 0. 5ara cualquier vrtice C, un camino ms corto de # a C, tiene 1#&'% :C; ;la ,da parte de la etiqueta de y<.

Ese camino lo puedo encontrar retrocediendo desde y, usando la *era parte de las etiquetas de los vrtices encontrados en el
31

retroceso.

Este algoritmo permite calcular cun le os se puede llegar en *, , .... m unidades. /omo est especificado en 5ero tiene una ineficiencia muy significante, S! la suma d;p< _ :;u< en ,< tiene valor 0%& 1% (e)%5 (LM( e)$%)"e5 el contador de distancia (, debera ser !)"&e(e)$# % inmediatamente a mQ ;m BJ mQ<.

E/e(01%B Encontrar el camino mnimo ;ms corto< entre 6 y / del

32

siguiente grafo

mJ* no puedo marcar mQJ a , incremento m BJ mQ mJa, marco + ;6, :_a< mJG , encuentro # , d;6< _* J G marco # ;+,G< mJ9 marco ' Y:_9Z ;6,9< y % YG _ *Z ;E,9< mJb no marco mJc marco H ;#,c< y - ;',c< marco / ;%,c< Encontr /, d;/< J largo del caminoJ c*: $etrocedo por la primera etiquetaB /3W%3WE3W+3W6. E1 "#(!)% (J)!(% e5: F=I=E=D=C.

33

R6&6S R6&6S 77 F+8,OS F+8,OS

34

N. REDES - FLUJOS $ed es un grafo ponderado, con un nodo a llamado fuente y otro nodo ( llamado po(o, terminal o resumidero ;sinU<. E J ; K, @, R< K J H a, (, Ki , * J i J n3,I @ J H ;!i, ! <, ........I /onsideramos redes orientadas. Es viable afirmar que una red siempre es orientada.

8e llama red de transporte cuando a cada arco u de la red se lo pondera asignndole un par de nAmeros enteros, positivos mediante las funciones capacidad, U;u< , y flu o, ;u<. :(u) 5 (k(u)$ (u)) O :7; es la "#0#"! # o cota superior de lo que puede transportar el arco u y ;u< el 417/% o la cantidad de sustancia que realmente transporta el arco u. @na red de transporte modela problemas del tipoB 3 ma!imi(ar el flu o de petrleo, a travs de una gran red de oleoductos; 3 ma!imi(ar el nAmero de llamadas telefnicas en la red de telefona.
45

3 otros.

8e transportan unidades de flu o de un sitio a otro a travs de una red, con ciertas restricciones en cuanto a capacidades de envo en las lneas que componen la red. En el caso del transporte de petrleo, la capacidad de un arco representa la capacidad en barriles por minuto de una seccin del oleoducto, el flu o es el fluido que se transporta o enva. 2o que se busca es ma!imi(ar un =flu o= desde el nodo a al nodo (, de tal modo que el flu o ; fluido< que pasa por cada arco no e!ceda su capacidad permitida. Es un problema tpico de +nvestigacin de 7peracionesB (#8 H6lu oI 8egAn restricciones 2a capacidad y flu o de los arcos pueden tener asignados otros valores, que no sean enteros positivos, pero se debe tener especial cuidado al aplicar un algoritmo de solucin que sea adecuado a esa caracterstica. N.. C%&$e (J)!(% - 417/% (68!(% El con unto de los nodos @ se puede 0#&$!"!%)#& en dos subcon untos 5, y 5c, 5 @ 5 cJ K, 5 n 5c J d. De4!)!"!<): U) "%&$e e) 1# &e N arcos incidentes hacia el e!terior de 5. es el con unto de los

@n corte me determina posibles caminos desde a a ( En la red de la fig. 0.*, si ;

EotaB H;a,b<, ; a,c<, ;d,c< al corte, sin embargo en redes no orientadas, ;5,5c< denota todas las arcos que van de 5 a 5c.

41

De4!)!"!<): C%&$e #=H ;fuente3terminal< es aquel en que a 5 y ( E 5c. En la red de la fig 0.*, si 5 J Ha,b,cI, ;5,5c< es un corte a3(.

De4!)!"!<): C#0#"! #

e 7) "%&$e :,9,"; viene dada por

De4!)!"!<): F17/% #=H, ;flu o fuente3terminal< en una red E, es aquel en el que ;u< u @, los nodos fuente a y po(o ( satisfacen las siguientes condicionesB

2a condicin b< nos asegura que el flu o vaya de la fuente al po(o y no al revs. 2a condicin c< implica que el flu o parcial que entra a un nodo !, es igual al flu o parcial que sale de !, es llamada la condicin o ley de conservacin de flu o de >irchhoff. 8i se suman las ecuaciones en c< sobr e todas las ! pertenecientes a un subcon unto 5 de nodos de una red E que no contengan ni a ni (, se obtiene la siguiente e!presin como consecuencia de cB

O25: algunos ;u< se repiten en ambos miembros de la igualdad, ya que en ambos lados se sumas el flu o de aquellos arcos que van de un nodo en 5 a otro en 5. ,%& e/e(01% $%(#) % , J Hb,cIen el e emplo de la fig. 0.*,

42

Eliminando los flu os ;u< que se repiten en ambos miembros se obtiene una nueva condicin para todo subcon unto 5 de nodos que no contengan ni a ni (.

Es decir que 5 que no contenga ni a ni (, el flu o que ingresa a 5 es igual al flu o que sale de 5. Te%&e(# N.. 5ara cualquier flu o a3(, en una red E, el flu o que sale de la fuente a es igual al flu o que ingresa ;entra< al po(o (. %emostracinB 8uponga momentneamente que E J ;K, @, R< no contiene ningAn arco ;a, (<. ;notaB el teorema es vlido tambin cuando e!iste un arco ;a,(<<. 8ea 5 J H K 3 a 3 (I y 5c J Ha, (I

6lu o saliente de a J

43

2a condicin b< de flu o a3( determina que el Anico flu o hacia 5 desde 5cJHa,(I debe ser desde a. C7#)$!4!"#"!<) e 7) 417/% #=H: M M. y se define como la suma

M M es el valor del flu o a3(,

del flu o que sale de a,;equivalente a decir que es la suma del flu o que entra a (<. Entonces, una cota superior de M M es la suma de las capacidades de los arcos incidentes hacia el e!terior de a.

%e la misma manera, la suma de las capacidades de los arcos incidentes hacia el interior de ( es una cota superior del valor del flu o M M. 'dems, M M est acotado tambin por la capacidad de cualquier corte a3(, es decir, por la suma de las capacidades de cualquier con unto de arcos que corta todo flu o de a a (. En el e emplo primero, el corte con 5 J Ha,b,c <, es de capacidad U;5,5c< J *.es, por lo que ningAn flu o a3( en la r ed puede valer ms de *.. ;EotaB en este caso cQ no es vlida ya que a e 5.< Te%&e(# N.3B 5ara cualquier flu o a3(, y cualquier corte a3(, ;5,5c<, en una red E,

44

MJ

De(%5$&#"!<): E!pandimos la red E agregndole un nodo aQ con un arco uQ J ;aQ, a< de capacidad infinita ;significa muy grande<, U;uQ< J b , aQ e

' uQ se le asigna el valor del flu o M M, ;uf< J M M , entonces se transforma en un flu o aQ3( en la red e!pandida, la antigua fuente a ahora recibe su flu o de la sAper fuente aQ. En esta nueva red, EQ, si se puede aplicar la condicin cQ< a 5, ya que 5 no contiene la fuente aQ

Corolario N.2
5ara cualquier flu o a3(, , y cualquier corte a3(, ;5, E, <, en una red

40

En este caso decimos que es un flu o m!imo < es un corte a3( de capacidad mnima.

y ;5,

Demostracin: /onsidere las inecuaciones en ;L< de la demostracin del "eorema E., y la red e!pandida.

Entonces se cumple la igualdad en la inecuacin ;L< es decir i< Es verdadero

$ecprocoB vale el mismo argumento utili(ado para demostrar el directo. 5or lo tanto la igualdad en ;L< se cumple s s i !; y !!; se cumplen. 2a Altima afirmacin del corolario, se deriva directamente del "eorema E.,

41

N.3 B#5e5 ,#&# 1# C%)5$&7""!<)

e 7) F17/% M68!(%

A&"% S#$7&# % El arco u de la red se dice saturado cuando O:7; ? :7;P 2a G%1'7&# e 7) #&"% 7 es la cantidad libre de su capacidad, aAn pasible de utili(ar y se nota 5:7; ? O:7; = :7; H%1'7&# (J)!(# en un camino que va de # a H, es la holgura mnima entre todos losarcos de ese camino. C#(!)% #=H9 Li, es un camino i que va de la fuente a la terminal.

8upongamos que a la red de la figura no se le asignaron flu os a sus arcos. Encontramos en esa red el camino L* J H;a,b<, ;b,d< ;d,(<IJ #=2= =H. 2a holgura mnima de 2* es ., min s;u< J . u 2*. Esto quiere decir que podramos sumarle un flu o de . unidades a cada uno de los arcos de 2*. 2uego identificamos el camino 2, J a3c3e3(, y hacemos lo mismo que con 2*, en este caso tambin sumamos . unidades, min s;u< J . u 2,.. /on el mismo procedimiento se podra ir aumentando el flu o de los arcos pertenecientes a caminos que van de a a (, con su holgura mnima, hasta encontrar un flu o que sea m!imo. A4!&(#"!<): /ualquier flu o descomponer unidades de flu o en una red E, se puede

42

a3( en caminos que van de a a (. 5or e emplo el flu o de llamadas de telfonos de un pas a otro puede ser descompuesto en llamadas individuales; el flu o de petrleo en su envo, puede descomponerse en los caminos del envo de cada tonelada. U)! # e 417/% #=H en L, siendo 2 un camino que va de a a (, es el flu o

En base a esta unidad, se define la suma de flu os al flu o de una red.

El flu o de la red sigue siendo un flu o a3(, siempre que ;u< OJg U;u< caminos en consideracin. 8i 5 es la menor holgura en un camino 2, es entonces la holgura mnima del camino 2 por lo que se puede sumar sh 2 al flu o de la red.

Este mecanismo nos sugiere una manera de construir un flu o m!imoB aumentando el flu o de la red mediante la suma de unidades de flu o a3( equivalentes a la holgura mnima de los caminos a3( que as lo permitan. Polviendo al e emplo, al comien(o el flu o de la red es ;u< J : u@ , luego encontramos el camino 2* ? #=2= =H y le sumamos a flu o . 2*. 7bservar que 2* posee un Anico arco saturadoB ;b,d<, el de la holgura mnima. 2uego aumentamos en .2,, 2, ? #="=e=H . /ontinuamos con 2.? #=2=e=H de holgura mnima ,, que se usa para aumentar el flu o en , 13 y 20 ? #="= =H= de holgura mnima * el flu o aumenta en 20. 's se obtiene el flu o a3(

43

2uego de aumentar el flu o con 20, todos los caminos que llevan a i tienen holgura mnima : y en la bAsqueda de caminos con alguna holgura mnima, no se puede seguir ms all que d a hasta c. 8e han saturado todos los arcos de un corte a3(9 u :;#;c<# ; = > a#c?# :u< = @:u<% @:;#;c< = 4 = AA j maBimal :por corolario C%2< ) el corte es mnimo, es el de capacidad mnima, observar que al estar saturado, no se puede enviar ms que U ;5, desde a. En este caso se tuvo la intuicin necesaria para encontrar los caminos que llevaron al flu o m!imo. 5ero no siempre es tan fcil. 2a siguiente figura muestra otro procedimiento de aumento a la red del e emplo. < unidades

8e empie(a con 2* J a3b3e3( saturando el arco ;a,b<, sumndole a 2*. 2uego 2, J ac3 d3(, saturando ;c,d< y sumndole al flu o 1+2%. Cueda nada ms que un camino sin saturar 2. J a3c3e3( holgura mnima *, se sumando 1+3 al flu o total.

Eo hay ms caminos de a a ( con holgura mnima positiva ;W:<, no es posible aumentar ms el flu o. %e # puedo llegar nada ms que hasta e pasando por ".

44

Cueda determinado un corte saturado ;5, 5c<, 5 J Ha,c,eI. 2uego observamos que AA = 2 $ @:;# ;c< = 12% j AA < @:;# ;c< kEl mtodo de aumento puro, no siempre encuentra un flu o m!imoF 5or el corolario E., un flu o es de valor m!imo si i< :u< = 5# u:;c# ;< ii< :u< = @:u< u :;# ;c< En este caso observamos que el arco u = :b#e< :;c# ;< $ :u< = 0 5 8e ha cometido el error de haber aumentado de entrada todas unidades libres de 2*, ;a<. 5or eso en 2. no se pudo mandar ms que * unidad de flu o de 2., y en 2, nada ms que *, ;c,d< no lo permita. En realidad se debera haber reservado alguna unidad de 2* para asignrsela a 2., ;c,e< s lo permita. /on 20 J a3b3d3(, se obtiene el flu o. = 3+1 D +2 D 3+3 D 2+4 Este mtodo de reservar unidades de flu os es muy complicado y poco controlable ya que igualmente no asegura encontrar el m!imo. E!iste una manera de ir corrigiendo el aumento de los flu os y que evita caer en los errores mencionados. En la red de la fig 0.a, el arco ;b,e< contiene a unidades de flu o que van de 5c a 5 con ;5,5c< saturado, :b#e< =0 E 5# esto se corrige reduciendo el flu o de ;b,e<. /omo hacerlol 5or la condicin c< de flu o a3(, se lo puede reducir solamente, si se compensa la reduccin del flu o desde b hacia e, con un incremento hacia e desde cualquier arco u +3;e<, con e!tremo inicial en 5. /ompensando desde 5c se corre el riesgo de encontrarse nuevamente con el caso de arcos que van de 5c a 5 con flu o positivo ;ver corolario E.,<. El incremento de compensacin debe venir de la fuente a, ya que necesitamos corregir el flu o en un camino desde a a e que contenga nodos en 5. El Anico camino de esas caractersticas es >* J a3c3e. %el mismo modo, la reduccin del flu o de b hacia e,
05

debe ser compensado por un incremento en algAn camino desde b hacia algAn nodo en 5c, ya que necesitamos corregir flu o en algAn camino de b a ( , con nodos en 5c. El Anico camino con esas caractersticas es >, J b3d3(. 2a mnima holgura en >* es ,, y en >, es ., el mnimo entre ellos es ,, entonces se disminuye el flu o de ;b,e< en dos# :b#e< F = :b#e< 7 2 # y se aumenta el flu o de >* y >, en ,. /on este aumento de correcci"n se obtiene el !lu o m'Bimo# en el corte a7z saturado con ;= >a# c?#;c=>b#d#e#z?% Obser(en que el procedimiento /a consistido en realizar una correcci"n en la cadena K = a-c-e-b-f-z de 2 unidades de !lu o% Definicin Unidad de flujo a-z en una cadena K que va de a a z, es el flujo K co: K (u) = 1 u K con direccin igual al de la orientacin de la cadena K (u) = -1 en aquellos arcos con orientacin contraria a la de la cadena, K (u) = 0 en los otros arcos. En realidad no es un flu o ya que tiene valores negativos en algunos arcos, pero el flu o resultante de una correccin, J _ > s lo es. 'quellos arcos que van en la direccin contraria a la de >, tiene valores positivos, W :, que puedo reducir y e!iste holgura en los arcos que van en la misma direccin de > hacia H que puedo aumentar. En el e emplo anterior se corrige sumando a un flu o cadena de , unidades, = D 2G % N.B A1'%&!$(% e F17/% M68!(%

El algoritmo de aumento que a continuacin planteamos, de 6ord y 6ulUerson, construye un corte mnimo y un flu o m!imo, corrigiendo e incrementando, mediante el aumento del valor del flu o con unidades de flu o a3( en cadenas. +terativamente va construyendo cadenas de flu os desde a, de una manera similar a la del camino mnimo de %i Ustra. ' cada nodo > va visitando le asigna una etiquetaB :0Q9 D:>;; compuesta de dos etiquetasB
01

*< p es el nodo precedente a q en la cadena de flu o de a a q, el ndice superior de p ser el signo de _ si el Altimo arco en la cadena es ;p,q< y el signo de 3 si el Altimo arco es ;q,p<. ,< % ;q< es la holgura mnima entre todos los arcos de la cadena que van de a a q. En un arco u de orientacin contraria al de la cadena, la holgura es la cantidad de flu o que puedo quitar. En caso de aplicar este algoritmo en una red con un flu o pre asignado, controlar que sea a7z%

02

Te%&e(#: %ado cualquier flu o a3( , aplicando un nAmero finito de veces el algoritmo de 6ord y 6ulUerson, se obtiene un flu o m!imo. 'dems, si 5 es el con unto de vrtices marcados en la etapa final del algoritmo, el corte ;5,5c< es un corte a3( mnimo. C%&%1#&!% ;6lu o m!imo3 /orte mnimo< En cualquier red orientada, el valor de un flu o m!imo a3( es igual a la capacidad de un corte a3( mnimo.

BIBLIOGRAGIA

'E#E2 8'$'-+' 4 +EPE8"+#'/+mE 75E$'"+P' 4 @E+PE$8+%'% 57E"+6+/+' /71+22'8 E%@'$%7 P+/EE8 8'27$", nE#E2 m$"+i -'8, o@'E o78p #@'$/H -E$"72X 4 1p"7%78 /@'E"+"'"+P78 LINKOGRAFIA

httpBggstructio.sourceforge.netgguiasgproglingproglin::a.htm l
/ttpFHHIII%in!o(is%netHprint.ag%p/pJnum=132Klang=1

03

04