-
Algoritmos Genéticos Aplicado ao Problema de Roteamento de Veículos
Authors:
Felipe F. Müller,
Luis A. A. Meira
Abstract:
Routing problems are often faced by companies who serve costumers through vehicles. Such problems have a challenging structure to optimize, despite the recent advances in combinatorial optimization. The goal of this project is to study and propose optimization algorithms to the vehicle routing problems (VRP). Focus will be on the problem variant in which the length of the route is restricted by a…
▽ More
Routing problems are often faced by companies who serve costumers through vehicles. Such problems have a challenging structure to optimize, despite the recent advances in combinatorial optimization. The goal of this project is to study and propose optimization algorithms to the vehicle routing problems (VRP). Focus will be on the problem variant in which the length of the route is restricted by a constant. A real problem will be tackled: optimization of postmen routes. Such problem was modeled as {multi-objective} in a roadmap with 25 vehicles and {30,000 deliveries} per day.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
An Faster Network Motif Detection Tool
Authors:
Luis A. A. Meira,
Vinícius R. Máximo,
Alvaro L. Fazenda,
Arlindo F. da Conceição
Abstract:
Network motif provides a way to uncover the basic building blocks of most complex networks. This task usually demands high computer processing, specially for motif with 5 or more vertices. This paper presents an extended methodology with the following features: (i) search for motifs up to 6 vertices, (ii) multithread processing, and a (iii) new enumeration algorithm with lower complexity. The algo…
▽ More
Network motif provides a way to uncover the basic building blocks of most complex networks. This task usually demands high computer processing, specially for motif with 5 or more vertices. This paper presents an extended methodology with the following features: (i) search for motifs up to 6 vertices, (ii) multithread processing, and a (iii) new enumeration algorithm with lower complexity. The algorithm to compute motifs solve isomorphism in $O(1)$ with the use of hash table. Concurrent threads evaluates distinct graphs. The enumeration algorithm has smaller computational complexity. The experiments shows better performance with respect to other methods available in literature, allowing bioinformatic researchers to efficiently identify motifs of size 3, 4, 5, and 6.
△ Less
Submitted 25 April, 2018;
originally announced April 2018.
-
Multi-Objective Vehicle Routing Problem Applied to Large Scale Post Office Deliveries
Authors:
Luis A. A. Meira,
Paulo S. Martins,
Mauro Menzori,
Guilherme A. Zeni
Abstract:
The number of optimization techniques in the combinatorial domain is large and diversified. Nevertheless, real-world based benchmarks for testing algorithms are few. This work creates an extensible real-world mail delivery benchmark to the Vehicle Routing Problem (VRP) in a planar graph embedded in the 2D Euclidean space. Such problem is multi-objective on a roadmap with up to 25 vehicles and 30,0…
▽ More
The number of optimization techniques in the combinatorial domain is large and diversified. Nevertheless, real-world based benchmarks for testing algorithms are few. This work creates an extensible real-world mail delivery benchmark to the Vehicle Routing Problem (VRP) in a planar graph embedded in the 2D Euclidean space. Such problem is multi-objective on a roadmap with up to 25 vehicles and 30,000 deliveries per day. Each instance models one generic day of mail delivery, allowing both comparison and validation of optimization algorithms for routing problems. The benchmark may be extended to model other scenarios.
△ Less
Submitted 23 December, 2017;
originally announced January 2018.
-
VRPBench: A Vehicle Routing Benchmark Tool
Authors:
Guilherme A. Zeni,
Mauro Menzori,
P. S. Martins,
Luis A. A. Meira
Abstract:
The number of optimization techniques in the combinatorial domain is large and diversified. Nevertheless, there is still a lack of real benchmarks to validate optimization algorithms. In this work we introduce VRPBench, a tool to create instances and visualize solutions to the Vehicle Routing Problem (VRP) in a planar graph embedded in the Euclidean 2D space. We use VRPBench to model a real-world…
▽ More
The number of optimization techniques in the combinatorial domain is large and diversified. Nevertheless, there is still a lack of real benchmarks to validate optimization algorithms. In this work we introduce VRPBench, a tool to create instances and visualize solutions to the Vehicle Routing Problem (VRP) in a planar graph embedded in the Euclidean 2D space. We use VRPBench to model a real-world mail delivery case of the city of Artur Nogueira. Such scenarios were characterized as a multi-objective optimization of the VRP. We extracted a weighted graph from a digital map of the city to create a challenging benchmark for the VRP. Each instance models one generic day of mail delivery with hundreds to thousands of delivery points, thus allowing both the comparison and validation of optimization algorithms for routing problems.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
Fusion Tree Sorting
Authors:
Luis A. A. Meira,
Rogério H. B. de Lima
Abstract:
The sorting problem is one of the most relevant problems in computer science. Within the scope of modern computer science it has been studied for more than 70 years. In spite of these facts, new sorting algorithms have been developed in recent years. Among several types of sorting algorithms, some are quicker; others are more economic in relation to space, whereas others insert a few restrictions…
▽ More
The sorting problem is one of the most relevant problems in computer science. Within the scope of modern computer science it has been studied for more than 70 years. In spite of these facts, new sorting algorithms have been developed in recent years. Among several types of sorting algorithms, some are quicker; others are more economic in relation to space, whereas others insert a few restrictions in relation to data input. This paper is aimed at explaining the fusion tree data structure, which is responsible for the first sorting algorithm with complexity time smaller than nlgn. The nlgn time complexity has led to some confusion and generated the wrong belief in part of the community of being the minimum possible for this type of problem.
△ Less
Submitted 31 October, 2014;
originally announced November 2014.
-
Ordenação Baseada em Árvores de Fusão
Authors:
Rogério H. B. de Lima,
Luis A. A. Meira
Abstract:
Sorting is one of the most important problem in the computer science. After more than 60 years of studies, there are still many research devoted to develop faster sorting algorithms. This work aims to explain the Fusion Tree data structure. Fusion Tree was responsible for the first sorting algorithm with time $o(n \ lg n) $. -----
O problema da ordenação é sem dúvida um dos mais estudados na Ciê…
▽ More
Sorting is one of the most important problem in the computer science. After more than 60 years of studies, there are still many research devoted to develop faster sorting algorithms. This work aims to explain the Fusion Tree data structure. Fusion Tree was responsible for the first sorting algorithm with time $o(n \ lg n) $. -----
O problema da ordenação é sem dúvida um dos mais estudados na Ciência da Computação. No escopo da computação moderna, depois de mais de 60 anos de estudos, ainda existem muitas pesquisas que objetivam o desenvolvimento de algoritmos que solucionem uma ordenação mais rápida ou com menos recursos comparados a outros algoritmos já conhecidos. Há vários tipos de algoritmos de ordenação, alguns mais rápidos, outros mais econômicos em relação ao espaço e outros com algumas restrições com relação à entrada de dados. O objetivo deste trabalho é explicar a estrutura de dados Ávore de Fusão, responsável pelo primeiro algoritmo de ordenação com tempo inferior a $ n \lg n $, tempo esse que criou certa confusão, gerando uma errada crença de ser o menor possível para esse tipo de problema.
△ Less
Submitted 3 October, 2014; v1 submitted 24 July, 2014;
originally announced July 2014.
-
acc-Motif Detection Tool
Authors:
Luis A. A. Meira,
Vinicius R. Máximo,
Álvaro L. Fazenda,
Arlindo F. da Conceição
Abstract:
Network motif algorithms have been a topic of research mainly after the 2002-seminal paper from Milo \emph{et al}, that provided motifs as a way to uncover the basic building blocks of most networks. In Bioinformatics, motifs have been mainly applied in the field of gene regulation networks. This paper proposes new algorithms to exactly count isomorphic pattern motifs of sizes 3, 4 and 5 in direct…
▽ More
Network motif algorithms have been a topic of research mainly after the 2002-seminal paper from Milo \emph{et al}, that provided motifs as a way to uncover the basic building blocks of most networks. In Bioinformatics, motifs have been mainly applied in the field of gene regulation networks. This paper proposes new algorithms to exactly count isomorphic pattern motifs of sizes 3, 4 and 5 in directed graphs. Let $G(V,E)$ be a directed graph with $m=|E|$. We describe an $O({m\sqrt{m}})$ time complexity algorithm to count isomorphic patterns of size 3. In order to count isomorphic patterns of size 4, we propose an $O(m^2)$ algorithm. To count patterns with 5 vertices, the algorithm is $O(m^2n)$. The new algorithms were implemented and compared with FANMOD and Kavosh motif detection tools. The experiments show that our algorithms are expressively faster than FANMOD and Kavosh's. We also let our motif-detecting tool available in the Internet.
△ Less
Submitted 18 April, 2013; v1 submitted 15 March, 2012;
originally announced March 2012.
-
A Systematic Approach to Bound Factor-Revealing LPs and its Application to the Metric and Squared Metric Facility Location Problems
Authors:
Cristina G. Fernandes,
Luís A. A. Meira,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa
Abstract:
A systematic technique to bound factor-revealing linear programs is presented. We show how to derive a family of upper bound factor-revealing programs (UPFRP), and show that each such program can be solved by a computer to bound the approximation factor of an associated algorithm. Obtaining an UPFRP is straightforward, and can be used as an alternative to analytical proofs, that are usually very l…
▽ More
A systematic technique to bound factor-revealing linear programs is presented. We show how to derive a family of upper bound factor-revealing programs (UPFRP), and show that each such program can be solved by a computer to bound the approximation factor of an associated algorithm. Obtaining an UPFRP is straightforward, and can be used as an alternative to analytical proofs, that are usually very long and tedious. We apply this technique to the Metric Facility Location Problem (MFLP) and to a generalization where the distance function is a squared metric. We call this generalization the Squared Metric Facility Location Problem (SMFLP) and prove that there is no approximation factor better than 2.04, assuming P $\neq$ NP. Then, we analyze the best known algorithms for the MFLP based on primal-dual and LP-rounding techniques when they are applied to the SMFLP. We prove very tight bounds for these algorithms, and show that the LP-rounding algorithm achieves a ratio of 2.04, and therefore has the best factor for the SMFLP. We use UPFRPs in the dual-fitting analysis of the primal-dual algorithms for both the SMFLP and the MFLP, improving some of the previous analysis for the MFLP.
△ Less
Submitted 6 August, 2013; v1 submitted 7 November, 2011;
originally announced November 2011.