Made available in DSpace on 2016-12-23T14:33:48Z (GMT). No. of bitstreams: 1 dissertacao_ez[1].pdf: 489437 bytes, checksum: d1ab93a940c6981c3ddcdb53466a2f44 (MD5) Previous issue date: 2006-12-04 / An eletric utility must install protection (reclosers and fuses) and sectionalizing (switches) devices in key points of its distribution network to serve its customers with a reliable power supply. Utility boards or similar commissions define measures (reliability indices) to quantify and analize the eletric utility services. The problem addressed in this work is twofold. First, we want to optimize the allocation of reclosers in a distribution network to improve its reliability indices. The Simulated Annealing meta-heuristic was employed and its results were close to the optimal values in the tests performed. Second, we want to improve the effectiveness of a distribution protective design by identifying the type (recloser, fuse or switch) and location of devices to be installed. A Binary Linear Programming model found in the literature was implemented and tested. Its deficiencies leaded to the development of a more complete Binary Nonlinear Programming model and a specific branch-and-bound algorithm to solve it. The solutions proposed in this work allow an eletric utility to project and restructure the protection design of its distribution networks, allowing it to improve the service provided to its consumers. Hence, the company can cut investiments costs and still ensure a better quality of service to its clients, generating economic benefits to both parties. / As empresas responsáveis pelo fornecimento de energia elétrica (concessionárias) devem instalar equipamentos de proteção (religadores e fusíveis) e de seccionamento (chaves) em locais adequados da rede de distribuição para prestar um serviço de boa qualidade. Órgãos reguladores estabelecem métricas (índices de continuidade) para quantificar e analisar o desempenho das concessionárias. O problema abordado neste trabalho pode ser dividido em duas partes. A primeira trata de otimizar a alocação de religadores em uma rede de distribuição, buscando melhorar os índices de continuidade. A meta-heurística Simulated Annealing foi empregada e os resultados obtidos nos testes realizados ficaram muito próximos dos valores ótimos. Na segunda parte, tenta-se determinar a melhor alocação de religadores, fusíveis e chaves de forma simultânea, novamente para melhorar os índices de uma rede de distribuição. Um modelo de Programação Linear Binária proposto na literatura foi implementado e testado. As deficiências identificadas neste modelo motivaram o desenvolvimento de uma nova formulação de Programação Não-linear Binária, mais abrangente, e um algoritmo de branch-and-bound específico para resolver as formulações obtidas com o novo modelo. As soluções propostas neste trabalho permitem que as concessionárias projetem ou reestruturem a proteção das redes de distribuição de energia elétrica de forma a melhorar o serviço prestado aos consumidores. Com isto, as empresas podem diminuir o custo dos investimentos e ao mesmo tempo garantir que os seus clientes serão melhor atendidos, o que gera benefícios econômicos a ambos.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-06-26T22:34:30Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Ademir Oliveira Santos.pdf: 1332774 bytes, checksum: 97f3be79d5e03e57a8eebe8183f21e2d (MD5) / Made available in DSpace on 2018-06-26T22:34:30Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Ademir Oliveira Santos.pdf: 1332774 bytes, checksum: 97f3be79d5e03e57a8eebe8183f21e2d (MD5) Previous issue date: 2017-02-21 / CAPES / O problema de roteamento de veículos tem grande importância dentro da logística e cadeia de suprimentos, pois tem como finalidade o desenho de rotas ótimas para ser usado por uma frota de veículos destinados a atender a um conjunto de clientes com o menor custo possível. O objetivo deste trabalho é desenvolver e aplicar o problema de roteamento de veículos com janelas de tempo envolvendo questões ambientais, atividades de manutenção preventiva e algumas restrições relativas à jornada de trabalho do condutor (ECOPRVMP) no contexto de uma empresa nacional que atua no transporte graneleiro. Para tanto, foram desenvolvidos dois modelos de Programação Linear Inteira Mista. O modelo ECOPRVPM 1 proposto é implementado e aplicado em um exemplo disponibilizado na literatura, de forma a permitir sua validação. Em seguida, o modelo ECOPRVMP 2 é testado em um exemplo real, no contexto de transporte logístico de grãos no Centro-Oeste brasileiro. Os modelos matemáticos são resolvidos de forma exata por meio de uma ferramenta que aplica o método Branch-and-Cut. Além da ordem de visitação dos fornecedores / clientes por cada veículo, sabe-se em que trechos devem ser realizadas atividades de manutenção preventiva, respeitando-se os intervalos previamente definidos (por exemplo, estabelecidos pelo fabricante dos veículos). Ainda, as rotas encontradas minimizam o custo com emissões e atendem a restrições da jornada do condutor. Dessa maneira, os resultados computacionais obtidos para os testes realizados mostram a consistência dos modelos propostos de roteamento de veículos apresentados, que são mais abrangentes sob a perspectiva da sustentabilidade do que os tradicionalmente utilizados. / The vehicle routing problem has great importance within the logistics and supply chain, as it aims at designing optimal routes to be used by a fleet of vehicles that has to meet a set of customers at the lowest possible cost. The objective of this work is to develop and apply the vehicle routing problem with time windows involving environmental issues, preventive maintenance activities and some restrictions related to the driver's hours of service regulations (ECOPRVMP) in the context of a national company that operates in bulk transportation. Therefore, two models of Mixed-Integer Linear Programming are developed. The proposed ECOPRVPM 1 model is implemented and applied to an example provided in the literature, in order to allow its validation. Next, the ECOPRVMP 2 model is tested in a real example, in the context of logistic grain transport in the Brazilian Midwest. The mathematical models are exatly solved by means of a tool that applies the Branch-and-Cut method. In addition to the order of visitation of suppliers / customers by each vehicle, the solution provides in what parts of the route preventive maintenance activities should be carried out, respecting the intervals previously defined (for example, established by the vehicle manufacturer). Yet, the routes minimize the cost of emissions and meet constraints of the driver's hours of service regulations. Thus, the computational results obtained for the tests performed show the consistency of the proposed vehicle routing proposed models, which are more comprehensive under the perspective of sustainability than those traditionally used.

Orientadores: Cid Carvalho de Souza, Pedro Jussieu de Rezende / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-17T02:29:56Z (GMT). No. of bitstreams: 1 Couto_MarceloCastilho_M.pdf: 3682547 bytes, checksum: 899151df78f8e6950ce90ea8215ded91 (MD5) Previous issue date: 2010 / Resumo: Nesta dissertação, faz-se um amplo estudo multidisciplinar sobre duas variantes de um problema geométrico NP-DIFÍCIL, o Problema da Galeria de Arte, que é analisado tanto pela ótica geométrica quanto combinatória. O objetivo consiste em minimizar o número de guardas suficientes para cobrir todo o interior de uma galeria de arte, representada por um polígono simples. Dentre as muitas variantes desse problema, o foco foi dado àquela onde os guardas são estacionários e restritos aos vértices do polígono, ortogonal ou simples, sem obstáculos. Propõe-se neste trabalho um algoritmo iterativo exato que é capaz de resolver ambas as variantes do problema. Nesse algoritmo, o problema original é discretizado, reduzido a um problema combinatório, o Problema da Cobertura de Conjuntos, e modelado por programação linear inteira. A redução entre os problemas que assegura a corretude do algoritmo e as provas de exatidão e convergência para uma solução ótima do problema original são detalhadas. Apresenta-se também uma extensa experimentação de uma implementação desse algoritmo com o intuito de validar seu uso prático e analisar as várias estratégias propostas aqui para a discretização inicial da galeria. São dados resultados para instâncias com até 2500 vértices, mais de dez vezes o tamanho das maiores instâncias resolvidas exatamente na literatura pré-existente. Mostra-se que o número de iterações executadas pelo algoritmo está extremamente relacionada com o modo como a galeria é inicialmente discretizada. Considerando a estratégia de discretização com o melhor desempenho geral, tem-se que, na prática, o algoritmo converge para uma solução ótima para o problema original em um baixo tempo computacional e em um número de iterações que é ordens de grandeza aquém do limite teórico resultante da análise de pior caso / Abstract: In this dissertation, a broad multidisciplinary study is done on two variants of a geometrical NP-HARD problem, the Art Gallery Problem, which is approached both from geometrical and combinatorics perspectives. The goal is to minimize the number of guards sufficient to cover the interior of an art gallery whose boundary is represented by a simple polygon. Among the many variants of the problem, the focus was on one where the guards are stationary and are restricted to vertices of the polygon, orthogonal or simple, without holes. We propose an iterative exact algorithm to solve both variants of the problem. In this algorithm, the original problem is discretized, reduced to a combinatorial problem, the Set Cover Problem, and modeled as an integer linear program. The reduction between the problems, which ensures the correctness of the algorithm, and the proofs of its exactness and convergence to an optimal solution are detailed. We also present an extensive experimentation of an implementation of this algorithm in order to validate its practical use and analyze the various strategies proposed here for the initial discretization of the gallery. Results are given for instances with up to 2500 vertices, more than ten times the size of the largest instances solved to optimality in prior literature. It is shown that the number of iterations performed by the algorithm is highly related to how the gallery is initially discretized. Considering the discretization strategy with the best performance in practice, the algorithm converges to an optimal solution for the original problem in a low computation time and in a number of iterations that is orders of magnitude below the theoretical bound arising from the worst case analysis / Mestrado / Geometria Computacional e Otimização Combinatória / Mestre em Ciência da Computação

Orientador: Flavio Keidi Miyazawa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T08:02:12Z (GMT). No. of bitstreams: 1 Andrade_CarlosEduardode_M.pdf: 1512396 bytes, checksum: aac3459428d8f61b130828587f727265 (MD5) Previous issue date: 2006 / Resumo: Problemas de corte e empacotamento aparecem freqüentemente na indústria e comércio, e sua solução de forma otimizada pode trazer grandes ganhos em diversos setores.Um problema muito comum, notadamente no setor têxtil e do papel, é o corte de um rolo ou faixa de um determinado material para obtenção de itens menores, onde temos por objetivo utilizar a menor extensão do rolo/faixa possível. Este problema, conhecido como Problema de Empacotamento Bidimensional em Faixas (PEBF), é tido como um problema de otimização combinatória de difícil resolução. Neste trabalho, apresentamos um algoritmo exato para o PEBF restrito a cortes de dois estágios (PEBF2). O algoritmo usa a técnica de branch-and-price, que utiliza, por sua vez, heurísticas baseadas em algoritmos aproximados para a obtenção de limitantes superiores. O algoritmo se mostrou eficaz na obtenção de soluções para instâncias de pequeno e médio porte / Abstract: Cutting and packing problems are common problems that occur in many industry and business process. Their optimized resolution leads to great profits in several sectors. A common problem, that occur in textil and paper industries, is to cut a strip of some material to obtain several small items, using the minimum length of material. This problem, known by Two Dimensional Strip Packing Problem (2SP), is a hard combinatorial optimization problem. In this work, we present an exact algorithm to 2SP, restricted to two staged cuts (known by Two Dimensional Level Strip Packing, 2LSP). The algorithm uses the branch-and-price technique, and heuristics based on approximation algorithms to obtain upper bounds. The algorithm obtained optimal or almost optimal for small and moderate sized instances / Mestrado / Mestre em Ciência da Computação

Orientador: Raul Vinhas Ribeiro / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-31T15:06:57Z (GMT). No. of bitstreams: 1 Bergamaschi_MarcoAntonio_D.pdf: 623432 bytes, checksum: 671c76764474acb83a12d5702615ad48 (MD5) Previous issue date: 2001 / Doutorado

Orientador: Cid Carvalho de Souza / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T14:02:44Z (GMT). No. of bitstreams: 1 Santos_RafaelFranciscodos_M.pdf: 909075 bytes, checksum: b4d466696cb4f640a50eca288dfccd5c (MD5) Previous issue date: 2006 / Resumo: Nesta dissertação propomos um uso mais geral dos Cortes Canônicos (CCs) introduzidos por Balas e Jeroslow ([2]) no método de Ramificação Local (RamLoc) de Fischetti e Lodi ([6]). A ramificação local é uma heurística de propósito geral para Programação Inteira Mista (MIP) que explora vizinhanças definidas através da adição de inequações lineares ao modelo original. Estas inequações determinam subproblemas que são computados mais rapidamente pelos resolvedores de MIP. Uma análise da execução da RamLoc indicou que, em algumas situações, ela acrescenta cortes de ramificação local muito superficiais (i.e.,que descartam poucas soluções) e que estes cortes ocorrem com grande freqüência. Como os cortes de ramificações locais de Fischetti e Lodi são casos especiais dos CCs para programação inteira 0?1, n'os propomos a incorporação de CCs mais profundos (i.e.,que descartam mais soluções) à RamLoc. Executamos o algoritmo resultante sobre 25 das 29 instâncias testadas em [6] e obtivemos melhores resultados do aqueles alcançado pela RamLoc original e pelo resolvedor comercial de MIP XPRESS com seus parâmetros default. Uma outra investigação que empreendemos foi a inclusão dos CCs na heurística para modelos gerais de programação inteira mista RINS ([3]). Esta heurística surgiu durante o desenvolvimento desta dissertação e apresentou um bom desempenho. Realizamos alguns testes com as mesmas instâncias sobre as quais a RamLoc foi executada e obtivemos resultados promissores. Por fim, além da utilização dos CCs em heurísticas, criamos uma estratégia de ramificação que pode ser embutida nos algoritmos de branch-and-cut dos resolvedores de MIP. Denominamos esta estratégia de dive branching e a implementamos no resolvedor XPRESS. Em experimentos conduzidos com o mesmo conjunto de instâncias anteriores, obtivemos resultados de melhor qualidade do que aqueles produzidos pelo XPRESS com seus parâmetros default / Abstract: In this dissertation we propose a broader usage of the Canonical Cuts (CC) introduced by Balas and Jeroslow ([2]) in the Local Branching method (LB) of Fischetti and Lodi ([6]). The LB is a general purpose heuristic for Mixed Integer Programming (MIP) that explores neighborhoods defined by the addition of linear inequalities to the original model. These inequalities determine subproblems that are computed more quickly by MIP solvers. An analysis of the execution of LB indicated that, in some situations, it adds local branching cuts that are too superficial (i.e., chopping off few solutions) and that these cuts happen very often. Since the local branching cuts of Fischetti and Lodi are special cases of CCs for 0?1 integer programming, we propose to incorporate deeper CCs (i.e, chopping of more solutions) to LB. We executed the resulting algorithm on 25 out of the 29 instances tested in [6] and we obtained better results than those attained by the original LB and by the XPRESS commercial MIP solver under default settings. Another research that we carried out was the inclusion of CC to the RINS heuristics for general mixed integer programs ([3]). This heuristic appeared during the development of this dissertation and showed a good performance. We carried out some tests with the same instances on which LB was tested and the results are promising. Finally, besides using the CCs in heuristics, we created a branching strategy that can be embedded to the branch-and-cut algorithms of the MIP solvers. We called it dive branching and implemented it in the XPRESS solver. In experiments with the same set of instances as before, we obtained results of better quality than those produced by XPRESS with default settings / Mestrado / Mestre em Ciência da Computação

Orientador: Antonio Carlos Moretti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T22:48:39Z (GMT). No. of bitstreams: 1 DalGallo_RodrigoMarchiori_M.pdf: 685835 bytes, checksum: 9e0e8765da2a5926a7a5952b31283ca5 (MD5) Previous issue date: 2008 / Resumo: O trabalho tem como objetivo a implementação de um método heurístico para a resolução de problemas de programação inteira com dimensão completa. Nos atemos aos problemas de corte e empacotamento, mas a aplicação pode ser estendida a qualquer outro problema dessa classe. No problema de programação linear relaxado aplicamos o Método de Gilmore & Gomory e a partir da solução contínua obtida através do método simplex, aplicamos o método heurístico e comparamos os resultados com as soluções exatas obtidas a partir de Branch & Bound / Abstract: The objective of this dissertation is the implementation of a heuristic method to solve integer linear programming problems with complete dimension. We worked specifically with cutting and stock problems, but it can be aplied to any other class of integer problems. We used the Gilmore & Gomory method of column generation and starting by the continuous solution obtained with simplex method, we aplied the heuristic method and made a comparation of results with the exact solutions obtained by the Branch&Bound method / Mestrado / Pesquisa Operacional / Mestre em Matemática Aplicada

Orientador: Flavio Keidi Miyazawa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-11T20:54:55Z (GMT). No. of bitstreams: 1 Meira_LuisAugustoAngelotti_D.pdf: 974332 bytes, checksum: 7097ff3ed310db70e5026afabc41ceb6 (MD5) Previous issue date: 2007 / Resumo: O trabalho desenvolvido neste doutorado consistiu em conceber algoritmos para uma série de problemas NP-dificeis sob a abordagem de aproximabilidade, complementado com resultados heurísticos e também de programação inteira. O estudo foi focado em problemas de classificação e particionamento em grafos, como classificação métrica, corte balanceado e clusterização. Houve um equilíbrio entre teoria e aplicabilidade, ao obterse algoritmos com bons fatores de aproximação e algoritmos que obtiveram soluções de qualidade em tempo competitivo. O estudo concentrou-se em três problemas: o Problema da Classificação Métrica Uniforme, o Problema do Corte Balanceado e o Problema da Localização de Recursos na versão contínua. Inicialmente trabalhamos no Problema da Classificação Métrica Uniforme, para o qual propusemos um algoritmo O (logn)-aproximado. Na validação experimental, este algoritmo obteve soluções de boa qualidade em um espaço de tempo menor que os algoritmos tradicionais. Para o Problema do Corte Balanceado, propusemos heurísticas e um algoritmo exato. Experimentalmente, utilizamos um resolvedor de programação semidefinida para resolver a relaxação do problema e melhoramos substancialmente o tempo de resolução da relaxação ao construir um resolvedor próprio utilizando o método de inserção de cortes sobre um sistema de programação linear. Finalmente, trabalhamos com o problema de Localização de Recursos na variante contínua. Para este problema, apresentamos algoritmos de aproximação para as métricas l2 e l2 2. Este algoritmo foi aplicado para obter algoritmos de aproximação para o problema k-Means, que 'e um problema clássico de clusterização. Na comparação ao experimental com uma implementação conhecida da literatura, os algoritmos apresentados mostraram-se competitivos, obtendo, em vários casos, soluções de melhor qualidade em tempo equiparável. Os estudos relativos a estes problemas resultaram em três artigos, detalhados nos capítulos que compõem esta tese / Abstract: We present algorithms for combinatorial optimization NP-hard problems on classification and graph partitioning. The thesis concerns about theory and application and is guided by an approximation algorithms approach, complemented with heuristics and integer programming. We proposed good approximation factor algorithms as well as algorithms that find quality solutions in competitive time. We focus on three problems: the Metric Labeling Problem, the Sparsest Cut Problem and the Continuous Facility Location Problem. For the Metric Labeling Problem, we proposed an O(log n)-approximation algorithm. In the experimental analysis, this algorithm found high quality solutions in less time than other known algorithms. For the Sparsest Cut Problem we proposed heuristics and an exact algorithm. We built an SDP Solver to the relaxed formulation using a semi-infinity cut generation over linear programming. This approach considerably reduces the time used to solve the semi definite relaxation compared to an open source semi definite programming solver. Finally, for the Continuous Facility Location Problem we present approximation algorithms to the l2 and l2 2 distance function. These algorithms are used to obtain approximation algorithms to the k-Means Problem, which is a basic clustering problem. The presented algorithms are competitive since they obtain in many cases better solutions in equivalent time, compared to other known algorithms. The study of these problems results in three papers, which are detailed in chapters that make this thesis / Doutorado / Otimização Combinatoria / Doutor em Ciência da Computação

Nesta tese, estudamos o problema de Empacotamento de Bicliques. Um biclique é um grafo bipartido completo. No problema de Empacotamento de Bicliques são dados um inteiro k e um grafo bipartido G e deseja-se encontrar um conjunto de k bicliques, subgrafos de G, dois a dois disjuntos nos vértices, tal que a quantidade total de arestas dos bicliques escolhidos seja máxima. No caso em que k=1, temos o problema de Biclique máximo. Esses dois problemas possuem aplicações na área de Bioinformática. Mantemos neste trabalho um enfoque prático, no sentido de que nosso interesse é resolver instâncias desses dois problemas com tamanho razoavelmente grande. Para isso, utilizamos técnicas de Programação Linear Inteira. Para avaliar os métodos propostos aqui, mostramos resultados de experimentos computacionais feitos com instâncias vindas de aplicações e também com instâncias geradas aleatoriamente. / In this thesis, we study the Biclique Packing problem. A biclique is a complete bipartite graph. In the Biclique Packing problem we are given an integer k and a bipartite graph G and we want to find a set of k vertex disjoint bicliques of G, such that the total number of biclique\'s edges is maximum. When k=1, we have the Maximum Biclique problem. These two problems have applications in Bioinformatics. In this work we keep a practical focus, in the sense that we are interested in solving large size instances of these problems. To tackle these problems, we use Integer Linear Programming techniques. In order to evaluate the methods proposed here, we show results of computational experiments carried out with practical application\'s instances and also with randomly generated ones.

Orientadores: Cid Carvalho de Souza, Pedro Jussieu de Rezende / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-25T16:57:43Z (GMT). No. of bitstreams: 1 Tozoni_DaviColli_M.pdf: 4212278 bytes, checksum: afb91e202a72e28729ff14334901884f (MD5) Previous issue date: 2014 / Resumo: Nesta dissertação, apresentamos nossa pesquisa sobre o Problema da Galeria de Arte (AGP), um dos problemas mais estudados em Geometria Computacional. O AGP, que é um problema NP-difícil, consiste em encontrar o número mínimo de guardas suficiente para garantir a cobertura visual de uma galeria de arte representada por um polígono. Na versão do problema tratada neste trabalho, usualmente chamada de Problema da Galeria de Arte com Guardas-Ponto, os guardas podem ser posicionados em qualquer lugar do polígono e o objetivo é cobrir toda a região, que pode ou não conter buracos. Nós estudamos como aplicar conceitos e algoritmos de Geometria Computacional, bem como Técnicas de Programação Inteira, com a finalidade de resolver o AGP de forma exata. Este trabalho culminou na criação de um novo algoritmo para o AGP, cuja ideia é gerar, de forma iterativa, limitantes superiores e inferiores para o problema através da resolução de versões discretizadas do AGP, que são reduzidas a instâncias do Problema de Cobertura de Conjuntos. O algoritmo foi implementado e testado em mais de 2800 instâncias, de diferentes tamanhos e classes. A técnica foi capaz de resolver, em minutos, mais de 90% de todas as instâncias consideradas, incluindo polígonos com milhares de vértices, e ampliou em muito o conjunto de casos para os quais são conhecidas soluções exatas. Até onde sabemos, apesar do extensivo estudo do AGP nas últimas quatro décadas, nenhum outro algoritmo demonstrou a capacidade de resolver o AGP de forma tão eficaz como a técnica aqui descrita / Abstract: In this dissertation, we present our research on the Art Gallery Problem (AGP), one of the most investigated problems in Computational Geometry. The AGP, which is a known NP-hard problem, consists in finding the minimum number of guards sufficient to ensure the visibility coverage of an art gallery represented as a polygon. In the version of the problem treated in this work, usually called Art Gallery Problem with Point Guards, the guards can be placed anywhere in the polygon and the objective is to cover the whole region, which may or not have holes. We studied how to apply Computational Geometry concepts and algorithms as well as Integer Programming techniques in order to solve the AGP to optimality. This work culminated in the creation of a new algorithm for the AGP, whose idea is to iteratively generate upper and lower bounds for the problem through the resolution of discretized versions of the AGP, which are reduced to instances of the Set Cover Problem. The algorithm was implemented and tested on more than 2800 instances of different sizes and classes of polygons. The technique was able to solve in minutes more than 90% of all instances considered, including polygons with thousands of vertices, greatly increasing the set of instances for which exact solutions are known. To the best of our knowledge, in spite of the extensive study of the AGP in the last four decades, no other algorithm has shown the ability to solve the AGP as effectively as the one described here / Mestrado / Ciência da Computação / Mestre em Ciência da Computação