Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • 1 PB

    Enviado por

    94357839
    8 visualizações12 páginas
    Artículo

    Título original

    26423-26347-1-PB (1)

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    Artículo

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    8 visualizações12 páginas

    1 PB

    Enviado por

    94357839
    Artículo

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 12
    llestsi6— V.7,n 3 (sotembre 1983) pp. 479-490 PROBLEMAS DE RUTAS POR ARCOS ENRIQUE BENAVENT, VICENTE CAMPOS, ANGEL CORBERAN, ENRIQUE MOTA. UNIVERSIDAD DE VALENCIA Et objetivo de este artioulo os ofrecer una vieién general de la ettuacién aztual de la tn Yestigacién en Problenae de Ruias por Arcos, que coneieten, bdsicanante, on enoontrar Tuiae Gptinas que atwavieven tae arivtas o/y arcoe de un grafo dado. Se analiuan, entre otros el Problena det Cartero Chino (definido sobre grafes dirigidos, no dérigidee 0 miztoo), el Pro- tema det Cartero fural (divigido y no dtvigido), aot amo el Problema de loa m-carterce con algina de suo variates. En tedos lov oazoa ae ha intentado ofrecer loo resultados exteten~ 40 relatives a: complejidad de loe problemas, algeritmoe exaotoe desarrolladoe, aat como mE todos heurtstiese com et correspondiente andlisie del peot e200. ON ARC ROUTING PROBLEMS Keywords: EULERIAN CIRCUITS, POSTMAN PROBLEMS, ROUTING. ‘L_INTRODUCCION, BL objetivo de este articulo es ofrecer una visiOn general de la situacién actual de la investigaci6n en el area que llamaremos gené ricamente de los Problemas de Rutas por Ar-: cos, (Are Routing Problems). Estos problemas consisten, en una primera aproximacién, en - encontrar rutas 6ptinas que atraviesen, par- cialmente 0 en su totalidad, las aristas 0/y arcos de un crafo dado. El priner problena - de este tipo fué propuesto por Buler /14/ y e8 conocido come el Problema de los Puentes de Konigsberg. os Problemas de Rutas por Arcos tienen apli caci6n en problemas tales cono la recogida - de basura, reparto de leche © correc, inspee cin de sistemas de distribucién (redes elée tricas, de teléfono o de ferrocarril), 1im- pieza de calles, ete. Bn la Secei6n 2 discutimos el problema de en contrar un circuito de coste minino que atra viese cada arista (y/o arco) de un grafo que puede ser no dirigide (CPP), dirigido (pcPP) 7 Enrique Bonavent Lépez - Vicente Campos Aucejo = © mixto (MCP). La Seccién 3 esté dedicada al Problema del Cartero Rural definido tanto en lun crafo no dirigido cono en un grafo dirigi- do (RPP y DRPP) donde solamente un subconjun- to de aristas (0 arcos) debe ser atravesado - por el circuito soluci6n. Finalmente 1a Sec: cir 4 trata el problema de encontrar no uno sino cierto nimero de circuitos que conjunta~ mente atraviesen todas las aristas del grafo (ccEP considerando restricciones de capacidad y M-CPP sin elias). Bn todos los casos, presentanos, hasta donde conccemos, los resultados existentes sobre 1a complejidad de los problenas, los algoritnos exactos desarrollados, asf come los métodos - heurfsticos con sus correspondientes andlisis del peor caso- A ecntinuaciGn, definimes algunos conceptos bi siccs que sergn utilizados en este articulo, Angel comberén Salvador ~ Enrigue Nota vidal ~ Departamont d'Estadfstica 1 Investigacié Operativa de la Facultet de matemaciques de telencle Av. Dr. Moliner, 50 ~ Borjazot - VAEENCIA = Article rebut el gulsol det 1983. ang QMest6 - V7.3 (etembre 1983), Definiciones. sea VE) un qrafo no dirigido, donde v es un conjunto de n vértices y E es un conjunto de aristas con costes c, no negatives asccia dos. El grado de un vértice es el nGnero de aristas incidentes con 61. Un vértice es par si su grado es un nimero par. Un grafo no ai rigido es par si todos sus vértices son pa: Sea G=(V,A) un grafo dirigido con costes cy no negatives ascciados a sus arcos, E1 grado de entrada de un vértice es el nfinero de ar- cos que le entran y el grado de salida es el ndmero de arcos que salen de é1. Un vértice es einétrico si tiene el mismo grado de en-~ trada y de saliéa. Un grafo dirigido es sing trico si todos sus vértices son simétricos. Un camino, de vg (vértice inictal) a vy (vér tice final) en un grafo no dirigido, es una sucesiGn de vértices y aristas - - - - ~~ - Py, orlyeVyrceeelgety) (Los vertices y/o - las aristas pueden repetirse) donde 1a aris ta 1, es incidente con ios vértices vy_) ¥ vy, Agigk. Bn un grafo airigide, los arcos Ly estén dirigidos desde vj, a vy. Direnos gue las aristas (o arcos) son atravesadas ~~ por el camino P. Un circuito es un camino cu yos vértices inicial y final coinciden. Un ~ tour en G es un circuito que atraviesa cada arista (arco) de G al menos una vez. El cos~ te de un camino, circuito © tour, es la euma ée los costes de las aristas (arcos) que con tiene. Un grafo no dirigido es conexo ei cada par ~ de vértices esté unido por un camino. Un gra fo dirigido es (débilmente) conexo si el ara fo no dirigide subyacente (considerando los arcos como aristas) es conexo. Un grafo dirk gido es fuertemente conexo si para cada par de vértices uy v, existe un camino de u av y un camino de v au, 2.EL PROBLEMA DEL CARTERO CHINO, 2.1£L PROBLEMA DEL CARTER CHINO EN UN GRA~ EO No DIRIEIDO (cpp) Sea Gs(V,E) un grafo conexo no dirigide con costes no negatives ascciados a sus aristas. Bl CPP consiste en encontrar un tour de cos~ te minino en G. Fste problema fué inicialmente planteado por 1 matematico chino Mei-Ko /22/. En el caso en que el grafo sea par, este pro- blena puede ser resuelto facilmente teniendo fen cuenta el siguiente teorena: Teorena: Un grafo , conexo y no éirigido, ~ contiene un tour cue atraviesa cada arista ~ exactamente una vez (tour euleriano) sii el ndnero de vértices de grado impar es cero. Ver /6/ para una denostracién. Por lo tanto, éste seria el tour de coste mi- nino. Si un grafo G contiene un tour euleriano, és~ te puede ser construido utilizando la siguien te regla debida a Fleury /21/: Partiendo de - cualquier vértice, ir recorriendo aristas, ~ elimingndolas al mismo tiempo. No atravesar ~ una arista si al eliminarla el grafo quedara Giviaido en dos componentes conexas (excluyen 0 vértices aislados). Cuando G contiene algin vértice de grado im-- par, cualauier tour en G contendré alguna aris ‘ta mis de una vez. Pedenos representar cada re peticiGn por medio de una arista artificial - (una copia afladida al grafo original). Enton- ces podemos considerar el CPP como el problema de encontrar un conjunte de aristas artificia~ les, con coste total minimo, que al ser afadi- ao al grafo original, hagan éste par. Este problema fué formulado y resuelto, como un problema de acoplamiento de mfnimo coste, por Edmonds /12/, Busacker y Saaty /4/, Christofides /5/ y Edmonds y Johnson /13/. El procedimiento de soluci6n, que es O(n"), puede resumiree como sigue. Sea V'cV, Vi={vj,+++y¥,) el conjunte de vérts ces de G de grado impar, cuyo ninero es sien pre par; construir el grafo completo G'=(V",E") donde vyivjeV", (vys¥j)eB", y donde el cos ke s(vj,¥;) asociado a cada arista (v,,v,)eE la arista que une ~ ivi. 1 MCPP es el problema de enccntrar un tour ~ de coste minimo en G, donde las aristas pue~ den ser atravesadas en una o en ambas direc” ciones. Una condicién necesaria y suficiente pera cue exista solucién es que G sea fuerte~ mente conexo. Diremos que el qrafo G es par cuando cada vér tice tiene grado par (nero de arcos y aris tas incidentes con 61). A diferencia con los casos dirigido y no di- rigido , el MCPP es un problema NP-completo ~ cone demostr6 Papadimitriou /23/, incluso siendo el grafo planar, el arado de los vérti ces menor © igual que tres y todos los costes iguales entre sf. Sin embargo, en el caso particular en que el grafo es par, existen algoritmos polinomiales para resolver el MCPP. a} El grafo G es par y simétrico. Este caso es trivial pueste que existe en G un tour eulerianc. (ver Ford y Fulkerson /15/). bi Bl arafo G es par pero no sinétrico. En - este caso, el MCPP puede ser resvelto 6p- timamente en tiempo polinomial utilizando un Flujo de coste minimo que haga el gra~ fo simétrico. El procedimiento, debido a Ednonds y Johnson /13/, consiste en: Sea ct (V,AuU uu) un grafo airigido don de los arcos de A tienen costes originales y capacidad infinita, Uy contiene dos ar: cos (de Airecciones opuestas) por cada a— rista de E, con costes iguales al coste de la arista y capacidad infinita y u, contie ne dos arcos (de direcciones opuestas) por aan Qllest86 — V7, 3 (etombre 1983) cada arista de E, de coste cero y capaci dad uno. Resolver el problema de flujo - de coste mfnimo que satisfaga todos los reguerinientos de las fuentes y sumide-- ros dec! Si en la solucién 6ptina al problema de Flujo anterior, una unidad de flujo atra viesa un arco de U,, dirigir la corre: pondiente arista en G en la misma direc ci6n, Afadir al grafo original tantas co pias de arcos en A y U, como unidades de fluje los hayan atravesado. El resultado sera un grafo simétrico en el que algu: nas aristas pueden permanecer sin direc- ci6n asignada. En el citado artfculo de Edmonds y Johnson se demuestra la existencia de un flujo Sptino aue conserva 1a paridad de todos los vértices: sin embargo, na toda soluci6n 6ptima al problema de flujo de- Einido sobre G* cumple esta propiedad, - como sefialé Frederickson /17/, auien pro porciona un algoritmo para hacer el qrafo par, sin coste adicional, a partir de cualquier solucién 6ptima del problema de Flujo. Otro algoritmo equivalente al de Edmonds Y Johnson fue propueste por Minteka en ~ 226/. Siel grafo G no es par, como se mencioné an tericrnente, el problema es NP-completo v por Jo tanto, es importante el desarrollo de al- goritmos heurfsticos que en tienpo polincmial Produzcan "buenas" soluciones vosibles nara ~ este caso general. 2.5.1, ALGORITMOS HEURISTICOS PARA EL McPP Los dos procedimientos heurfsticos més cono~ cidos han sido estudiados por Frederickson - /17/. Estos dos algoritmos, Manados MIXED) y MIXED2, transforman el grafo original en ~ un grafo par y sinétrico en dos etapas, am-~ bas 6ptimas por separado pero que pueden pro @ucir una solucién no éptima al MCPP cuando se aplican conjuntanente. MIXED! (a) Transformar el grafo original en un gra- fo par resolviendo un problema de acopla miento mfnino, donde los caminos més cor tos entre cualouier par de vértices de - grado impar se han caleulado ignorando - las direcciones de los arcos. (b) Hacer e1 grafo resultante simftrico, uti Lizando el procedimiento de Ednonds y -- Johnson descrito en ol apartade (b) de - la Seccién 2.3, MIXED? (a) Transformar el grafo original en un gra- £0 simétrico, utilizando e1 procedimien- to de Bémonds y Johnson descrito en el - apartado (b) de la Seccién 2.3. (b) Sea U, UgE, el conjunto de ariatas sin - una @ireccién asignada en la etapa ante- rior. Hacer par el grafo inducido por U, resolviendo un problena de acoplamiento de coste minimo, donde las distancias en tre cada par de vortices impares se cal- culan considerando Gnicanente las aris~ tas de U. Aadiendo al grafo resultante el apartado (a) una copia de cada aris- ta duplicada por e2 acoplamiento, se ob- tiene un grafo par y simétrico. Bn el mencionado artfculo, Frederickson de-~ muestra cue el ratio del peor caso de ambos algoritmos es 2 y adomfs que esta cota es al canzable. Sin embargo, utilizando la mejor - soluci6n de entre las produeidas por MIKED1 y MIXED2, el ratio del peor caso es, como mi ximo, 5/3, aunque hasta el momento s6lo se - han encontrado ejemplos donde se alcanza la cota de 3/2. Bn el caso de grafos planares, Frederickson presenta un algoritme euyo ra-~ tio en el peor caso os 3/2. 2.3.3, ALGORITHOS EXACTOS PARA EL MCPD. Hasta el momento, s61o existe un nétodo exac to para el MPP que haya sido detallado com- pletamente y aplicade a una coleceién de pro blenas test. El nétodo, debido a Christofides et al./10/, seré discutido brevenente a conti muacién. EL MCPP puede formularse, on forma parecida a la presentada por Kappauf y Koehles /20/, co- Bo el siguiente problema de programacién 14. neal entera: 482 Qllests6- V.7, n° 3(setombre 1983) Me Bea S85 * aes sa MasttgD + Cyjea “15 Secs ae ae sy shen” 5ePycay SE ne o rag *7ya2t vet ser @ Mije Vege 7yg 200 enteras VL Nea, vet, jer o donde x,, representa el nfinero de veces cue cada arco (1,4)eB aparece dirigida de i a j en la so~ lucién 6ptina y AQ) = Gere GDA, ER = =Geviciss>eB) Ty GG) = Geve (5/4) « BL algoritmo descrito en el artfculo antes - mencionado es un procedimiento Branch and —~ Bound, en el que 1as ramificaciones se reali zen sobre las variables y,,, en la forma si guiente: una rama inpone 1a restriccién - ¥jj2t y 1a otra y,j=0. Las cotas inferiores utllizadas en el algoritno estan basadas en Ja relajacién lagrangiana de algunas de las restricciones del problema. Una de ellas se reduce a la resolucién de un problema de £1u jo de coste mfnino, resultante de la relaja~ ci6n lagrangiana de las restriceiones (2). La otra cota se obtiene ahadiendo las res: tricciones de paridad sobre los grados de -. los vértices (redundantes en presencia de ~. las restantes restricciones) y relajando La~ grangiananente las restricetones (1), con 10 que su cAiculo se basa en la resolucién de - ‘un problena de acoplamiento de minino coste. Bn dicho trabajo, se proporcionan resultados computacionales de este algoritmo con proble mas de hasta 50 vértices, 66 arcos y 39 aris tas. Otros métodos exactos han sido sugeridos por Kappauf y Koehler y Minieka: Kappauf y Koehler /20/ presentan una formula c16n similar @ la anterior y demuestran que los puntos extremos del poliedro de solucio~ nes posibles del problema lineal asociado al McPP tienen coordenadas enteras excepto para las variables y,,, que pueden tomar el valor 1/2 y que, adenés, si una variable y,, tona el valor 1/2, también lo hace la variable ~~ Y5gr Eatonces, como puede denostrarse fécil- mente, podemos obtener soluciones posibles - para el MCPP haciendo 1 todas las variables con valor 1/2. Se demuestra también que la - solucin 6ptima al MCPP se encuentra entre ~ las scluciones posibles asf obtenidas. ast - pues, un m&todo para resolver el problema se ria estudiar todos los puntos extremes de es te poliedro. Sin embargo, como ellos misnos sefalan, el MCPP es bastante degenerado y -- normalnente muchas bases corresponden a un ~ mismo punto extrene. Minteka /27/ formula el MCPP como un proble- ma de flujos con ganancias, de coste mfnimo, y con valores enteros, definido sobre un gra fo transformado del original en el que por ca da arista hay aue afadir dos nuevos vértices, y cinco nuevos arcos. Puesto que cualquier - problema de flujos con ganancias es un pro-~ blena de programaci6n lineal, Minieka sugiere imponer las restricciones de integralidad uti lizando técnicas de planos de corte. SEL PROBLEMA DEL CARTERO RURAL. En esta secci6n consideraremos una generaliza ci6n del Problema del Cartero Chino en el sen tido de que sclamente un subconjunto de las ~ aristas (© arces) del grafo deben ser atrave- sados por un circuito solucién. Considerare: mos e1 caso en el gue el grafo indueido en G por este subconjunto de aristas (0 arcos) “re ‘queridos" no es conexo, puesto que, en atro ca 80, el problema puede resolverse de una forma similar 2 1a del CPP. Este problema es una ge neralizacién del problena del agente Viajero (TSP) en el sentido de que cada TSP puede -~ convertirse en un RPP. Discutiremos este pro~ blem, conocide como el Problema del Cartero Rural, definido tanto en un grafo dirigide co mo no dirigido. 2.1. EL PROBLENA DEL CARTERO RURAL EN UN SRA~ FO._NO_DiRIGIDO (RPP) Sea W/E) un grafo conexo y no dirigido, - 483 Qltests'6— v7.22 3 earembre 1983) con costes no negatives asociados a sus aris tas. Dado E,SE(E,A$), e1 Problena del carte- ro Rural consiste en encontrar un circuito ~ de coste minino que atraviese cada arista de By al menos una vez. Bste problema fué considerado por primera ~~ vez por Orloff /28/ y Lenstra y Rinnoy-Kan ~ /23/ han denostrado oue es NP-Completo. ~ Christofides et al. /8/ proporcionan un algo ritmo para resolver el RPP cue resumimos a — continuacién. Sea V, el conjunto de vértices incidentes ~~ con alguna arista de Ep. El RPP definido so- bre G es eguivalente al definido sobre el -~ gtafo Ci=(Vg/EQv8{) donde las aristas de BZ unen cada par de vertices de Vp y tienen un coste igual al del camino mis corto en G en- tre dichos vértices. 2s posible simplificar 1 orafo Gj, obteniendo un nuevo grafo ~ Go=(VyrEQvEs) /EgcBZ, con las mismas solucio- nes al RPP, eliminando: a) todas las aristas (1,5)¢B{ para las que - ey 5Ci'qy Para algan ky y b) una de las dos aristas en paralelo, si an bas tienen el mismo coste. Sean C,,C,,+++/C, 188 componentes conexas del grafo inducido por Ey en Gy. Utilizare: mos Cy para representar el conjunto de vérti ces de 1a comonente i. Representarencs nor F la familia de las Cy, {=l,.../k. Si Ver es una subfamilia de F, utilizaremos N(V) co mo €1 conjunto de todos los vértices de los elenentes de V, 0 sea NV) = EL problema puede ser formulado entonces core: et cet, 7 (mod. 2) view, UD cek, MOD! LNW, IMT ver) — (5) Hy20 7 entero, ve 2 + eee, 20 y entero, ve ye20 7 + veet, Donde x, representa el niimero de veces que - la arista eck, es repetida por un cireuito, Ye Tepresenta el nfimero de veces que 1a aris ta ecky aparece en el circuito y [a,,] es la matriz de incidencia del grafo G.- B1 método descrito en /8/ es un algoritno de Branch and Bound en el que las cotas inferig res se calculan considerando la relajaci6n = lagrangiana de las restricciones (4) en la - anterior formalacién. El problena relajado ~ puede resolverse, esencialmente, calculando 1 Arbol Generador de Minimo Peso, Shortest Spanning Tree (SST), sobre un grafo “condensa 40" en el que cada vértice representa una ~ componente conexa. La cota inferior que se - obtiene puede ser mejorada afladiendo, en for ma lagrangiana, a la funcién objetivo del ~~ problema relajado , las restricciones de 2 gue eran redundantes en la formilacién origi nal. La cota superior utilizada fué obtenida con un algoritno heurfstico similar al propuesto por Christofides /7/ para el TSP. Este algo- ritmo est4 basado en el efleule de un Arbol. Generador de Minimo Peso que conecta todas - las compenentes y un Acoplamiento de Minimo Coste que haga par el grafo resuitante. Este algoritno fué eugerido por Frederickson /17/ y tiene un ratio del peor caso de 3/2 (ver - /2/ para una denostraci6n). En 12 de los 24 problemas probados esta cota fué éptima y a2, tA aun 1.38 de 1a soluetén Sptima en prome- aio. La ramificacién on el Srbol de Branch and -~ Bound se realiza sobre las aristas con vert ces terminales on conponentes distintas. Una rama fija la arista a estar en la solucién y la otra impide que aparezea. Es, pues, impor tante la simplificacién del grafo grafo G, en el - EL algoritmo descrite se probé en 24 proble~ mas de tamahos hasta 84 vértices, 180 aris-- tas, 74 aristas requeridas y 8 componontes - 404 ‘Qlests6 - V.7,1°3 (setemore 1963) 3.2 BHOBLHA DEL CARTESD-RIBAL HUN ERA- FO DIRIGIDO (DRPP). sea G=| V/A) un grafo dirigido y fuertenente conexo con costes no negatives asociados a - Sus arcos. Dado el subconjunto ARSA (AgAt) — de arcos requeridos, el DRPP consiste en en= contrar un circuite de coste mfnimo que atra viese cada arco de A, al menos una vez. ‘como en el caso no dirigido, el DRPP es un - problema NP-Completo /23/. A diferencia con los casos simétrico y asinétrico del TSP, el RPP y el DRPP no pueden reducirse uno a otro y por lo tanto, deben desarrollarse técnicas, de solucién diferentes para cada uno de ellos. Este problema ha sido estudiado por Christo~ fides et.al /9/, que proporcionan un algorit mo exacto para su resoluci6n, Utilizando --- ‘transfornaciones anSlogas a las realizadas ~ en 1a gecci6n 3.1, e] DRPP puede definirse ~ sobre un grafo G.*(VqsAgu Ag) en el que las componentes C,, inducidas por Ay en 6, no ~~ son necesarianente fuertemente conexas. EL DRPP puede formularse, con respecto a ~~~ cualquier componente C,, en la forma siquien te: wo D yg + e637 * Fen 88 Gs fen 789 Dea Davegrery + Dryas - Se coeng Pig + Gare sPay Se ee eee 5 J yyy2t ae Sen (De) VeeFrSge Me? (oe) Kyeserg! Lely + Dovat cuner, 4 KG Dedg] AEN Ugh, FNC) UECF CyeTy) aw HypO yenceras v5, eo ® o yy20 yeateras HG, DeAg donde x,, © ¥4, representan respectivanente 45 © Y45 Tepresent. pectivanents el nimero de repeticiones del arco (1,4) «hp y el nGmero de apariciones del arco (1,3) es en cualquier circuito solucién. Las matrices Be (bys) y Be [B,,] se Gefinen como sigue: [b sh et arco (ii) tags in5eUy “ui Yo : Bs {Geil denostrar que las restricciones (8.a) © les (8.b) son redundantes en presencia de - las restricciones (7). si ol arco Ci.s)AAgy Levy Bn el artfeulo mencionado se presenta un algo ritno de branch and bound para resolver 6pti- mamente el DRPP. Las cotas inferiores se obtie nen de la relajacién lagrangiana de las res: tricciones (7) y (8-b). Bl problema relajado - Se resuelve calculando una Arborescencia Gene- radora de M{nino Peso, Shortest Spanning Arbo~ sesconce (SA), con raiz en 1a componente C,, en un grafo "condensado" en el que cada vérti- Cy. Bate nétodo - dopende de la eleceién de s, 1a raiz de la SSA; variando s, obtenemos k cotas inferiores entre las que podenos elegir 1a de mayor cos~ te. ce representa una componente Para calcular una cota superior se presenta un Algoritmo heurfstico que consta de dos etapas. La primera consiste en el cflculo de una ssa ~ que conecta todas las componentes y 1a segunda, fen 1a resolucién de un problema de flujo de -- costs minino que haga el grafo resultante sing tries. El ratio del peor caso de este algorit- mo es ati /2/, donde a es el menor némero real Para el que se cumple que ¢,,sac,,. Bn 10 de - tun total de 22 problenas 1a golucion proporcig nada por este heurfatico £u€ Gptina; en prone io, 1a cota superior que proporciona esta a ~ un 1.48 del valor éptino. as ramificaciones en el algoritno de branch — and bound se realizan sobre los arcos (1,3)

    Você também pode gostar