MODELOS MATEMÁTICOS PARA O PROBLEMA DA ÁRVORE GERADORA MÍNIMA CAPACITADA EM NÍVEIS

Transcrição

1 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS MODELOS MATEMÁTICOS PARA O PROBLEMA DA ÁRVORE GERADORA MÍNIMA CAPACITADA EM NÍVEIS Alexadre Xavier Martis Departameto de Computação - Uiversidade Federal de Ouro Preto (UFOP) CEP Ouro Preto, MG xmartis@iceb.uop.br Marcoe Jamilso Freitas Souza Departameto de Computação - Uiversidade Federal de Ouro Preto (UFOP) CEP Ouro Preto, MG marcoe@iceb.uop.br Maurício Cardoso de Souza Departameto de Egeharia de Produção - Uiversidade Federal de Mias Gerais (UFMG) Rua Espírito Sato 35, 36-3, Belo Horizote, MG, mauricio@dep.umg.br Resumo Este trabalho trata do problema de determiar a melhor maeira de coectar termiais, de dieretes locais, a um computador cetral através de lihas de trasmissão. Geralmete este problema é tratado cosiderado-se que todas as lihas de trasmissão têm uma capacidade ixa Q. Isto correspode a restrigir o luxo máximo de iormação em qualquer liha de trasmissão adjacete ao computador cetral a uma quatidade ixa. Este problema a literatura da Otimização Combiatória é cohecido como Problema da Árvore Geradora Míima Capacitada (PAGMC). No etato, este trabalho cosidera que para o projeto estão dispoíveis múltiplos tipos de lihas de trasmissão com capacidades variadas, ou seja, as lihas de trasmissão têm capacidades variado de Z até Z L, ode a capacidade Z < Z 2 <... < Z L. Na literatura este problema é cohecido como multi level miimum spaig tree problem ou Problema da Árvore Geradora Míima Capacitada em Níveis (PAGMCN). Neste trabalho são apresetadas duas ovas ormulações exatas para o problema e os resultados obtidos são comparados com os resultados da ormulação existete. Palavras-chave: Árvore Geradora Míima Capacitada, Modelos de Programação Iteira, Graos Abstract I this paper we preset mathematical models or a geeralizatio o the well ow Capacitated Miimum Spaig Tree Problem (CMST) the Multi-Level Capacitated Miimum Spaig Tree (MCMST) where lis with dieret capacities are available to coect odes to a cetral oe. Two iteger models proposed i the literature or CMST, ad oe proposed or MCMST are reviewed. We the ad propose two ew models or MCMST which exteds previous models or CMST. Numerical experimets o istaces derived rom bechmar istaces o the CSMT have show that the two models proposed were able to solve larger istaces tha the oe already oud i the literature, ad, i particular, oe o them outperorms all others. Keywords: Capacitated Miimum Spaig Tree, Iteger Programmig Models, Graphs

2 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS. Itrodução O presete trabalho se reere ao problema de layout de termiais, que é um subproblema o projeto de redes de acesso local. Ele cosiste em ecotrar a melhor maeira de coectar termiais, de dieretes locais, a um computador cetral. Esses termiais eviam e recebem iormações do computador cetral através de lihas de trasmissão. Para utilizar eicietemete a capacidade das lihas de trasmissão, estas podem ser compartilhadas por vários termiais o evio e recebimeto de iormações. A topologia ótima para este problema correspode a uma árvore geradora de um grao G = (N, A) com N - ós em N correspodedo aos termiais e o ó restate, cohecido como ó raiz, correspodedo ao computador cetral. As arestas em A correspodem às lihas de trasmissão. Geralmete este problema é tratado cosiderado-se que todas as lihas de trasmissão têm uma capacidade ixa Q. Isto correspode a restrigir o luxo máximo de iormação em qualquer liha de trasmissão adjacete ao computador cetral (raiz do grao G) a uma quatidade ixa. Este problema a literatura da Otimização Combiatória é cohecido como Problema da Árvore Geradora Míima Capacitada (PAGMC). No etato, é razoável admitir que para o projeto da rede estão dispoíveis múltiplos tipos de lihas de trasmissão com capacidades variadas, ou seja, as lihas de trasmissão têm capacidades variado de Z até Z L,, com Z < Z 2 <... < Z L. Na literatura este problema é cohecido como Problema da Árvore Geradora Míima Capacitada em Níveis (PAGMCN). Este trabalho cosidera a situação ode cada termial requer a mesma quatidade de iormação, que é o caso da demada homogêea ou demada uitária. Seja T uma árvore geradora de G e cosidere um ó como raiz. Uma sub-árvore é a compoete coexa que cotém o ó i ao se elimiar o arco (i, p(i)) de T, sedo p(i) o predecessor do ó i o úico camiho até a raiz. Assim como o PAGMC, o PAGMCN cada sub-árvore de T, obtida ao se elimiar a raiz e todas as arestas que lhe são adjacetes, pode ter um úmero máximo de ós termiais, sedo o primeiro limitado por Q e o segudo por Z L (a liha de trasmissão de maior capacidade). Na próxima seção aremos uma descrição do PAGMC. Na seção 3, descreveremos o PAGMCN e o modelo matemático existete a literatura. Na seção 4 são apresetados dois ovos modelos propostos. Na seção 5 apresetaremos uma comparação eita etre os três modelos. As coclusões iais serão apresetadas a seção Problema da Árvore Geradora Míima Capacitada Seja G = (N, A) um grao ão direcioado e coexo com um cojuto de ós N = {,,..., } e um cojuto de arcos A. Cada ó i Є N tem um peso b i com b =. O peso do ó pode ser iterpretado como uma demada requerida. Cada arco (i,j) Є A tem um custo c associado a sua utilização a árvore geradora. O problema da árvore geradora míima capacitada cosiste em determiar uma árvore geradora de custo míimo sobre G, cetralizada sobre o ó (raiz), com a restrição adicioal que a soma dos pesos dos ós de qualquer sub-árvore coectada à raiz ão pode ser maior que uma costate Q, ode Q é um valor iteiro. Quado todos os pesos dos ós são iguais temos a versão homogêea do problema que pode ser tratado como um problema de demada uitária. Para 2 < Q < /2, Papadimitriou (978) mostrou que o problema é NP-diícil. Esau & Williams (966) desevolveram um dos pricipais algoritmos para costrução de uma solução para o PAGMC, o Esau-Williams (EW). Gavish (982, 983) apresetou uma ormulação de luxo para a versão uitária do PAGMC. Gouveia (995) apresetou uma ormulação com 2 972

3 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS restrições. Gouveia & Martis (999) apresetaram uma ormulação com ídice de ível e obtiveram exceletes limites ieriores com a relaxação liear deste modelo, o problema é que, com o ovo ídice criado, o modelo gerava muitas variáveis. Este problema oi solucioado com o modelo com ídice de ível hierarquizado que é capaz de agregar o modelo reduzido assim esse úmero de variáveis geradas (Gouveia e Martis (2)). Amberg et al (996) izeram uma excelete revisão sobre o tema e apresetaram uma estrutura de vizihaça baseada a troca de ós etre sub-árvores. Sharaiha et al. (997) propuseram uma estrutura de vizihaça baseada a traserêcia de toda ou de parte de uma sub-árvore, o movimeto executa duas operações, corte e colagem. Ahuja et al. (2) cosideraram duas estruturas de vizihaça que são geeralizações das estruturas ateriores. Nos três trabalhos a metaheurística Busca Tabu é utilizada para testar as estruturas de vizihaça. Souza et al. (23) cosideraram uma busca local ode cada aresta que ão pertece à solução e tem extremidade em duas sub-árvores dieretes é cadidata a etrar a ova solução. Em cojuto com a busca local os autores utilizam um procedimeto GRASP baseado em memória e uma estratégia de recoexão por camihos. 2.. Formulação de Fluxo O modelo apresetado esta seção oi itroduzido por Gavish (982, 983). Seja x = se o arco (i,j) é icluído a solução e x = caso cotrário. Além disso, seja y o luxo sobre o arco (i,j) para i =,..., e j =,...,. Para um grao direto com o ó sedo a raiz etão temos: Miimize Sujeito a: c x x y y (2.) = j =,..., ; (2.2) ji = j =,..., ; (2.3) x y (Q - ) bi x i =,..., ; j =,..., ; (2.4) x Є (,); y i =,..., ; j =,..., (2.5) As igualdades (2.2) garatem que exatamete um arco chega a cada ó, excluido o ó cetral. As igualdades (2.3) estabelecem a propriedade da coservação de luxo para cada ó j Є N\{}, impodo que a diereça etre a totalidade do luxo que chega e sai de j seja igual ao valor da demada desse ó, isto é, igual a. As restrições (2.2) e (2.3) cojugadas garatem a ão existêcia de ciclos a solução. As iequações (2.4) relacioam ambos os cojutos de variáveis, limitado ieriormete e superiormete a quatidade de luxo em cada arco da solução. Nestas restrições, o valor de b i permite que o luxo máximo um arco icidete a raiz seja igual a Q, equato os arcos ão icidetes ao ó cetral esse valor máximo é igual a Q-. Note que o valor do luxo que atravessa o arco (i,j), é igual ao úmero de ós que icam descoexos da raiz se esse arco or retirado da solução. Em (2.5) são estabelecidas as restrições de itegralidade sobre o cojuto de variáveis. De acordo com as restrições deiidas, qualquer solução viável para o PAGMC cotém todos os arcos orietados o setido oposto ao da raiz e o valor do luxo que se deie ao logo dos arcos de qualquer camiho uma dessas soluções, decresce quado se percorre esse camiho o setido da orietação dos arcos. Gavish (983) mostra que essa ormulação é válida para o PAGMC. Para tetar ecotrar soluções ótimas seus trabalhos também icluem decomposição de Beders, decomposição de Datzig-Wole e Relaxação Lagrageaa combiada com técicas de otimização de subgradiete (Gavish (982,983)). 973

4 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS 2.2. Formulação com 2 restrições Gouveia (995) apresetou uma ormulação para o PAGMC que usa 2 restrições ao ivés das 2 2 restrições do modelo de Gavish (982, 983). Para isso ele substitui as iormações cotidas as variáveis (x, y ) por um úico cojuto de variáveis de três ídices z q (i =,..., ; j =,..., ; q =,..., Q b i ) tal que z q = se o luxo de valor q passa pelo arco (i,j) e z q = caso cotrário. Com b = e b i = para i =,...,, ode Q é a capacidade máxima de cada compoete. Este cojuto de variáveis relacioa-se com as variáveis (x, y ), através das seguites igualdades: Q bi q = x z q= Q bi q y = qz q= i =,..., ; j =,..., ; (2.6) i =,..., ; j =,..., (2.7) Para qualquer arco (i,j), as relações (2.6) e (2.7) impõem que x = e y = p se e somete se z p = e z q = para q =,..., Q - b i e q p. Simultaeamete, tem-se que x = y = se e somete se z q = para q =,..., Q - b i. O modelo etão pode ser ormulado da seguite orma: Miimize Sujeito a: Q bi c z q= Q bi q z q= Q bi q= z q q (2.8) = j =,..., ; (2.9) q Q q z q Є {,} q= z q ji = j =,..., ; (2.) i =,..., ; j =,..., ; Q =,..., Q - b i (2.) Com esta ormulação Gouveia (995) mostra que o custo da solução ótima da relaxação liear deste modelo é igual ao modelo apresetado por Gavish (982, 983). A ormulação de Gouveia costitui a ormulação com o meor úmero de restrições cohecidas para o PAGMC, evolvedo apeas 2 restrições. Porém, esta trasormação coduz a um aumeto sigiicativo o úmero de variáveis, passado esse valor de 2 2 para ( 2 (Q-)+) variáveis. Além disso, o autor apresetou algus métodos de Relaxação Lagrageaa derivadas da ova ormulação como uma maeira de produzir um limite ierior ao valor da solução ótima. 3. Problema da Árvore Geradora Míima Capacitada em Níveis O problema da árvore geradora míima capacitada em íveis (PAGMCN) é uma geeralização do PAGMC, que acreditamos ser de uso mais prático o projeto de uma rede de comuicação local. Apesar disso o PAGMCN ão tem recebido muita ateção dos pesquisadores, sedo a primeira pesquisa apresetada sobre o assuto eita por Gamvros et al. (22). A diereça etre o PAGMC e o PAGMCN é que o segudo é permitida a istalação de acilidades com capacidades distitas. No PAGMCN são dados um grao G = (N, A), com um cojuto N = {,,2,..., }, ode o ó represeta o termial cetral de ode o luxo deve sair e os outros são os cosumidores, e um cojuto de arcos A, b i sedo a demada de tráego (ou peso) do o i a ser trasportada do ó, 974

5 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS acilidades do tipo,2,..., L com capacidades Z < Z 2 <...< Z L e uma ução de custo c l deotado o custo de uma acilidade do tipo l istalada etre os ós i e j. O objetivo etão, assim como o PAGMC, é o de ecotrar uma rede de custo míimo para trasportar o tráego requerido, ode o luxo sobre cada acilidade ão pode ser maior que sua capacidade. Em geral, a demada de cada ó pode ser dierete, cotudo, este trabalho os modelos apresetados a seguir são baseados o problema da demada uitária. Além disso, a ução de custo para as lihas de trasmissão para todos os testes apreseta ecoomia de escala, o que se veriica em redes de comuicação (Gamvros et al., 22). Também impomos este trabalho que somete um úico tipo de liha de trasmissão pode ser istalado para coectar qualquer par de ós. Gamvros et al. (22) utilizaram um algoritmo geético para resolver o PAGMCN. Para testar o método oram gerados três cojutos de testes com 5 ós termiais um com a raiz o cetro, outro com a raiz a esquia e um ode a raiz era aleatoriamete localizada cada cojuto com 5 istâcias. Também geraram um cojuto com ós termiais com a raiz localizada o cetro, ode este cojuto também era composto por 5 istâcias. Em todos os testes realizados os autores trabalharam com três tipos de acilidades de capacidades, 3 e com os respectivos custos, 2 e 6. Para comparar os resultados do algoritmo geético os autores desevolveram um modelo matemático para o PAGMCN e usaram o limite ierior ao valor da solução ótima dado pela relaxação liear. Nos resultados apresetados o maior gap médio observado oi de 9,95% em relação à solução do problema relaxado para as istâcias com 5 ós e a raiz o cetro. 3.. Formulação de Gramvros et al. (22) Gamvros et al. (22) apresetam um modelo de programação matemática para o PAGMCN que utiliza três tipos de variáveis. Seja x igual a se uma acilidade é istalada sobre o arco (i,j) e caso cotrário. Seja y l igual a se a acilidade do tipo l é istalada sobre o arco (i,j), e caso cotrário. Nos modelos baseados em luxo para o PAGMC o luxo vai do ó cetral em direção aos ós termiais. No modelo apresetado por Gamvros et al. (22) o luxo deixa os ós termiais em direção ao ó cetral. Cada ó termial possui um produto que deve ser trasportado ao ó cetral. A origem do produto é o ó K. A variável idica o luxo do produto que passa pelo arco (i, j). Sedo assim o problema oi ormulado da seguite orma: Miimize Sujeito a: L l l c y l= i i K = L l= ji j ji l y L j Z l= l (3.) = i =,... ; (3.2a) = =,..., K; (3.2b) = i =,... ; =,..., K e i ; (3.2c) y l i =,... ; j =,..., ; (3.3) = x i =,... ; j =,..., ; (3.4) 975

6 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS x i =,... ; j =,..., ; =,...,K; (3.5) x j x = (3.6) = i =,..., ; (3.7) x + x ji i =,... ; j =,..., ; (3.8) x Є {,} i =,... ; j =,..., ; (3.9) y l Є {,} i =,... ; j =,..., ; l =,...,L; (3.) i =,... ; j =,..., ; =,...,K. (3.) O cojuto de restrições (3.2a), (3.2b), (3.2c), (3.5), (3.6), (3.7) e (3.8) garatem que a topologia da rede será uma árvore e que os arcos vão em direção ao ó cetral. O cojuto de restrições (3.4) garatem que somete um tipo de acilidade será istalada sobre um arco, e somete se este arco or utilizado a solução. As restrições (3.3) garatem que o luxo que passa por uma acilidade é meor que a sua capacidade. Esta ormulação gera ( L+ 2 ) variáveis, ode L é o úmero de acilidades dispoíveis, e ( ) restrições. 4. Modelos Propostos Neste trabalho são propostos dois modelos matemáticos para represetar o PAGMCN e, ao cotrário do modelo apresetado por Gamvros et al. (22), os dois modelos o luxo lui do ó em direção aos outros ós da rede. Os modelos desevolvidos também são baseados em um grao direto. 4.. Formulação Baseada em Fluxo Seja x igual a se a acilidade do tipo é usado para ligar o ó i ao ó j e igual a caso cotrário, Z é a capacidade da acilidade do tipo e y é o luxo que passa pelo arco (i,j). Podemos etão ormular o problema da seguite orma: Miimize Sujeito a: L c x = L x = L Z x = y y x (4.) = j =,..., ; (4.2) y i =,..., ; j =,..., ; (4.3) ji = j =,..., ; (4.4) Є (,) i =,..., ; j =,..., ; =,..., L; (4.5) y i =,..., ; j =,...,. (4.6) Os cojutos de restrições (4.2), (4.3) e (4.4) garatem a coservação do luxo e que a topologia da rede será uma árvore, ode o luxo vai do ó cetral em direção aos ós termiais. O cojuto de restrições (4.3) aida garate que o luxo sobre um arco de capacidade ão irá 976

7 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS ultrapassar essa capacidade. Este modelo baseado em luxo para o PAGMCN, deotado por MBF, gera ( 2 L+ 2 ) variáveis, ode L é o úmero de acilidades dispoíveis e ( 2 +2) restrições. Note que este modelo é uma geeralização do modelo apresetado por Gavish (982, 983) Formulação baseada a capacidade das acilidades O modelo apresetado a seguir, deotado por MBC, utiliza as mesmas variáveis do modelo aterior, com exceção da variável de luxo y. Dito isso, a ormulação pode ser eita da seguite orma: Miimize Sujeito a: L c x = L x = L L Z x = = x (4.7) = j =,..., ; (4.8) Z x ji j =,..., ; (4.9) Є (,) i =,..., ; j =,..., ; =,..., L. (4.) As restrições (4.8) e (4.9) garatem que a topologia da rede será uma árvore, que o luxo irá do ó cetral em direção aos ós termiais e que a capacidade das acilidades será preservada. O problema deste modelo é que se or usado uma acilidade com capacidade qualquer ele cosidera que por essa acilidade estará passado um luxo igual à capacidade deste. Este problema pode ser solucioado com a criação de acilidades artiiciais. Supohamos que só temos dispoíveis 3 tipos de acilidades com as seguites capacidades, 3 e 5, com custos c, c 2 e c 3, respectivamete. Etão criamos duas acilidades artiiciais, uma com a capacidade 2 e custo c 2 e outra com capacidade 4 e custo c 3. Isso deve ser eito pois as acilidades devem ter capacidades variado de em até a acilidade de maior capacidade. Além disso, o custo da acilidade artiicial deve ser igual à de meor custo de uma acilidade real com a capacidade superior a sua, pois se a solução estiver uma acilidade com capacidade 4, isso quer dizer a verdade que estaremos usado uma acilidade com capacidade 5 mas que passa somete 4 uidades de luxo. Este modelo apreseta 2 Z L variáveis, ode Z L é a maior capacidade etre todas as acilidades, e 2 restrições. 5. Resultados Os modelos desevolvidos e o apresetado por Gamvros et al. (22) oram implemetados o modelador e otimizador LINGO versão 7.. Para testá-los oram geradas istâcias a partir das istâcias cohecidas a literatura (ver por exemplo Gouveia e Martis (2)) como tc4- e te4- ( =,..., ). Estas istâcias são compostas de 4 ós (além da raiz) gerados aleatoriamete um grid x. Os custos das arestas são a parte iteira das distâcias Euclidiaas. A classe TC é caracterizada por ter a raiz o cetro do grid, e a classe TE por ter a raiz o cato. Essas istâcias são utilizadas para testar algoritmos para resolução do PAGMC e para usá-los para testar os modelos para o PAGMCN basta acrescetar ovos tipos de acilidades com custos dieretes. Neste experimeto ós atribuímos à capacidade de cada tipo de acilidade um ator que multiplica os custos Euclidiaos das arestas as istâcias origiais. Os testes oram realizados em um computador com processador Petium IV,,8 MHz, com 256 MB de memória RAM, sob o sistema operacioal Widows XP.Cada bateria de testes apreseta um cojuto com dez istâcias. As tabelas a seguir apresetam os resultados obtidos pelos modelos apresetados as seções 3., 4. e 4.2 respectivamete. São apresetados os tempos em que os modelos resolveram cada istâcia, em segudos. Para todos os cojutos de testes oi estabelecido o tempo máximo para que o 977

8 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS modelo ecotrasse a melhor solução, que oi limitado em 36 segudos. Cada tabela também iorma o valor do gap, que é calculado da seguite orma: (MS-LI)/MS, ode MS idica o valor da melhor solução até o mometo e LI idica o valor do limite ierior até o mometo. Tabela 5. Resultados dos testes tc2 Modelos Modelo Gamvros Modelo Baseado Modelo Baseado a et. Al (MG) em Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo GAP Tempo GAP Ótimo (s) (%) (s) (%) (s) (%) Tc2-36 8, Tc , Tc tc tc , tc tc tc tc tc A primeira bateria de testes oi eita utilizado-se os 2 primeiros ós das istâcias tc4 mais o ó cetral e utilizado-se três tipos de acilidade com capacidades, 3 e 5 e atores multiplicativos de, 2 e 3 respectivamete. Este cojuto de testes oi chamado de tc2. Para este cojuto de testes os modelos propostos ecotraram a solução ótima para todas as istâcias ates do tempo máximo estabelecido e o modelo MBC uma covergêcia muito mais rápida, como pode ser observado a Tabela 5.. Já o modelo existete ão cosegue ecotrar a solução ótima em três istâcias. A seguda bateria de testes oi realizada com os 2 primeiros ós das istâcias te4 mais o ó cetral e utilizado-se das mesmas acilidades dos testes tc2 apresetados ateriormete. Este cojuto de testes oi chamado de te2. Tabela 5.2 Resultados dos testes te2 Modelos Modelo Gamvros et. Modelo Baseado em Modelo Baseado a al (MG) Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo (s) GAP Tempo GAP Ótimo (s) (%) (%) (s) (%) Te2-36 3,2 36 5,6 6 4 Te , Te , , Te , , Te ,2 36, Te , Te2-7 36, Te , Te2-9 36, Te2-36 2, Para o cojuto de testes te2 o modelo MG ão cosegue ecotrar a solução ótima o tempo máximo determiado em ehuma istâcia como podemos observar a Tabela 5.2. Já o modelo MBF ão ecotra o ótimo em quatro istâcias, equato o modelo MBC ecotra a solução ótima para todas as istâcias e levado um tempo máximo de 6 segudos. 978

9 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS Tabela 5.3 Resultados dos testes tc3 Modelos Modelo Gamvros et. Modelo Baseado em Modelo Baseado a al (MG) Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo (s) GAP Tempo GAP Ótimo (s) (%) (%) (s) (%) Tc , , Tc , Tc , Tc , Tc , Tc , Tc , Tc , Tc , Tc , Para o terceiro cojuto de testes oram utilizados os 3 primeiros ós das istâcias tc4, mais o ó, com três tipos de acilidades com as seguites capacidades:, 3 e, sedo os atores multiplicativos associados à cada acilidade, 2 e 6 respectivamete. Este cojuto de testes oi chamado tc3 e os seus resultados podem ser observados a Tabela 5.3. Como podemos observar a Tabela 5.3, o úico modelo a ecotrar a solução ótima para todas as istâcias o tempo determiado oi o modelo MBC, e o tempo máximo para resolvê-lo a otimalidade ão superou 76 segudos. Além disso, o modelo MG só oi capaz de ecotrar solução viável o tempo estabelecido em uma úica istâcia (Tc3-), dessa orma ão oi possível calcular o gap deste modelo para as demais istâcias do problema. Já o modelo MBF, apesar de ão ecotrar a solução ótima para ehuma das istâcias o tempo estabelecido, é capaz de ecotrar soluções viáveis para todas e apreseta um gap máximo de 2,4%. A quarta bateria de testes utiliza os 3 primeiros ós, além do ó, das istâcias te4 e também utiliza três tipos de acilidades com as mesmas capacidades e os mesmos atores utilizados para o cojuto de testes tc3 apresetados ateriormete. Este cojuto de testes oi chamado te3 e seus resultados são apresetados a Tabela 5.4. Tabela 5.4 Resultados dos testes te3 Modelos Modelo Gamvros Modelo Baseado Modelo Baseado a et. al (MG) em Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo GAP Tempo GAP Ótimo (s) (%) (s) (%) (s) (%) Te , Te , Te , Te , Te ,7 36 9, Te ,56 36, Te , Te , Te ,44 36, Te ,

10 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS A Tabela 5.4 mostra que, mais uma vez, o modelo MG ão cosegue ecotrar solução viável o tempo máximo determiado para a maioria das istâcias. Para este cojuto de testes o modelo MBF também ão cosegue ecotrar ehuma solução ótima o tempo determiado, mas apreseta solução viável para todas as istâcias. Já o modelo MBC só ão cosegue ecotrar a solução ótima o tempo determiado em uma istâcia (Te3-9), mesmo assim apreseta um gap de apeas,68%. Para a quita e a sexta bateria de testes oram utilizadas as istâcias tc4 e te4 respectivamete, também utilizado acilidades com capacidades, 3 e e atores multiplicativos de, 2 e 6, respectivamete. Os resultados dos testes da quita bateria são apresetados a Tabela 5.5. Esta tabela, assim como a Tabela 5.6, só apresetam os resultados dos dois ovos modelos desevolvidos, pois ão oi possível aplicar o modelo proposto por Gamvros et al. (22) a ehuma das istâcias, devido a problemas de alta de memória. Além disso, para algumas istâcias ão oi possível ecotrar o valor da solução ótima. Na Tabela 5.5 podemos observar que, mais uma vez, o modelo MBC coverge mais rapidamete para a solução ótima do que o modelo MBF, sedo que o modelo MBC só ão ecotra a solução ótima o tempo determiado para uma istâcia (Tc4-4), apresetado um gap de 3,6%, equato o modelo MBF o gap de meor valor é de 7,28% para a istâcia (Tc4-2). Tabela 5.5 Resultados dos testes tc4 Modelos Modelo Baseado Modelo Baseado a em Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo GAP Ótimo (s) (%) (s) (%) Tc4-36 6, Tc , Tc , Tc ,8 36 3,6 - Tc4-5 36, Tc4-6 36, Tc , Tc , Tc , Tc4-36 5, Como pode ser observado a Tabela 5.6, o modelo MBC cosegue ecotrar os gap mais baixos e aida oi capaz de ecotrar a solução ótima para uma das istâcias (Te4-3) ates do tempo estabelecido. Já o modelo MBF, apesar de ser capaz de ecotrar soluções viáveis para todas as istâcias, apreseta um gap superior ao modelo MBC em todas as istâcias. Tabela 5.6 Resultados dos testes te4 Modelos Modelo Baseado Modelo Baseado a em Fluxo (MBF) capacidade (MBC) Valor Istâcias Tempo GAP Tempo GAP Ótimo (s) (%) (s) (%) Te , ,5 Te ,3 36 8,95 Te , Te4-4 36, ,67 98

11 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS Te , ,57 Te , ,28 Te ,9 36 5,44 Te ,5 36 6,68 Te , ,7 Te4-36 3,5 36 9,5 6. Coclusões e trabalhos uturos Este trabalho apreseta dois ovos modelos para o Problema da Árvore Geradora Míima Capacitada em Níveis (PAGMCN). Os modelos propostos, deomiados MBF e MBC, são comparados com o modelo de Gamvros et al. (22) e, claramete, apresetam um desempeho bem superior a este último, sedo o modelo MBC aquele que apreseta os melhores resultados em todos os testes realizados. Para trabalhos uturos sugere-se a costrução de modelos heurísticos para a resolução do PAGMCN, já que com o crescimeto do úmero de variáveis, mesmo o modelo mais eiciete já começa a ter diiculdades para ecotrar a solução ótima. Reerêcias Bibliográicas AHUJA, R.K., ORLIN, J.B. & SHARMA, D., Multi-exchage eighborhood structures or the capacitated miimum spaig tree problem. Mathematical Programmig, 9:7-97,2. AMBERG, A. DOMSCHKE, W. & VOSS, S., Capacitated miimum spaig trees: Algorithms usig itelliget search. Combiatorial Optimizatio: Theory ad Practice, :9-4, 996. ESAU, L.R. & WILLIAMS, K.C., O teleprocessig system desig. Part II A method or aproximatig the optimal etwors. IBM Syst., J. 5:42-47, 966. GAMVROS, I., GOLDEN, B.L. & RAGHAVAN, S., A evolutioary approach or the multi-level capacitated miimum spaig tree. Telecommuicatios Networ Desig ad Maagemet, Aadaligam e Raghava (editores), Kluwer Academic Press, 23. (Dispoível em: Acesso em /6/24.) GAVISH, B., Topological desig o cetralized computer etwors: Formulatios ad algorithms. Networs, 2: , 982. GAVISH, B., Formulatios ad algorithms or the capacitated miimal directed tree problem. Joural o the ACM, 3:8-32, 983. GOUVEIA, L., A 2 ormulatio or the capacitated miimal spaig tree problem. Operatios Research, 4:3-4, 995. GOUVEIA, L. & MARTINS, P., The capacitated miimal spaig tree problem: A experimet with a hop-idexed model. Aals o Operatios Research, 86:27-294, 999. GOUVEIA, L. & MARTINS, P., A hierarchy o hop-idexed models or the capacitated miimum spaig tree problem. Networs, 35:-6, 2. 98

12 Pesquisa Operacioal e o Desevolvimeto Sustetável 27 a 3/9/5, Gramado, RS PAPADIMITRIOU, C.H., The complexity o the capacitated tree problem. Networs, 8:27-23, 978. SHARAIRA, Y., GENDREAU, M., LAPORTE, G. & OSMAN, I., A tabu search algorithm or the capacitated shortest spaig tree problem. Networs, 29:6-7, 997. SOUZA, M.C., DUHAMEL C. & RIBEIRO C.C., A GRASP heuristic or the capacitated miimum spaig tree problem usig a memory-based local search strategy. Metaheuristics: Computer Decisio-Maig. Kluwer Academic Publishers B.V., pp ,