Algoritmos de aproximação para problemas de roteamento e conectividade com múltiplas funções de distância

Orientador: Lehilton Lelis Chaves PedrosaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Nesta dissertação, estudamos algumas generalizações de problemas clássicos de roteamento e conectividade cujas instâncias são compostas por um grafo completo e múltiplas funções de distância. Por exemplo, existe o Problema do Caixeiro Alugador (CaRS), no qual um viajante deseja visitar um conjunto de cidades alugando um ou mais carros disponíveis. Cada carro tem uma função de distância e uma taxa de retorno ao local do aluguel. CaRS é uma generalização do Problema do Caixeiro Viajante (TSP). Nós lidamos com esses problemas usando algoritmos de aproximação, que são algoritmos eficientes que produzem soluções com garantia de qualidade. Neste trabalho, são apresentadas duas abordagens, uma baseada em uma redução linear que preserva o fator de aproximação e outra baseada na construção de instâncias de dois problemas distintos. Os problemas considerados são o Steiner TSP, o Problema do Passeio com Coleta de Prêmios e o Problema da Floresta Restrita. Generalizamos cada um desses problemas considerando múltiplas funções de distância e, para cada um deles, apresentamos um algoritmo de aproximação com fator O(logn), onde n é o número de vértices (cidades). Essas aproximações são assintoticamente ótimas, já que não há algoritmos com fator o(log n), a não ser que P = NPAbstract: In this dissertation, we study some generalizations of classical routing and connectivity problems whose instances are composed of a complete graph and multiple distance functions. As an example, there is the Traveling Car Renter Problem (CaRS) in which a traveler wants to visit a set of cities by renting one or more available cars. Each car is associated to a distance function and a service fee to return to the rental location. CaRS is a generalization of the Traveling Salesman Problem (TSP). We deal with these problems using approximation algorithms which are efficient algorithms that produce solutions with quality guarantee. In this work, two approaches are presented, one based on a linear reduction that preserves the approximation factor and the other based on the construction of instances of two distinct problems. The studied problems are the Steiner TSP, the Profitable Tour Problem, and the Constrained Forest Problem. We generalize these problems by considering multiple distance functions and, for each of them, we present an O(log n)-approximation algorithm, where n is the number of vertices (cities). The factor is asymptotically optimal, since there is no approximation algorithm with factor o(log n) unless P = NPMestradoCiência da ComputaçãoMestra em Ciência da Computação001CAPE

Optimised search heuristics: combining metaheuristics and exact methods to solve scheduling problems

Tese dout., Matemática, Investigação Operacional, Universidade do Algarve, 2009Scheduling problems have many real life applications, from automotive industry to air traffic control. These problems are defined by the need of processing a set of jobs on a shared set of resources. For most scheduling problems there is no known deterministic procedure that can solve them in polynomial time. This is the reason why researchers study methods that can provide a good solution in a reasonable amount of time. Much attention was given to the mathematical formulation of scheduling problems and the algebraic characterisation of the space of feasible solutions when exact algorithms were being developed; but exact methods proved inefficient to solve real sized instances. Local search based heuristics were developed that managed to quickly find good solutions, starting from feasible solutions produced by constructive heuristics. Local search algorithms have the disadvantage of stopping at the first local optimum they find when searching the feasible region. Research evolved to the design of metaheuristics, procedures that guide the search beyond the entrapment of local optima. Recently a new class of hybrid procedures, that combine local search based (meta) heuristics and exact algorithms of the operations research field, have been designed to find solutions for combinatorial optimisation problems, scheduling problems included. In this thesis we study the algebraic structure of scheduling problems; we address the existent hybrid procedures that combine exact methods with metaheuristics and produce a mapping of type of combination versus application and finally we develop new innovative metaheuristics and apply them to solve scheduling problems. These new methods developed include some combinatorial optimisation algorithms as components to guide the search in the solution space using the knowledge of the algebraic structure of the problem being solved. Namely we develop two new methods: a simple method that combines a GRASP procedure with a branch-and-bound algorithm; and a more elaborated procedure that combines the verification of the violation of valid inequalities with a tabu search. We focus on the job-shop scheduling problem

最小k部分木問題に対する生物規範型ハイブリッドメタ戦略に基づく近似解法の研究

広島大学(Hiroshima University)博士(工学)Engineeringdoctora

Solving the Maximally Balanced Connected Partition Problem in Graphs by Using Genetic Algorithm

This paper exposes a research of the NP-hard Maximally Balanced Connected Partition problem (MBCP). The proposed solution comprises of a genetic algorithm (GA) that uses: binary representation, fine-grained tournament selection, one-point crossover, simple mutation with frozen genes and caching technique. In cases of unconnected partitions, penalty functions are successfully applied in order to obtain the feasible individuals. The effectiveness of presented approach is demonstrated on the grid graph instances and on random instances with up to 300 vertices and 2 000 edges

Reduction techniques for the prize collecting Steiner tree problem and the maximum‐weight connected subgraph problem

The concept of reduction has frequently distinguished itself as a pivotal ingredient of exact solving approaches for the Steiner tree problem in graphs. In this article we broaden the focus and consider reduction techniques for three Steiner problem variants that have been extensively discussed in the literature and entail various practical applications: The prize‐collecting Steiner tree problem, the rooted prize‐collecting Steiner tree problem and the maximum‐weight connected subgraph problem. By introducing and subsequently deploying numerous new reduction methods, we are able to drastically decrease the size of a large number of benchmark instances, already solving more than 90% of them to optimality. Furthermore, we demonstrate the impact of these techniques on exact solving, using the example of the state‐of‐the‐art Steiner problem solver SCIP‐Jack

Construct, Merge, Solve & Adapt A new general algorithm for combinatorial optimization

[EN]This paper describes a general hybrid metaheuristic for combinatorial optimization labelled Construct,Merge, Solve & Adapt. The proposed algorithm is a specific instantiation of a framework known from theliterature as Generate-And-Solve, which is based on the following general idea. First, generate a reducedsub-instance of the original problem instance, in a way such that a solution to the sub-instance is also asolution to the original problem instance. Second, apply an exact solver to the reduced sub-instance inorder to obtain a (possibly) high quality solution to the original problem instance. And third, make use ofthe results of the exact solver as feedback for the next algorithm iteration. The minimum common stringpartition problem and the minimum covering arborescence problem are chosen as test cases in order todemonstrate the application of the proposed algorithm. The obtained results show that the algorithm iscompetitive with the exact solver for small to medium size problem instances, while it significantlyoutperforms the exact solver for larger problem instancesC. Blum was supported by project TIN2012-37930-02 of the Spanish Government. In addition, support is acknowledged from IKERBASQUE (Basque Foundation for Science). J.A. Lozano was partially supported by the IT609-13 program (Basque Government) and project TIN2013-41272P (Spanish Ministry of Science and Innovation)Peer reviewe