Revista de Matematica: Teor y Aplicaciones 2010 17(1) : 6980 a cimpa ucr issn: 1409-2433

diseno optimo de redes y enrutamiento de computadoras: caso practico

optimal design of networks and routing of computers: practical case

Carlos A. Perez Enr quez Sergio G. de-los-Cobos-Silva Received: 16 Apr 2009; Revised: 27 Oct 2009; Accepted: 30 Oct 2009

Palabras clave: Optimizacin de redes, Problema tipo Steiner, Algorito mos heursticos. Keywords: Networks optimization, Steiner problems, heuristics algorithms. Mathematics Subject Classication: 8M10, 90C35, 65K99.

Departamento de Ingenier Elctrica, Universidad Autonnoma Metropolitana a e o Iztapalapa, Av. Michoacn y La Pur a sima s/n, Col. Vicentina, Del. Iztapalapa, Mxico e D.F., C.P. 09340 Mxico; E-Mail: carlosperez@mythosmexico.com e Misma direccin que C.A. Prez. E-Mail: cobos@xanum.uam.mx o e

69

70

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

Resumen En este trabajo se introduce al problema de enrutamiento y diseo ptimo de redes de computadoras, las cuales deben de satisn o facer ciertas condiciones prcticas de interconectividad. Se presenta a aproximacin por medio de los problemas tipo Steiner y se realiza o la bsqueda de soluciones robustas y econmicas. u o Abstract This work introduced to the problem of routering and optimum design of networks of computers that must satisfy certain practical conditions of interconnectivity. This paper show an approach style Steiner problems, and search robust and more economic solutions.

Introduccin o

Una red de comunicaciones se compone de un conjunto de nodos emisoresreceptores de informacin, conectados por enlaces que permiten la transo misin de la informacin de modo unidireccional, bidireccional o multidio o reccional. Habitualmente se suele diferenciar entre ciertos nodos, denominados unos como nodos terminales de la red de comunicaciones, sobre los que se plantean requisitos de conectividad, y otros nodos que se utilizan exclusivamente como conectores intermedios en los caminos de comunicacin de informacin entre nodos terminales. El rpido desarrollo de la o o a infraestructura de redes de comunicaciones, dise o de software y servicios n por Internet ha sido propulsado por la gran demanda de comunicaciones de datos en los ultimos a os. Por este motivo, se ha renovado el inters en n e los problemas de dise o estructural a que se reere el ruteo de informacin. n o Una de las principales metas en la actualidad, es lo que se conoce como el dise o de una red conable. Usualmente la minimizacin de los n o costos de las conexiones en una red de comunicaciones y la maximizacin o de su conabilidad respecto a la integridad y conanza de la informacin o enviada y recibida parecer que son objetivos contrapuestos. La conan abilidad la consideraremos en este trabajo como los requerimientos de conectividad (n mero de posibles alternativas de conexin entre nodos y u o se considerar como un parmetro dado por el usuario) entre equipos de a a cmputo, es decir el n mero m o u nimo de caminos distintos entre nodos, proporcionando a su vez buenas velocidades de conexin. Como ejemplo, un o modelo que minimice el costo total de la red sin contemplar restricciones adicionales de conectividad (como los introduce la exigencia de que exista

 diseno optimo de redes y enrutamiento de computadoras 71

Figura 1: esquema de conexiones de la empresa Alfa.

un m nimo n mero de caminos de conectividad entre pares de nodos teru minales) conducir a una topolog de red en forma de rbol. Esta clase a a a de soluciones, que no introducen redundancia de caminos, no son utiles en la mayor de los escenarios de la vida real, ya que no son capaces de a tolerar ni siquiera una simple falla en uno de los componentes de la red. Cualquier deciencia en uno de los nodos o en alg n enlace afectar la u a operatividad de la red, impidiendo la comunicacin al menos entre un par o de nodos terminales.

Denicin del problema o

A continuacin se presenta un problema prctico de cierta empresa que o a en adelante la denominaremos como la compa Alfa, esta empresa cuyo na giro es el nanciamiento para remodelacin de viviendas tiene como una o de sus bases el empleo adecuado de tecnolog para lograr sus propsitos. a o La organizacin interna de la empresa Alfa contiene los siguientes deparo tamentos:

72

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

1. Direccin: Este departamento est encargado de la coordinacin de o a o todo el personal que labora en la empresa. Debido a su poder de toma de decisiones que afectan el desempe o global de la compa n na, este departamento debe poseer acceso a la informacin y comunio cacin con su personal de manera constante e ininterrumpida. o 2. Control de Crditos: Tiene bajo su responsabilidad la autorizacin e o o denegacin de los crditos gestionados por los promotores a solio e citud de los clientes. Como los prstamos son el principal veh e culo nanciero de la compa ia, se requiere que el personal de este den partamento tenga acceso a los sistemas de autorizacin de manera o inmediata. 3. Contabilidad: Seccin encargada de los registros contables de ingreo sos y egresos. El retraso temporal de sus funciones en caso de falla con el sistema central de informacin no supone un alto riesgo en la o salud nanciera de la compa na. 4. Administracin: Se encarga de controlar, planear y dirigir las opeo raciones bsicas de mercadotecnia, recursos nancieros y recursos a humanos. El acceso al sistema central informtico no es necesario a de manera inmediata. 5. Promotores: Esta rea tiene la responsabilidad de establecer el cona tacto con los clientes. Este departamento presenta uno de los mayores retos tecnolgicos ya que los promotores son agentes de campo o y requieren tener la capacidad de conexin remota de manera ino mediata, al sistema central de informacin a travs de los equipos o e porttiles. a Todos estos departamentos usarn un sistema informtico central caa a paz de integrar sinrgicamente la informacin proporcionando la conae o bilidad y eciencia necesaria para otorgar una ventaja competitiva sobre compa similares. nas El sistema informtico central estar instalado en al menos dos equipos a a de cmputo, ubicados en diferentes lugares mejorando as la capacidad de o operacin del sistema para que durante eventualidades no previstas no o se vea afectada. Se presenta un esquema de conexiones de la empresa alfa en la Figura 1, asimismo el Cuadro 1 se indican los costos mensuales en unidades monetarias(u.m.) en que se incurre por cada conexin o entre nodos, as como las velocidades de enlace que proporcionan. En el

 diseno optimo de redes y enrutamiento de computadoras 73 Cuadro 2 se puede observar los requerimientos m nimos de conectividad entre los equipos de la empresa Alfa, estos requerimientos son parmetros a suministrados por el usuario (la empresa Alfa en nuestro caso). Las claves utilizadas en el Cuadro 2 son: 1. Operacin no cr o tica que no requiere redundancia. 2. Toma de decisiones del sistema principal. 3. Toma de decisiones sistema de respaldo. 4. Sincronizacin de servidores. o 5. Acceso remoto.

El problema Steiner generalizado (PSG)

El problema Steiner generalizado es NP-dif cil, tal como se indica en el compendio de problemas de Kahn y Crescenzi(2003), tanto en su versin o con requerimientos de caminos disjuntos en aristas como en su versin para o caminos disjuntos en nodos. Los problemas de k conexin, donde todos o los nodos terminales tienen los requerimientos de k caminos disjuntos, son asimismo NP-dif ciles. El propio problema del rbol de Steiner, que a implica un solo camino para cada par de nodos terminales, planteando la restriccin menos general en cuanto al n mero de caminos exigidos, es o u NP-completo(Crescenzi y Kann(2005)). A continuacin se presenta una formulacin matemtica general que o o a puede utilizarse como base para la solucin del problema, y se preseno tan variantes que simplican la especicacin general del problema y o antecedentes de aplicacin de tcnicas heur o e sticas para la resolucin del o problema generalizado y sus variantes. Se presenta una formulacin del o problema Steiner generalizado basada en la incluida en el compendio de Kahn y Crescenzi(2005) de problemas de optimizacin para los cuales no o existe algoritmo conocido de resolucin eciente en tiempo polinomial, o es decir que termine con solucin ptima global en tiempo polinomial. o o Cabe mencionar que puede existir ocasiones en que ni siquiera exista una solucin factible, por lo que se tendr que relajarse las condiciones, y a n o a u as tampoco habr necesariamente una solucin ptima y se tendr que a o o a recurrir a la idea de soluciones ptimas locales o de soluciones de tipo o multiobjetivo o de soluciones de tipo de dominancia. Considrense los siguientes elementos: e

74

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

Nodo 1 Direccin o Direccin o Administracin o Administracin o Contabilidad Contabilidad Control de Crditos e Control de Crditos e Control de Crditos e Control de Crditos e Servidor 1 Servidor 1 Servidor 1 Servidor 1 Servidor 2 Servidor 2 Servidor 2 Promotor 1 Promotor 1 Promotor 2 Promotor 2 Promotor 3 Promotor 3 Multifuncional A A A B B B C

Nodo 2 A B B D B D C D B E A C E Internet C E Internet Internet E Internet E Internet E C B C D C D E D

Costo mensual 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 950.00 5000.00 5000.00 950.00 200.00 2600.00 200.00 2600.00 200.00 2600.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00 50.00

Velocidad de enlace (kbps) 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 2000 10000 10000 2000 50 500 50 500 50 500 100000 100000 100000 100000 100000 100000 100000 100000

Cuadro 1: Costo y velocidad de enlaces.

 diseno optimo de redes y enrutamiento de computadoras 75 Nodo A Crditos e Finanzas Contabilidad Direccin o Crditos e Finanzas Contabilidad Direccin o Crditos e Finanzas Contabilidad Direccin o Servidor 1 Promotor 1 Promotor 2 Promotor 3 Promotor 1 Promotor 2 Promotor 3 Promotor 1 Promotor 2 Promotor 3 Nodo B Multifuncional Multifuncional Multifuncional Multifuncional Servidor 1 Servidor 1 Servidor 1 Servidor 1 Servidor 2 Servidor 2 Servidor 2 Servidor 2 Servidor 2 Servidor 1 Servidor 1 Servidor 1 Servidor 2 Servidor 2 Servidor 2 Crditos e Crditos e Crditos e Req. M de conexin n. o 1 1 1 1 3 1 1 2 1 1 1 1 1 2 2 2 1 1 1 1 1 1 Clave 1 1 1 1 2 1 1 2 3 1 1 3 4 5 5 5 5 5 5 5 5 5

Cuadro 2: Requerimientos de conectividad m nima. Un grafo no dirigido G = (V, E), siendo V el conjunto de nodos (para este ejemplo, representar a los equipos de cmputo) y E el an o conjunto de aristas (que representan a los enlaces de comunicacin o bidireccionales (full d plex)). u Una matriz C de costos no negativos asociados a las aristas del grafo G, donde la diagonal principal tiene un valor muy grande simbolizado con una M, esto se debe a que no tiene ning n sentido u utilizarse as mismo. Un subconjunto jo del conjunto de nodos, T V llamado conjunto de nodos terminales, de cardinalidad T = nT , tal que 2 nT n, siendo n la cardinalidad del conjunto de nodos V, es decir V = n. Una matriz simtrica R = rij con i, j T , de dimensin nT nT , e o

76

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

cuyos elementos son enteros no negativos que indican los requerimientos de conectividad -cantidad de caminos disjuntos requeridosentre todo par de nodos terminales. El problema Steiner generalizado propone encontrar GT , un subgrafo de G de costo m nimo, que sea un grafo de cubrimiento del conjunto de nodos terminales. Todo par de nodos terminales i, j T, i = j debern a ser localmente rij arista-conexos en GT . Esto signica que deben existir rij caminos disjuntos, que no comparten aristas entre los nodos terminales i y j en GT . Sobre los nodos no pertenecientes al conjunto de nodos terminales no se plantean requisitos de conectividad. Estos nodos, conocidos como nodos de Steiner, pueden formar parte o no de la solucin o o ptima, dependiendo de la conveniencia de utilizarlos. La descripcin o previa corresponde a la versin arista-conexa del problema Steiner geno eralizado, utilizada para modelar problemas sobre redes en las cuales se supone a los enlaces (aristas) sujetos a fallas, pero los nodos se suponen perfectos(aunque en la realidad no necesariamente es cierto). Considrese el grafo G de la Figura 2, donde los nodos terminales se e presentan en color oscuro, mientras que los nodos de Steiner se presentan con color claro. Los costos asociados a cada arista son una ponderacin o entre el costo de la arista y la velocidad de la conexin presentados en el o Cuadro 1, mientras que los requerimientos de conectividad corresponden al Cuadro 2. El costo total de un camino dado entre dos nodos est a dado por medio de un cociente entre el costo monetario y la velocidad de conexin, la relacin propuesta es la siguiente: o o Cc = donde: Cc es el costo del camino, cij es el costo de la arista i,j, vij es la velocidad de transmisin de la arista ij, o xij = 1 0 para cuando la arista ij est en el camino, a en otro caso.
n i=0 n j=0 (cij )vij

mini,j=0n {vij xij vij xij > 0}

(1)

 diseno optimo de redes y enrutamiento de computadoras 77

Figura 2: Grca del ejemplo como problema tipo Steiner. a

Figura 3: Gca de la solucin del ejemplo. a o

78

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

Nodo 1
Crditos e

Administracin o Contabilidad Direccin o Crditos e

Nodo 2 Multifuncional Multifuncional Multifuncional Multifuncional Servidor1

Contabilidad Direccin o Administracin o Crditos e Contabilidad Direccin o Administracin o Promotores Promotores Promotores

Servidor 1 Servidor 1 Servidor 1 Servidor 2 Servidor 2 Servidor 2 Servidor 2 Servidor 1 Servidor2 Crditos e

Caminos { . . . } {Crditos, D, Multifuncional} e {Administracin, B, D, Multifuncional} o {Contabilidad, B, D, Multifuncional} {Direccin, A, D, Multifuncional} o {Crditos, D, A, Servidor1}, e {Crditos, B, Servidor1}, e {Crditos, E, Servidor1} e {Crditos, B, Servidor1} e {Direccin, A, Servidor1}, o { Direccin, B, Servidor1}. o {Administracin, B, Servidor1} o {Crditos, E, Servidor2} e {Contabilidad, B, A, Internet, Servidor2} {Direccin, A, Internet, Servidor2} o {Administracin, B, A, o Internet, Servidor2} {Promotores, Internet, Servidor1}, {Promotores, E, Servidor1} {Promotores, E, Servidor2} {Promotores, E, Crditos} e

Cuadro 3: Caminos solucin al problema. o

Resultados y conclusiones

Como consecuencia de la complejidad de la clase de problemas Steiner, su resolucin utilizando algoritmos exactos se hace cada vez menos tratable al o aumentar el tama o de los problemas. Por tal motivo, se buscan soluciones n alternativas utilizando heur sticas que permitan encontrar soluciones de calidad aceptable en tiempos razonables. Una variada gama de heur sticas espec cas y algoritmos de aproximacin se han propuesto para la resolucin de la clase de problemas Steiner, o o en especial para el problema del rbol de Steiner y los problemas de k a conexin. A manera de ejemplo, es posible citar las heur o sticas espec cas ms populares que se han desarrollado para la resolucin del problema del a o a rbol de Steiner: Minimum Cost Paths (MCP) propuesta por Takahashi y Matsuyama(1980), Distance Network Heuristic (DNH) propuesta por Kou

 diseno optimo de redes y enrutamiento de computadoras 79 et al.(1981), Average Distance Heuristic (ADH) propuesta por RaywardSmith(1983) y revisada por Rayward-Smith y Clare(1986). Respecto al Problema Steiner Generalizado, es posible indicar que no se ha estudiado en su formulacin ms genrica del mismo modo que ha o a e sido estudiado el problema del rbol de Steiner y, hasta cierto nivel, los a problemas de k conexin. En general los investigadores han concentrado o sus esfuerzos en resolver casos particulares o simplicados. La Figura 3 presenta una solucin de costo m o nimo para la instancia del problema Steiner generalizado, se utiliz un algoritmo glotn planteado o o sobre el grafo G de la Figura 2, sin embargo se puede ampliar a heur sticos que nos proporcionen mejores resultados si es que los hay. El costo m nimo mencionado considera el costo del grafo completo. Para conectar los 10 nodos terminales y vericar los requerimientos de conectividad, la solucin o incluye 5 de los 6 nodos de Steiner originales, seleccionados como los o ptimos en trminos del n mero y posicin considerando los costos de e u o los enlaces correspondientes. Asimismo, el grafo solucin incluye 22 de o las 31 aristas del grafo original, disminuyendo el costo total monetario de un costo original de 21, 350u.m. mensual a un costo de 15, 950u.m. mensual en este dise o mejor(no necesariamente el ptimo), lo que implica n o en un ahorro de ms del 32% por mes, evitando el gasto de 64, 800u.m. a al a o. Tomando en cuenta que la velocidad m n nima del grafo solucin o es de 2,000 kbps obtenemos un costo de 7.98 u.m./kbps usando el cociente precio/velocidad, en comparacin con un valor de 427 u.m./kbps o del grafo original cuya velocidad m nima es de 50 kbps. Al tomar en cuenta la velocidad y no unicamente las unidades monetarias aseguramos que en situaciones en las que dos enlaces con velocidades diferentes y precios parecidos se eligira la que tenga mejor relacin precio/velocidad y no o solamente la que tenga el menor costo monetario. La solucin presentada o no necesariamente es unica, ya que otras soluciones ptimas pueden ex o istir para el problema. La solucin de costo m o nimo presentada cumple con los requerimientos m nimos de conectividad propuestos en la Tabla 2. Los caminos disjuntos para cada requerimiento pueden observarse en el Cuadro 3.

Agradecimientos
Los autores desean agradecer los valiosos comentarios de los rbitros ana o nimos, lo que contribu a una mejora del presente trabajo. o

80

C.A. Prez S. de los Cobos e

Rev.Mate.Teor.Aplic. (2010) 17(1)

Referencias
[1] Crescenzi, P.; Kann, V. (2005) A compendium of NP optimization problems. Retrieved Junio 8, 2006 from KTH NADA: http://www.nada.kth.se/ viggo/problemlist/compendium.html. [2] Faloutsos, M. (2004) The Steiners tree problem. Retrieved Junio 9, 2006 from Department of Computer Science and Engineering at the University of California, Riverside: http://www.cs.ucr.edu/ michalis/COURSES/240-04/steiner.html. [3] Kou, L.; Markowsky, G.; Berman, L. (1981) A fast algorithm for Steiner trees, Acta Inf. 15: 141-145. [4] Nesmachnow, S. (2004) Algoritmos genticos paralelos y su aplie cacin al dise o de redes de comunicacin conables, PEDECIBA, o n o Montevideo, Uruguay. [5] Nesmachnow, S.; Cancela, H.; Enrique, A. (2004) Tcnicas evolutie vas aplicadas al dise o de redes de comunicaciones conables, Tercer n Congreso Espaol de Metaheursticas, Algoritmos Evolutivos y Bioinn spirados, Crdoba: 388395. o [6] Rayward-Smith, V.J. (1983) The computation of nearly minimal steiner trees in graphs, Mathematics, Education, Science, Technology 14: 15-23. [7] Rayward-Smith, V.J.; Clare, A. (1986) On nding Steiner vertices, Networks 16: 283-294. [8] Tanenbaun, A. (1997) Algoritmos de enrutamiento, in: A. Tanenbaun, C. Trentacoste & N. Regina (Eds.) Redes de Computadoras, Prentice-Hall, Amsterdam: 345365. [9] Takahashi, H.; Matsuyama ,A. (1980) An approximate solution for the Steiner problem in graphs, Mathematica Japonica 24: 573-577.