UNIVERSIDAD NACIONAL DEL ALTIPLANO PUNO FACULTAD DE INGENIERIA MECANICA ELECTRICA, ELECTRICA ELECTRONICA, Y SISTEMAS

ESCUELA PROFESIONAL DE INGENIERIA DE SISTEMAS

MONOGRAFIA
ALGORITMO DE FLEURY PRESENTADO POR:
COAQUIRA PINTO, WILBER MAMANI QUISPE, EDWIN DOCENTE: Mg. COYLA IDME, ELMER PUNO- PER

2011

Pg. 1

Dedicatoria

A mis padres, mis hermanos quienes siempre me han brindado el apoyo moral e incondicional durante mi formacin profesional. Edwin

Quiero dedicar este trabajo, a la persona ms importante de mi vida, mi madre, quien cuyo esfuerzo ha hecho este logro, tambin a mi padre y mis hermanos, por el apoyo que me brindaron, por su cario, por su compresin, pero sobre todo por haberme ayudado a formar me como profesional.
Wilber

Pg. 2

INTRODUCCIN

Una de las partes de la teora de grafos, es esta teora que permite modelar de forma simple cualquier grafo conexo de grado par, ciclo y circuito Euleriano; y es por esto que su mbito de aplicacin es muy general y cubre reas que van desde la misma matemtica. En la teora de grafos y algoritmo de Fleury podemos decir: Si una grafica conexa tiene exactamente dos vrtices de grado impar, entonces sabemos por los teoremas de Euler que no tiene un circuito Euler pero si tiene al menos una trayectoria de Euler que empieza y termina en dichos vrtices.

El algoritmo de Fleury (Grafos Eulerianos) que permite encontrar una trayectoria o circuito de Euler. Y un puente es una arista tal que al quitarla del grafo, el grafo se convierte en un grafo disconexo.

Y tambin Podemos encontrar una trayectoria de Euler usando una versin modificada del algoritmo de Fleury.

Entonces decimos que el Algoritmo de Fleury nos permite construir un camino Euleriano en un grfico de Euler dado combinando ciclos.

Pg. 3

PRESENTACIN

El presente monografa es el producto de un revisin bibliogrfica consecuentemente en la redaccin del presente trabajo de investigacin, con el fin que el estudiante de ingeniera de sistemas sea haga familiar los temas que se tratan en el presente trabajo de investigacin El presente monografa consta de los siguientes captulos: CAPTULO I: En este captulo, trabajaremos las nociones bsicas de la teora de grafos. Nuestra intencin en este captulo no es hacer un estudio extenso de la teora de grafos, sino ms bien una introduccin a la teora de graficas. Se da conocer algunos conceptos y resultados mnimos para destacar su gran utilidad para una optima comprensin del algoritmo de Fleury. CAPTULO II: En este captulo se da a conocer sobre circuito de Euler y sus definiciones bsicas de diferentes fuentes bibliogrficas se define sobre un circuito que contiene todas las aristas de G recibe el nombre de circuito Euleriano ha tratarse ms adelante. CAPTULO III: En este captulo consideramos algunos problemas que involucran el hallazgo un camino con alguna propiedad especial en un grfico dado. Y as mismo se desarrolla el algoritmo de Fleury por encontrar un camino Euleriano en un grfico de Euler dado explicado con ejemplo; a tratarse ms adelante en seccin correspondiente.

Pg. 4

PROLOGO Los circuitos de Euler y una de sus reas principales como el algoritmo de Fleury ocupan hoy en da un lugar muy importante en los conocimientos

bsicos que deben adquirir las personas que se dedican al estudio de las ciencias de la computacin e ingenieras y las matemticas aplicadas a la computacin. Adems la Teora de Grafos puede servir para el modela miento de sistemas, la simulacin, la estructuracin de datos y el anlisis y diseo de algoritmo. El presente trabajo de investigacin (monografa) pretende ser una gua introductoria para que esta pueda ser comprendida de una forma satisfactoria. El tema central de esta monografa es una introduccin al algoritmo de Fleury, considerando los grafos y los circuitos Eulerianos como una estructura dinmica que pretende explicar el camino Euleriano con el algoritmo de Fleury aplicadas en la vida real.

Los autores

Pg. 5

CAPITULO

1
Introduccin a Grafos

En este captulo, trabajaremos las nociones bsicas de la teora de grafos. Nuestra intencin en esta seccin no es hacer un estudio extenso de los grafos. Lo que corresponde a una materia conocida como Teora de Grafos y que es tan amplia como la propia Programacin matemtica. Nuestra intencin es dar unos conceptos y resultados mnimos para destacar su gran utilidad para una optima comprensin del algoritmo de Fleury. A si mismo se har una introduccin a los conceptos bsicos de la teora de grafos con el fin de entender el algoritmo de Fleury.

Pg. 6

1.1

Teora de grafos

Los grafos son una estructura de datos no lineal, la cual se puede usar para modelar diversas aplicaciones Es una parte importante de la Matemticas aplicadas en la computacin, lo que le da un carcter

bastante amplio y complejo.

Figura N 01 Los grafos se presentan con frecuencia en la vida real, tal es el caso de una red de carreteras que enlace un cierto grupo de ciudades aqu los nodos de la red o ciudades representan los vrtices de grafo. Las carreteras que unen las ciudades representan los arcos o arista, as a cada arco se asocia una informacin tal como la distancia entre ciudades,

consumo de gasolina, costo de mantenimiento, etc. 1.2 Qu es un grafo? MICHA (2003)1. Una grafo es un diagrama que consiste de puntos (llamados vrtices) unidos por lneas (llamadas aristas). Cada arista conecta a dos vrtices.
1

MICHA, Elas. (2003). Matemticas discretas, Mxico D.F. pg. 18.

Pg. 7

SALAZAR (2001)2.Los grafos tratan de dotarnos de herramientas graficas que facilitan el estudio de algunos problemas que aparecen frecuentemente en la prctica. Fundamentalmente hay dos tipos de grafos, orientados y no orientados. BORREGO y RECIO (2006)3.Un grafo G es un conjunto finito, no vaco de vrtices V (G) y un conjunto de aristas E (G) que puede ser vaco formado por pares no ordenados de elementos pertenecientes a V (G). Solo se establecer un orden cuando hablemos de grafos dirigidos y a las aristas se las denomina arcos. En conclusin podemos afirmar que un grafo G consiste de un conjunto finito no vacio de objetos llamado vrtices y de un conjunto de parejas no ordenadas de vrtices llamadas aristas. Denotaremos por V (G) al conjunto de vrtices de una grafica G y por A (G) al conjunto de aristas. 1.2.1 Elementos MARTINES y QUIROGA (2010)4. Un grafo consiste de nodos y arcos. En general, cada nodo puede contener ms de un valor, sin embargo, el caso particular es que almacene una nica llave, de tal forma que por esta se identifique a cada elemento. 1.2.2 Estructura MARTINES y QUIROGA (2010)5. Posee una estructura de red. Cada arco establece una relacin uno a uno entre dos nodos. Un par de nodos puede estar conectado por un nico arco. Pero cada nodo puede conectarse a cualquier conjunto de nodos.

SALAZAR GONZALES, J. Pablo. (2001).Programacin Matemtica, Madrid-Espaa. pg. 259. BORREGO R., R. y RECIO D., D. (2006). MANUAL DE ALGORTMICA, Proyecto fin de carrera Escuela Tcnica Superior de Ingeniera Informtica Departamento Matemticas Aplicadas I, universidad de Sevilla-Espaa. pg. 8 4 MARTINES, Romn y QUIROGA, Elda. (2010). Estructuras De Datos (Referencia Practica Con Orientacin a Objetos), Armenia. pg. 221 5 MARTINES, R. y QUIROGA, E. (2010). pg. 221
3

Pg. 8

EJEMPLO Este ejemplo se conoce como el problema de los servicios pblicos, y se refiere a la necesidad de conectar tres casas A, B y C a tres servicios pblicos: gas, agua y electricidad. Por razones de seguridad es necesario que las conexiones no se crucen entre s. Es posible conectar los servicios?

Grafica N 02 1.3 Grafos orientados SALAZAR (2001)6. el grafo orientado (o dirigido) a una pareja de conjuntos G = (N, A) donde N es un conjunto finito de elementos, y A es un conjunto finito de pares ordenados a = (i, j), siendo i y j elementos de N. A cada elemento de N se le llama nodo, y a cada elemento de A se le llama arco. Al primer nodo de un arco a = (i, j) A, es decir, a i, se le llama origen de a

y al segundo nodo, es decir, a j, se le llama destino de a.

SALAZAR G. Ob. Cit. pag.260.

Pg. 9

Ejemplo de grafo dirigido.

Grafica N 03 1.4 Grafos no orientados SALAZAR (2001)7.Dado un grafo orientado G = (N, A), si sucede que (i, j) implica cine (j. i) A, entonces en muchas aplicaciones conviene que

cada una de estas parejas de arcos sea sustituida por un nico par no ordenado, simplificando as el grafo. Aparecen as los grafos no orientados. Se llama grafo no orientado (o no dirigido) a una pareja de conjuntos G = (N, E) donde N es un conjunto finito de elementos, y E es un conjunto finito de pares no ordenados e = [i, j] = [j,i], siendo i y j elementos de N. A cada elemento de A* se le llama nodo, y a cada elemento de E se le llama arista. Cuando una arista e est formada por los nodos i y j. entonces se dice que la arista e es incidente al nodo i (y al nodo j), y que i y j son los nodos extremos de e8.

SALAZAR G. Ob. Cit. pag.263.

Pg. 10

Ejemplo de grafo ponderado no dirigido.

Grafica N 04

Pg. 11

CAPITULO

2
Circuito Euleriano

En este captulo se da a conocer sobre circuito de Euler y sus definiciones bsicas .Entonces podemos decir que un circuito que contiene todas las aristas de G recibe el nombre de circuito Euleriano. Es decir que un circuito Euleriano es una trayectoria que empieza y termina en el mismo vrtice, pasa por cada vrtice al menos una vez y slo una vez por cada arista.

Pg. 12

2.1

CIRCUITO EULERIANO

Cuando se posee una red no dirigida conexa se puede disertar un circuito que recorra todos SIJS nodos, partiendo de un nodo especifico Y regresando a L, pero sin pasar ms de una vez por cada arco, adems escogiendo el circuito de forma tal que el recorrido sea mnimo. Este tipo de problema se resuelve hallando un circuito Euleriano de longitud mnima. 2.2 Definiciones bsicas 2.2.1 Grado SEYMOUR (2007)9. El grado de un vrtice es el nmero de aristas que se encuentran en ese vrtice. En un sentido ms formal El grado de un vrtice v en un grafo g, se escribe grd (v), es igual al nmero de aristas en G que contienen a v; es decir, que inciden sobre v. puesto que cada arista se cuenta dos veces al contar lo grados de los vrtices de G. MARTINES y QUIROGA (2010)10. Grado de un grafo es el mximo grado de sus nodos. Donde este se define como la cantidad de aristas que inciden en ese nodo. En el caso de dgrafos se distingue entre el grado_entrada y el grado_salida. El primero define la cantidad de arcos en los que el nodo es el destino y el segundo es la cantidad de arcos donde es el origen. 2.2.2 Vrtices adyacentes MICHA (2003)11. Dos vrtices son adyacentes si comparten una sola arista. 2.2.3 Trayectoria MICHA (2003)12. Una trayectoria es una sucesin de vrtices con la propiedad de que cada vrtice es adyacente al siguiente y tal que en la correspondiente sucesin de aristas; todas las aristas
9

SEYMOUR LIPSCHUTE, Marc L. (2007). Matemticas Discretas, Tercera Edicin, Mxico. pg. 157. MARTINES, R. y QUIROGA, E. (2010). Ob. Cit. pg. 221. 11 MICHA, E. (2003). Ob. Cit. pg. 26. 12 MICHA, E. (2003). Ob. Cit. pg. 26.
10

Pg. 13

son distintas. Es decir que un vrtice si puede aparecer en una Trayectoria ms de una vez. 2.2.4 Camino SALAZAR (2001)13Se llama camino a una secuencia de aristas donde cada par de aristas consecutivas son ambas incidentes con un mismo nodo. Los nodos no necesariamente comunes de la primera y de las ltimas aristas se llaman extremos Del camino, mientras que los comunes se llaman intermedios. Un camino se dice simple si sus nodos intermedios son todos diferentes, se dice elemental si sus aristas son todas diferentes, se dice ciclo si sus extremos son un mismo nodo. Obviamente todo camino simple es elemental, pero no recprocamente. SCHEINERMAN (2001)14.Es una sucesin de lados que van de un vrtice x aun vrtice w (dichos lados pueden repetir) pero no se puede repetir vrtices. 2.2.5 Ciclo SCHEINERMAN (2001)15.Un ciclo es una caminata de longitud mnima de vrtices, en la que el primero y el ltimo vrtice son el mismo, pero no se repiten otros vrtices. El termino ciclo tambin se refiere a un sub (grafica) formada por los vrtices y aristas de la caminata. En otras palabras, un ciclo es un grafica de forma G= (V,E). MARTINES y QUIROGA (2010)16. En un grafo dirigido, el ciclo es un camino donde el nodo de inicio y el nodo de terminacin son el mismo.

13 14

SALAZAR G. Ob. Cit. pg. 264-265. SCHEINERMAN R. Edward (2001). Matemticas discretas, Mxico. p. 371. 15 SCHEINERMAN R. (2001). Ob. Cit. pg.377. 16 MARTINES, R. y QUIROGA, E. (2010). Ob. Cit. pg. 221.

Pg. 14

2.2.6

Circuito MICHA (2003)17. Un circuito es una trayectoria que inicia y termina en el mismo vrtice.

2.2.7

Grafo conexo MICHA (2003)18. Un grafo es conexo si cualesquiera dos de sus vrtices se pueden unir por una trayectoria. Si una grafica no es conexa, se dice que es disconexa. SEYMOUR (2007)19.Un grafo G es conexo si existe un camino entre dos de sus vrtices. En trminos formales, en el supuesto que cualquier v este unido consigo mismo, la relacin v esta unido con u es una relacin de equivalencia sobre el conjunto de vrtices de un grafo G y las clases de equivalencia de la relacin constituyen los componentes conexos de G.

2.2.8

Grafica disconexa MICHA (2003)20. Una grafica disconexa est formada de varios pedazos, cada uno de los cuales es una grafica conexa. A los pedazos se les llama componentes de la grafica.

2.2.9

Circuito Euleriano
SEYMOUR (2007)21. En una red conexa un circuito que recorra

todos los nodos y todos los arcos pasando una vez por cada arco, se llama circuito euleriano. Si la red no es conexa puede ocurrir que no exista un circuito euleriano.

17
18

MICHA, E. (2003). Ob. Cit. pg. 27. MICHA, E. (2003). Ob. Cit. pg. 26. 19 SEYMOUR LIPSCHUTE, Marc L. (2007). Matemticas Discretas, Tercera Edicin, Mxico. p.160. 20 MICHA, E. (2003). Ob. Cit. pg. 26. 21 SEYMOUR, M (2007). Ob. Cit. pg.169.

Pg. 15

2.2.10

Trayectoria Euleriana BERNARD, KOLMAN y SHARRON (1997)22. Una trayectoria en una grafica G es una trayectoria de Euler si incluye a cada una de las aristas solo una vez. Un circuito de Euler es una trayectoria de Euler que es a la vez un circuito. CALCEDO y DE GARCIA (2010)23. el problema de determinar un circuito euleriano de longitud mnima de una red conexa, tambin es llamado El Problema del Cartero o Problema Chino del cartero el cual apareci formulado por primera vez por M. K. Kwan en el Chnese Mathematical Journal. Sus orgenes remontan a 1736 cuando Lonard Euler estudi el problema de los puentes de Konigsberg.

2.3 Puentes de Konigsberg MALVA, VIVIANA Y YANINA. (2005)24.La ciudad de Konigsberg. Situada en Prusia Oriental, en la poca de Euler (1707-1783) y hoy perteneciente a Rusia con el nombre de Kaliningrado es atravesada por el ro Pregel o Pregolia. La parte central de la ciudad se encuentra sobre una isla del rio llamada Kniphof que se une a las dos orillas por cuatro puentes, dos a lado: un quinto puente une a Kniphof con otra Isla que tambin est unida a las orillas por dos puentes, uno haca cada orilla. VALIENTE, G. (2001)25. El origen de la teora de grafos se asocia a menudo con la resolucin que dio Euler del llamado problema de los puentes de Kiinigsberg (1736). Esta antigua ciudad prusiana. Dividida per el rio Progel, que bordea la isla de Kneiphof, tena siete puentes dispuestos como indica la figura 7.1. Los habitantes de esta ciudad se planteaban la cuestin siguiente: es posible, paseando. Hacer un recorrido que pase una
22

BERNARD Robert, KOLMAN Busby y SHARRON Ross. (1997).Estructuras De Matemticas Discretas Para La Computacin, Mxico. p. 204.

CALCEDO B., Alfredo, W. DE GARCIA G. y M. P. R. Mara (2010). Introduccin a la teora de grafos, primera Edicin, pg. 45. 24 MALVA A., S. I. C. Viviana y F. Yanina. (2005).Matemtica Discreta con aplicaciones a las ciencias de la programacin y de la computacin. Universidad nacional de Litoral, Santa feArgentina. pg. 332 25 VALIENTE, Gabriel. (2001). Matemtica Discreta, Barcelona-Espaa. pg. 142.
23

Pg. 16

nica vez por cada uno de los siete puentes La resolucin que dio Euler de este problema no solamente responda a esta cuestin, sino que introduca la nocin de grafo y resolva al mismo tiempo un problema de carcter mis general.

Grafica N 05

Pg. 17

CAPITULO

3
Algoritmo de Fleury

En este captulo nosotros consideramos algunos problemas que involucran el hallazgo un camino con alguna propiedad especial en un grfico dado o dgrafos. Primero, nosotros describimos el algoritmo de Fleury por encontrar un camino Euleriano en un grfico de Euler dado.

Y luego algunos ejemplos de algoritmo de Fleury de la cual describimos un algoritmo por encontrar un camino ms corto de cualquier vrtice dado a otro. Con algunos ejemplos didcticos.

Pg. 18

3.1 TRAYECTORIAS Y CIRCUITOS EULERIANOS CON FLEURY

Una Trayectoria de Euler es una trayectoria que recorre todas las aristas de un grafo conexo. Anlogamente, un Circuito de Euler es un circuito que recorre todas las aristas de un grafo conexo. En las secciones anteriores se dejaron abiertas preguntas, como la de los puentes de Konigsberg y la firma del diablo, es claro que todas estas preguntas se resumen a encontrar un circuito de Euler en los grafos correspondientes, esto motiva a una pregunta un poco ms general. Para qu grafos existe un circuito de Euler? Para qu grafos existe una trayectoria de Euler?

Los dos siguientes teoremas dan respuesta a esto.

3.1.1 TEOREMA 1.- Existencia de trayectorias de Euler. .

1. Si un grafo tiene ms de dos vrtices de grado impar, entonces no puede tener una trayectoria de Euler. 2. Si un grafo conexo tiene exactamente dos vrtices de grado impar, entonces tiene por lo menos una trayectoria de Euler. Cualquier trayectoria de Euler debe iniciar en uno de los vrtices de grado impar y terminar en el otro.

Una explicacin sencilla del anterior teorema es la siguiente. Euler observ que para encontrar una trayectoria en un grafo que cruce una sola vez cada arista es necesario que cada vez que la trayectoria tome una arista para llegar a un vrtice, debe haber otra arista distinta que permita abandonarlo para poder continuar con el recorrido.

De esta manera si un vrtice tiene grado impar existe una arista ms que llega al vrtice que las que salen de el, o viceversa, esto convierte al vrtice en un punto final o punto inicial. Por tanto para que exista una trayectoria de Euler es necesario que exista a los ms dos vrtices de grado impar.
Pg. 19

La existencia de la trayectoria cuando el grafo es conexo se ver mas adelante con el algoritmo de Fleury. Ahora, sino se desea una trayectoria sino un circuito de Euler es necesario que el punto final coincida con el punto inicial, por tanto el grafo no puede tener vrtices de grado impar como lo muestra el siguiente teorema.

3.1.2 TEOREMA 2. Existencia de circuitos de Euler.

1. Si en un grafo algn vrtice tiene grado impar, entonces no puede tener un circuito de Euler. 2. Si todos los vrtices de un grafo conexo tienen grado par, entonces hay por lo menos un circuito de Euler.

3.2 ALGORITMO DE FLEURY

Definicin.- El algoritmo de Fleury permite determinar un circuito de Euler, y un circuito de Euler es aquel ciclo que recorre todos los vrtices pasando por todos los lados solamente una vez.

Un grafo tiene un circuito de Euler si y solo si es conexo y todos sus vrtices tienen valencia par.

Por lo que definiremos sobre el algoritmo de Fleury que define diferentes autores que se describe en ello.

Segn MICHA (2003) de Fleury.

26

, en su libro Matemticas Discretas define algoritmo

Los teoremas de Euler nos proporcionan criterios muy simples para decidir si una grafica posee una trayectoria o un circuito de Euler. Desafortunadamente los teoremas de Euler no nos ayudan a encontrarlos en el caso de que si

26

MICHA, E. (2003). Ob. Cit. pg. 37.

Pg. 20

existan. Ya vimos el caso de graficas sencillas podemos reconstruir las trayectorias o circuitos de Euler por medio de ensayo y error.

Por ejemplo, si nos dan una grafica con solo 6 vrtices, todo de grado par, es muy probable que sea tan fcil construir un circuito de Euler por medio de ensayo y error como por medio de la aplicacin de un procedimiento sistemtico. Sin embargo, la mayora de las graficas que surgen de situaciones prcticas pueden tener cientos o miles de vrtices. Para este tipo de graficas es necesario usar un algoritmo. Ya vimos que en una grafica conexa, un puente es una arista tal al la, la grafica se vuelve disconexa.

El algoritmo de Fleury nos instruye que viajemos por un puente solo como ltimo recurso. Es decir, solamente podemos usar un puente cuando este sea la nica arista que se pueda usar para continuar el recorrido. En un lenguaje coloquial podemos resumir la regla fundamental del algoritmo de Fleury en la siguiente frase: No cruces un puente a menos que no te quede otro remedio

GRIMALDI (1994)

27

, en su libro Introduction to Graph Theory,en donde

seala sobre el algoritmo de Fleury para hallar un circuito Euleriano en un grafo simple G= (V, E) Euleriano:

Comenzamos de un vrtice cualquiera v, elegimos una arista e1 = {v, u}, entonces formamos la cadena v, u. Y luego en u, elegimos una arista e2 = {u, w} y formamos la cadena v,u,w y as sucesivamente. Para que la cadena obtenida al final del proceso sea euleriana en cada paso i debemos elegir para continuar la cadena, una nueva arista ei tal que si quitamos esta arista en el grafo G [ E- { conexo.

e1, ...., ei-1 } ]

se obtenga un grafo

27

RALPH GRIMALDI. Addison Wesley. (1994).Introduction to Graph Theory. Editorial Prentice Hall. pg. 115

Pg. 21

SEZ, Alfonso28, en su

texto Matemtica discreta de la Universidad de

Valladolid, en donde seala sobre el algoritmo de Fleury (Grafos Eulerianos) que permite encontrar una trayectoria o circuito de Euler. Y un puente es una arista tal que al quitarla del grafo, el grafo se convierte en un grafo disconexo.

Los pasos a seguir en el algoritmo de Fleury para encontrar una trayectoria de Euler son:

1. Verificar que el grafo cumpla con los criterios de grafos Eulerianos (todos los vrtices deben tener grado par, salvo dos como mucho). 2. Escoger un vrtice de grado impar. En caso de que no exista, se puede escoger cualquier vrtice. 3. En cada paso, recorre cualquier arista disponible, eligiendo un puente solo cuando no haya alternativa. Al recorrer la arista borrarla y continuar el proceso hasta que todos los vrtices tengan grado cero.

M. ALDOUS, Joan, ROBIN J. Wilson (2000)29.

En el Captulo 3seala

sobre El Algoritmo de Fleury, en donde describe cmo construir un camino Euleriano en un grfico de Euler dado combinando ciclos. Otra manera de construir un camino Euleriano es usar el siguiente algoritmo.

Algoritmo de Fleury Paso 1.- Se comienza en un vrtice cualquiera .

(O en un impar si hay dos vrtices impares) Paso 2.- Si se ha construido el camino ... con con las

aristas distintas, se elige la arista siguiente condiciones:

28

POBLACIN SEZ, Alfonso Jess, Matemtica discreta (Universidad de Valladolid). pg. 40. 29 M.ALDOUS, Joan, ROBIN J. Wilson (2000) Graph and Aplications.Editorial Springer, Londres.pg. 202

Pg. 22

(1)

incidente con }

(2) no ser puente en el grafo G{ (Salvo que no haya alternativa).

Paso 3.- Se sigue hasta que el camino contenga todas las aristas.

RAMOS, S. y SARAVIA

30

,en su libro Investigacin Operativa Teora de

Grafos o Redes de la Universidad pontificia Comillas, Espaa. En desarrolla sobre el Algoritmo de Fleury.

Si una red es conexa y tal que todos sus vrtices son de grado par es posible recorrer todas sus aristas de un solo trazo sin necesidad de corregir el trayecto segn el siguiente esquema:

Salir de un vrtice cualquiera. Cada vez que recorramos una arista procedemos a tacharla. Cuando todas las aristas que inciden en un vrtice han sido tachadas, tachamos dicho vrtice. No utilizar nunca una arista que, en el momento considerado, sea un itsmo.

Ross y C. Wright (1990)

31

en su texto Matemticas Discretas en donde

seala sobre los pasos de algoritmo de Fleury.

Paso 1. Empiece en cualquier vrtice V de valencia impar si es que lo haya. Si no lo haya empiece en cualquier vrtice V. Sea Vs = [ V ] y sea Es= [ ]. Paso 2. Si no hay ninguna arista que pase por V, pare.

30

RAMOS A., L. Pedro, SNCHEZ P., SARAVIA A., V. Begoa. Investigacin Operativa Teora de Grafos o Redes. Universidad pontificia Comillas, Espaa. . pg. 69. 31 K. Ross y C. Wright (1990) Matemticas Discretas, pg. 423

Pg. 23

Paso 3. Si hay exactamente una arista que pase por V, digamos arista (E, [V, W]), entonces sustraiga a arista E del grafo A (G) y a V sus vrtices V(G) y siga con el paso 5. Paso 4. Si hay ms de una arista en V, elija una de ellas, digamos E, tal que arista (E, [V, W] ), de tal modo que su eliminacin no desconecte la grfica; quite entonces a E de A(G). Paso 5. Aada W al final de W y regrese al paso 2.
32

, aada E al final de Es, reemplace V por

Segn el autor MICHA (2003)

, define las reglas bsicas del algoritmo de

Fleury para encontrar circuitos de Euler.

Regla 1. Cercirate que la grafica sea conexa y que todos sus vrtices tengan grado par. Regla 2. Elige un vrtice inicial (de manera arbitraria). Regla 3. En cada caso paso, recorre cualquier arista disponible, eligiendo un puente solo cuando no haya alternativa. Regla 4. Despus de recorrer cualquier arista, borrarla y recorre otra arista disponible. Borra los vrtices de grado cero que resulten. Regla 5. Cuando ya no puedes seguir el recorrido, para. (Habrs encontrado un circuito de Euler!)

BORREGO R., Rafael y R. DOMNGUEZ. Daniel

33

en el Proyecto fin de

carrera de la Escuela Tcnica Superior de Ingeniera Informtica Departamento Matemticas Aplicadas I. 1. El algoritmo de Fleury trata de buscar una trayectoria euleriana en un grafo conexo y en el que no existen ms de dos vrtices de grado impar. 2. La implementacin del algoritmo se ha realizado mediante tcnicas de programacin dinmica combinada.
32

MICHA,E;(2004) Ob. Cit. Pg. 38.

BORREGO R., Rafael y R. D. Daniel, Proyecto fin de carrera Escuela Tcnica Superior de

33

Ingeniera Informtica Departamento Matemticas Aplicadas I.pag. 174.

Pg. 24

3. La heurstica seguida para encontrar la trayectoria euleriana es la siguiente. Se comprueba que previamente que el grafo satisface las condiciones para que exista dicha trayectoria. 4. Seguidamente no situamos en unos de los vrtices impares si existen o en caso contrario uno cualquiera de grado par. 5. A continuacin de todos los vrtices adyacentes respecto al que estamos situados escogemos el primero segn orden existente en la matriz de adyacencias y al ser posible que no sea una arista puente salvo que no exista ninguna otra alternativa. 6. Una vez seleccionada la arista, esta no vuelve a tenerse en cuenta por lo que es como si la hubiramos eliminado del grafo. 7. Repetimos este proceso hasta recorrer todas las aristas del grafo, pudiendo repetir vrtices. Segn SARAVIA (1996)34El algoritmo de Fleury permite obtener los ciclos Eulerianos para algunas redes particulares. As, si A es una red conexa, mltiple v tal que todos sus vrtices son de grado par podemos recorrer todas las aristas de un solo trazo, sin que tengamos que corregir nuestro trayecto, si seguimos la siguiente regla: salir de un vrtice cualquiera, cada vez que recorramos una arista procederemos a tacharla. no utilizaremos nunca una arista que, en el momento considerado, sea un istmo; es decir, cuya supresin genere dos componentes conexas cada una de las cuales tenga al menos una arista.

Gracias a los teoremas de Euler es posible saber si un grafo dado tiene trayectorias o circuitos de Euler, lastimosamente estos teoremas no indican la manera de encontrar dicho recorrido. En esta seccin se mostrarn una serie de instrucciones muy sencillas conocidas como El algoritmo de Fleury las cuales permitirn encontrar una trayectoria o circuito de Euler en caso de que este exista. Una definicin preliminar necesaria es la de puente. Un puente es una arista tal que al quitarla grafo se convierte en un grafo disconexo.
34

SARAVIA V. ngel (1996).Investigacin Operativa, editorial Ortega, Espaa .pg. 28.

Pg. 25

Los pasos a seguir en El Algoritmo de Fleury para encontrar una trayectoria de Euler son los siguientes:

1. Verificar que el grafo cumpla con las hiptesis expuestas en los teoremas trayectorias de Euler. 2. Escoger un vrtice de grado impar. En caso de que no exista, se puede escoger cualquier vrtice. 3. En cada paso, recorre cualquier arista disponible, eligiendo un puente solo cuando no haya alternativa. Al recorrer la arista borrarla y

continuar el proceso hasta que todos lo vrtices tengan grado cero.

3.3 EJEMPLOS DE ALGORITMO DE FLEURY

Ilustraremos el uso del algoritmo del Fleury considerando algunos ejemplos. que a continuacin se explica con el siguiente ejemplo:
EJEMPLO 01:

La grafica de la figura tiene todo sus vrtices de grado para, y por tanto tiene al menos un circuito de Euler.

Inicio: Elegimos el vrtice A. Pudimos haber elegido cualquier vrtice

Pg. 26

Paso 1: Elegimos la arista AB. Desde a hay tres aristas disponibles. La arista AB, la arista BC y la arista AD.como ninguna es puente, se puede elegir cualquier.
B

Paso 2: Elegimos la arista BC. No hay alternativa.

B

Paso 3: Elegimos la arista CA. Desde C hay dos aristas disponibles. La arista CA y la arista CD.
B

Paso 4: Elegimos la arista AD. Desde A hay dos aristas disponibles. La arista AD y la arista AG.
B

Pg. 27

Paso 5 y 6: Elegimos la arista DC Y CE. No hay alternativa en cada paso.

B

Paso 7: Elegimos la arista EG. Desde E hay tres aristas disponibles. La arista EG, la arista EF y la arista EA. Como ninguna es un puente, se puede elegir cualquiera.
A

Paso 8: Elegimos la arista GF. Desde C hay tres aristas disponibles. La arista GF y GH no son puentes y se puede elegir cualquier de ellas. La arista GA no se puede elegir porque es puente.

G E

Paso 9, 10 11 y 12: Elegimos la arista FE, EH, HG y GA. No hay alternativa en cada caso.

Pg. 28

Como ya no podemos seguir, hemos terminado! El circuito de Euler que obtuvimos es: A, B, C, A, D, C, E, G, F, E, H, G, A que es uno de

los varios circuitos posibles.

EJEMPLO 02:
A B

La grafica tiene de la figura tiene un circuito de Euler. Sabemos esto porque todo los vrtices tiene grado par .aunque esta grfica es muy simple y

podemos encontrar a un circuito de Euler por ensayo y error, lo encontraremos usando el algoritmo de Fleury para entender cmo funciona Inicio: Elegimos el vrtice F. Paso 1: Elegimos la arista FC.
A B

Pg. 29

Paso 2: Elegimos la arista CD.

Paso 3: Elegimos la arista DA.

Paso 4: Elegimos la arista AC.

Pg. 30

Paso 5: Elegimos la arista CE.

Paso 6, 7,8 y 9: Elegimos la arista EA, AB, BD, y DF.

7 3

6 4

9
E

Como ya no podemos seguir, hemos terminado! El circuito de Euler que obtuvimos es: posibles. 3.4 ALGORITMO DE FLEURY PARA ENCONTRAR CIRCUITO DE EULER Nos preguntamos Qu pasa en el caso de trayectoria de Euler? MICHA (2003)35, sostiene Si una grafica conexa tiene exactamente dos vrtices de grado impar, entonces sabemos por los teoremas de Euler que no tiene un circuito Euler pero si tiene al menos una trayectoria de euler que empieza y termina en dichos vrtices. Podemos encontrar una trayectoria de euler usando una versin modificada del algoritmo de Fleury.
35

F, C, D, A, C, E, A, B, D, F que es uno de los varios circuitos

MICHA, E. (2004) Ob. Cit. Pg. 42-43.

Pg. 31

Esta modificacin consiste: Regla 1 modificada: cercirate que la grfica sea conexa y que tenga exactamente dos vrtices de grado impar. Regla 2 modificada: elige como vrtice inicial uno de los vrtices de grado impar. Cuando se apliquen estas reglas, el recorrido terminara en el otro vrtice de grado impar! 3.4.1 EULERIZACION Y SEMI- EULERIZACION DE GRAFICAS Supongamos que necesitamos disear una ruta eficiente para un camin recolector de basura que debe recorrer todas las calles del mapa de la siguiente grfica A B c

En donde cada arista representa una calle y cada interseccin de calles est representada por un vrtice, constituye un modelo matemtico para el problema. En trminos del grafica se puede disear la ruta ms eficiente para camin recolector de basura en: Entonces la pregunta es podemos encontrar un circuito de Euler o una

trayectoria de Euler en la grfica?

Pg. 32

Como la grfica tiene cuatro vrtices de grado impar (A, B, F y G),la respuesta es no. Cmo encontrar una ruta que cubra todas las calles y en la que el nmero de calles que tenga que volver a recorrer sea el menor posible? En la siguiente grafica se muestra que se obtiene al agregarle una copia de cada de las aristas AB y FG a la grfica anterior.

1
7

2 8 12 3 D 11 5

10

El efecto agregar dos aristas al grfica es el de eliminar los cuatro vrtices de grado impar. Todos los vrtices de la grfica son de grado par y por tanto tiene un circuito de Euler. En este recorrido estamos viajando a lo largo de todas las aristas de la

grafica, pero pasando dos veces por las aristas AB y FG. A pesar de que ste no es un circuito de Euler para la grafica original, es un circuito que describe el recorrido ms eficiente (con menor de aristas duplicadas)que cubre toda la grfica y que inicia y termina en el vrtice A.

Pg. 33

3.5 PSEUDOCODIGO DEL ALGORITMO DE FLEURY. Bondy

36

en Graph Theory,donde da sobre programacin de el Algoritmo

de Fleury. 1: nodo = SeleccionarNodo( ConjuntoNodos) (La funcin SeleccionarNodo elegir un nodo de grado impar si es posible) 2: WHILE (ConjuntoNodos VACO ) DO arista = SeleccionarAristaAdyacenteNodo(nodo) (La funcin SeleccionarAristaAdyacenteNodo elegir una arista puente solamente como ltimo recurso) 3: ConjuntoAristas = ConjuntoAristas arista ConjuntoNodos=QuitarVercicesCardinalidadCero(ConjuntoNodos) IF ConjuntoNodos VACO THEN nodo = SeleccionarNodoAdyacenteArsita( arista, ConjuntoNodos) END IF END WHILE 4: FIN DEL ALGORITMO.

3.6 COLORACIN DE GRAFO CON EL ALGORITMO DE FLEURY La Coloracin de Grafo con el Algoritmo de Fleury Euleriano:
37

. Para un camino de

1. Escoge uno de los dos vrtices de grado impar como el arranque el punto. 2. Viaje encima de cualquier borde en cuyo levantamiento no irrumpir el grfico los componentes desconectados. 3. Color que el borde simplemente cruz, y entonces viaja encima de cualquier borde de quien el levantamiento no romper el subalternogrfico restante en los componentes desconectados. 4. Repite hasta que todos los bordes estn coloreados (es decir cruz).

36 37

J. A. Bondy, U. S. R. Murdy.Graph Theory. Pag. 87 Eulerian Paths and Circuits, Reading: Lecture Notes x9.3; Epp x11.2 (mayo 2011) slide 14.

Pg. 34

3.7 PROBLEMA DEL CARTERO

3.7.1 ALGORITMO DEL CARTERO CHINO

Es una aplicacin de la solucin de redes de flujo con arcos dirigidos. Hay un nmero de rutas que se pueden trazar uniendo una serie de vrtices de tal manera de visitarlos a todos al menos una vez.38

Euler plante el problema de trasladar un desfile militar atravesando los siete puentes de su ciudad natal. Estudiando la configuracin de los puentes y las calles encontr que no exista solucin factible y propuso una serie de leyes matemticas para hallar todos los recursos existentes en una red. As se ha definido como un circuito Euler a toda ruta que, sea continua, que cubra cada arco de la red al menos una vez y que regrese a su punto de partida.

Si los arcos no son unicursivos, (en una sola direccin) se pueden utilizar reglas muy sencillas para saber si hay una solucin de ruta Euler. Si el nmero de vrtices en la red es un nmero impar, existe una solucin tipo Euler; de ser un nmero par, no existe dicha solucin y algunos arcos deben ser trazados ms de una vez.

Fue una revista china de matemticas donde se plante por primera vez una solucin ptima a un circuito Euler. Describiendo las actividades de un cartero en caminar su ruta postal (en otras palabras "la ruta del cartero chino"). En este problema la ruta buscada es la que reduce la distancia viajando a lo largo de las calles (arcos) un correos. sentido nico y de regreso a su central de

Suposiciones en que se basan estos algoritmos.

Curso de Investigaciones de operaciones II (2007-I), Facultad de Ingeniera Industrial y de Sistemas. Universidad Nacional de Ingeniera.pag.9.

38

Pg. 35

1. Los costos unitarios de transportacin son independientes de la cantidad de residuos slidos transportados. 2. Se cuenta con un nmero ptimo de sitios de disposicin final o de estaciones de transferencia. 3. La generacin de residuos slido es fija, no variable y siempre fijada en un sitio. 4. No existen restricciones de capacidad en el sitio de disposicin final o estacin de transferencia al aceptar los residuos slidos recolectados. 5. El tiempo en que la solucin ptima es aplicable es limitado (o en otras palabras no est incluido el factor tiempo en la formacin del algoritmo).

3.7.2 APLICACIN UTILIZANDO EL ALGORITMO DEL CARTERO.

Hallar la ruta optima de entrega de correspondencia partiendo del punto A abarcando todos los nodos y regresando al punto de partida, utilizando un tiempo y costo ptimo.39

En el diagrama adjunto mostramos el circuito de recorrido del cartero.

39

Curso de Investigaciones de operaciones II (2007-I). Ob. Cit. Pg. 17.

Pg. 36

Solucin:

3.8.3 DIAGRAMA DEL ALGORITMO DEL CARTERO CHINO Este diagrama muestra que existe otra alternativa para resolver el algoritmo del cartero utilizando otros algoritmos, como el de Fleury, Edmonds, Diestra, Euler, etc.40

40

Curso de Investigaciones de operaciones II (2007-I). Ob. Cit. Pg. 24.

Pg. 37

Pg. 38

CONCLUSIONES

Luego de entender la teora presentada en las secciones anteriores es posible argumentar una respuesta a los teoremas de Euler sobre el algoritmo de Fleury se concluye que:

Los teoremas de Euler nos proporcionan criterios muy simples para decidir si una grafica posee una trayectoria o un circuito de Euler. Desafortunadamente los teoremas de Euler no nos ayudan a encontrarlos en el caso de que si existan. El algoritmo de Fleury nos instruye que viajemos por un puente solo como ltimo recurso. Es decir, solamente podemos usar un puente cuando este sea la nica arista que se pueda usar para continuar el recorrido.

Gracias a los teoremas de Euler es posible saber si un grafo dado tiene trayectorias o circuitos de Euler.

El algoritmo de Fleury las cuales permitirn encontrar una trayectoria o circuito de Euler en caso de que este exista. Una definicin preliminar necesaria es la de puente.

Pg. 39

RECOMENDACIONES

Se sugiere a los docentes del curso de estructuras descrestas a seguir fomentando la investigacin, y a que ello ayuda al estudiante de

ingeniera de sistemas y reas a fines a su formacin profesional.

As mismo a los docentes de la escuela profesional de ingeniera de sistemas, que tiene en sus cursos respectivamente que desarrollan en las aulas pedaggicas; se hagan las investigaciones para que el estudiante pueda adecuarse a la competitividad y a la excelencia.

Se sugiere a

la direccin de estudios

incorporar el curso de

investigacin cientfica, y se realice talleres de investigacin.

Pg. 40

BIBLIOGRAFA

BORREGO ROPERO, Rafael y RECIO DOMNGUEZ, Daniel. (2006). Manual de algortmica, Proyecto fin de carrera Escuela Tcnica Superior de Ingeniera Informtica Departamento Matemticas Aplicadas I, universidad de SevillaEspaa.

CALCEDO B., Alfredo, W. DE GARCIA G. y M. P. R. Mara (2010). Introduccin a la teora de grafos, primera Edicin, ediciones Elizcom, Quindo - Armenia. Eulerian Paths and Circuits, Reading: Lecture Notes x9.3; Epp x11.2 (mayo 2011)

J. A. Bondy, U. S. R. Murdy.Graph Theory

K. Ross y C. Wright (1990) Matemticas Discretas, Editorial Prentice HallMexico.

M. ALDOUS, Joan, ROBIN J. Wilson (2000) Graph and Aplications.Editorial Springer, Londres-Inglaterra.

M.G.SnchezTorrubia,C.TorresBlanc, J. Castellanos, Defining eMathTeacher Tools and Comparing them with e&bLearning web based tools. Proceedings of the 2007 International Conference on Engineering and Mathematics (ENMA 2007). (Bilbao, Spain, 7-9 July 2007).

MALVA A.,S. Ingrid C. , Viviana y F. Yanina. (2005).Matemtica Discreta con aplicaciones a las ciencias de la programacin y de la computacin. Primera Edicin, Universidad nacional de Litoral, Santa fe-Argentina.

MICHA, Elas (2003).Matemticas Discretas. Editorial Limusa Grupo noriega editores. Mexico.

Pg. 41

POBLACIN SEZ, Alfonso Jess. Matemtica discreta (Universidad de Valladolid)

RALPH GRIMALDI. Addison Wesley.(1994). Introduction to Graph Theory. Editorial Prentice Hall-Mxico.

RAMOS A., L. Pedro, SNCHEZ P., SARAVIA A., V. Begoa. Investigacin Operativa Teora de Grafos o Redes. Universidad pontificia Comillas, MadridEspaa.

SALAZAR GONZALES, J. Pablo. (2001).Programacin Matemtica, Ediciones de santos, Madrid-Espaa.

SARAVIA VIEJO, ngel (1996).Investigacin Operativa. Universidad pontificia comillas, Editorial Ortega, Espaa

Pg. 42

INDICE Dedicatoria. Presentacin. Introduccin.. Prologo .. CAPITULO I :INTRODUCCION A GRAFOS 1.1 Teora de grafos . 1.2 Qu es un grafo?........................................................................ 1.3 Elementos 1.4 Estructura 1.5 Grafos orientados . 1.6 Grafos no orientados CAPITULO II:CIRCUITO EULERI ANO 2.1 Definiciones bsicas 2.2 Definiciones bsicas. 2.2.1 Grado 2.2.2 Vrtices adyacentes 2.2.3 Trayectoria 2.2.4 Camino. 2.2.5 Ciclo. 2.2.6 Circuito. 2.2.7 Grafo conexo 2.2.8 Grafica disconexa.. 2.2.9 Circuito Euleriano.. 2.2.10 Trayectoria Euleriana.. 2.3 Puentes de Konigsberg.. CAPITULO III:ALGORITMO DE FLEURY 3.1 Trayectorias y circuitos Eulerianos con Fleury .. 3.1.1 Teorema 1.- existencia de trayectorias de Euler.. 3.1.2 Teorema 2. Existencia de circuitos de Euler 3.2 Algoritmo de Fleury (definiciones bibliogarficas).. 3.3 Ejemplos de algoritmo de Fleury 3.4 Algoritmo de Fleury para encontrar circuito de Euler.. 3.4.1 Eulerizacion y Semi- Eulerizacion de graficas 3.5 Pseudocdigo del algoritmo de Fleury.. 3.6 Coloracin de grafo con el algoritmo de Fleury . 3.7 Problema del cartero . 3.7.1 Algoritmo del cartero chino. 3.7.2 Aplicacin utilizando el algoritmo del cartero.. 3.7.3 Diagrama del algoritmo del cartero chino. Conclusiones Recomendaciones Bibliografa Pg. 2 Pg. 3 Pg. 4 Pg. 5

Pg. 7 Pg. 7 Pg. 8 Pg. 8 Pg. 9 Pg.10

Pg.13 Pg. 13 Pg.13 Pg.13 Pg.13 Pg.14 Pg.14 Pg.15 Pg.15 Pg.15 Pg.15 Pg.16 Pg.16 Pg.19 Pg.19 Pg.20 Pg.20 Pg.26 Pg.31 Pg.32 Pg.33 Pg.34 Pg.35 Pg.35 Pg.36 Pg.37 Pg.39 Pg.40 Pg.41

Pg. 43