Informe Matemticas II

rbol de Expansin
Mnima

Profesor

: Ismael Valdivia

Integrantes : Alfonso Bustamante

Benjamn Alonso

ndice
1. Introduccin y objetivos.3
2. Descripcin de los fundamentos tericos4
3. Desarrollo de la aplicacin en el rea
3.1. Descripcin del problema.5
3.2. Tabla de desarrollo de aplicacin a redes de transito urbano6
4. Conclusiones.8
Bibliografa.9

1. Introduccion y objetivos
Cuando en 1736 Leonhard Euler describi por primera vez el concepto de grafo en su
trabajo sobre los puentes de Knigsberg, emergio tambin la idea de redes
invariantes que luego en el transcurso del siglo XX, con los desarrollos del
matemtico hngaro Gyula Konig y el matemtico frances Claude Berge, llevara
junto a la interpretacin de flujos en redes en la dcada del 20, a la aparicin del
problema del Arbol de flujo mnimo o Minimum Spanning Tree (MST).
El concepto desarrollado Por Berge (1970: 18) a partir del trabajo de Euler fue la
definicin de grafo como una dos tupla de vrtices y aristas,
G=(V,A),
donde las aristas eran una funcin que de un vrtice a una funcin f lleva a este a un
conjunto de vrtices Aa -esto es: f(a)=Aa para referir al asunto de manera mas
formal- tal que fuera sub conjunto del conjunto total de vrtices V del grafo
referencial G.
En su trabajo sobre la historia de los algoritmos de rbol minimo, Nesetril y
Nesetrilova (2012: 127-141) cuentan como los primeros desarrollos en torno al tema
del MST fueron dados por el matemtico checo Otakar Boruvka en tres papers
publicados en 1926, dos de los cuales versaron sobre optimizacin lineal de sistemas
conexos, del cual uno de ellos, cuentan los autores (pp. 133-136), sobre el problema
del flujo minimo, fue citado por Joseph Kruskal y Robert Prim, quienes habran
actualizado su trabajo a los estndares modernos desarrollados por la teora de
grafos moderna por parte de Berge, como tambin los trabajos del matemtico
Hungaro Paul Erdos.
El objetivo del MST es, a partir de un grafo conexo, construir un
rbol o subgrafo sin ciclos, conteniendo todos los vrtices del
grafo inicial y con la suma de distancias o pesos mnimos posibles.
Es decir, buscamos la expansin mnima.
Un grafo de ciclo es un grafo cuyos nodos forman una figura
cerrada a partir de un camino de aristas C={(v1, v2), , (vn-1, vn),
(vn, v1)} y un rbol, es un grafo cuyas aristas crean una figura como
la que se presenta a la izquerda.
A continuacin, presentaremos el modelo que utilizaremos y la bibliografia referida
para aplicar el MST a un problema de Flujo Minimo en redes de transito urbano.

2. Descripcin de los fundamentos Tericos

Robert Primm, desarrolla el MST en 1957, que es un re-descubrimiento del trabajo
de Borouvka, y lo que buscaba era solucionar un problema de Minimo flujo de
comunicaciones para la entonces Bell Telephone (1957: 36), el cual puede ser
descrito de la siguiente manera:
Algoritmo de Prim
Los pasos son:
1. Se marca un nodo cualquiera, ser el nodo de partida.
2. Seleccionamos la arista de menor valor incidente en el nodo marcado
anteriormente, y marcamos el otro nodo en el que incide.
3. Repetir el paso 2 siempre que la arista elegida enlace un nodo marcado y otro
que no lo est.
4. El proceso termina cuando tenemos todos los nodos del grafo marcados.
Los pasos anteriormente enunciados, fueron obtenidos del algoritmo descrito en
Pseoudocodigo por Moreno y Ramirez (2011: 72) en su captulo dedicado al MST.
Tras la segunda Guerra mundial, el uso y optimizacin de flujo de datos y de
transporte, se vuelve algo fundamental que modelar para hacer de los costos de
produccion y de traslado sean los minimos en comparacin al volumen que se
intercambia. Particularmente, en transporte, se aplican grafos al llamado
problema de Hitchcock (Berge, pp. 286-287) donde se trata de establecer el
itinerario de barcos tanques petroleros sabiendo que existen N puertos de
embarque y que el costo de viaje de un Puerto a otro es D. Es en un problema
similar, que aplicaremos el algoritmo anterior: flujo de transito en una red
urbana.

3. Desarrollo de aplicacin en el area

3.1. Descripcion del problema
El siguiente problema, esta basado en un encuniciado del libro Matematicas
Discretas de Lipschutz & Lipson (2007: 225). Para una ciudad esta planificando la
construccin de una lnea de sistemas de transito que conecte 7 zonas principales de
la ciudad. (A, B, C, D, E, F, G). Donde los kilmetros entre ellas se representan son un
numero en el arista correspondiente. Cada kilmetro de construccin le costara al
trnsito 4 millones.
El transito desea acortar la distancia de traslacin entre las 7 zonas pero asegurando
no gastar demasiado del presupuesto. Es decir, desean optimizar la construccin por
kilmetro recorrido.

Teniendo en cuenta las distancias entre las zonas, se puede resolver de la siguiente
manera, utilizando el algoritmo Prim, descrito en la seccion anterior.

3.2. Tabla de desarrollo de la aplicacion a redes de transito urbano

Imagen

Descripcin

No visto

En el grafo

En el arbol

Este es el grafo
ponderado de
partida. No es un
rbol ya que requiere
que no haya circuitos
y en este grafo los
hay. Los nmeros
cerca de las aristas
indican el peso.
Ninguna de las
aristas est marcada,
y el vrtice D ha sido
elegido
arbitrariamente
como el punto de
partida.
El segundo vrtice es
el ms cercano a D: A
est a 5 de distancia,
B a 9, E a 15 y F a 6.
De estos, 5 es el
valor ms pequeo,
as que marcamos la
arista DA.

C, G

A, B, E, F

C, G

B, E, F

A, D

El prximo vrtice a
elegir es el ms
cercano a D o A. B
est a 9 de distancia
de D y a 7 de A, E
est a 15, y F est a
6. 6 es el valor ms
pequeo, as que
marcamos el vrtice
F y a la arista DF.

B, E, G

A, D, F

El algoritmo
continua. El vrtice
B, que est a una
distancia de 7 de A,
es el siguiente
marcado. En este
punto la arista DB es
marcada en rojo
porque sus dos
extremos ya estn en
el rbol y por lo tanto
no podr ser
utilizado.

null

C, E, G

A, D, F, B

Aqu hay que elegir

entre C, E y G. C est
a 8 de distancia de B,
E est a 7 de
distancia de B, y G
est a 11 de distancia
de F. E est ms
cerca, entonces
marcamos el vrtice
E y la arista EB. Otras
dos aristas fueron
marcadas en rojo
porque ambos
vrtices que unen
fueron agregados al
rbol.
Slo quedan
disponibles C y G. C
est a 5 de distancia
de E, y G a 9 de
distancia de E. Se
elige C, y se marca
con el arco EC. El
arco BC tambin se
marca con rojo.

null

C, G

A, D, F, B,
E

null

A, D, F, B,
E, C

G es el nico vrtice
pendiente, y est
ms cerca de E que
de F, as que se
agrega EG al rbol.
Todos los vrtices
estn ya marcados, el
rbol de expansin
mnimo se muestra
en verde. En este
caso con un peso de
39.

null

null

A, D, F, B,
E, C, G

4. Conclusiones
El Arbol de Expansion minima, como problema de optimizacin, es una
herramienta cuyo alcance no solo se queda en el transito urbano como hemos
visto en la seccin aterior: se puede extender a las redes econmicas de poder, al
anlisis de datos de twitter o Facebook para una empresa de publicidad o como
no, a las redes de geolocalizaciones de satlites en orbita a la atmosfera terrestre,
que pueden ayudar a obtener mejor informacin sobre el planeta y su geografa
humana.
Un problema como este, puede permitir desarrollar tambin redes de
organizacin labora, al ver, por ejemplo, cual es la red biparita de trabajadores
mas optima para que la empresa pueda maximizar su produccin con la red
social que mejor ambiente laboral crea.
En conclusin, desde que fuera el esbozo de un matemtico checo hasta la
solucin para un problema practico para la Bell telephone, el rbol de flujo
minimo ha reprsentado, junto con la teora de grafos, un avance que lejos de
quedar enterrado en el muro de lo obsoleto, ondea aun en la bandera de la
vanguardia y el futuro.

Bibliografa
Berge, C. (1970) Teora de grafos. Primera edicin, Mexico, J.CECSA.
Nesetril & Nesetrilova. 2012. The origins of Minimal Spanning Tree Algorithms.
(en lnea). Disponible en http://www.math.uiuc.edu/documenta/volismp/30_nesetril-nesetrilova.pdf Documento conultado el 9 de diciembre del
2014.
Moreno & Ramirez. (2011). Grafos: fundamentos y algoritmos. Primera edicin,
Chile, JC Saez Editor.
Lipschutz & Lipson (2007) Matematicas Discretas. Tercera edicin, Mxico,
McGraw Hill.