Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
ABSTRACT Proportional symbol map is a cartographic tool that employs symbols to represent data associated with specific locations. Each symbol is drawn at the location of an event and its size is proportional to the numerical data... more
ABSTRACT Proportional symbol map is a cartographic tool that employs symbols to represent data associated with specific locations. Each symbol is drawn at the location of an event and its size is proportional to the numerical data collected at that point on the map. The symbols considered here are opaque disks. When two or more disks overlap, part of their boundaries may not be visible and it might be difficult to gauge their size. Therefore, the order in which the disks are drawn affects the visual quality of a map. In this work, we focus on stacking drawings, i.e., a drawing that corresponds to the disks being stacked up, in sequence, starting from the one at the bottom of the stack. We address the Max-Total problem, which consists in maximizing the total visible boundary of all disks. We propose a sophisticated heuristic based on GRASP that includes most of the advanced techniques described in the literature for this procedure. We tested both sequential and parallel implementations on benchmark instances and the comparison against optimal solutions confirms the high quality of our heuristic. To the best of our knowledge, this is the first time a metaheuristic is applied to this problem.
ABSTRACT Proportional symbol maps are a tool often used by cartographers and geoscience professionals to visualize geopositioned data associated with events and demographic statistics, such as earthquakes and population counts. Symbols... more
ABSTRACT Proportional symbol maps are a tool often used by cartographers and geoscience professionals to visualize geopositioned data associated with events and demographic statistics, such as earthquakes and population counts. Symbols are placed at specific locations on a map, and their areas are scaled to become proportional to the magnitudes of the data points they represent. We focus specifically on creating physically realizable drawings of symbols—opaque disks, in our case—by maximizing two quality metrics: the total and the minimum length of their visible borders. As these two maximization problems have been proven to be NP-hard, we provide integer programming formulations for their solution, along with decomposition techniques designed to decrease the size of input instances. Our computational experiments, which use real-life data sets, demonstrate the effectiveness of our approach and provide, for the first time, a number of optimal solutions to previously studied instances of this problem.
Brazilian petrobras is one of the world largest oil companies. Recurrently, it faces a very difficult over-constrained planning challenge: how to operate a large pipeline network in order to adequately transport oil derivatives and... more
Brazilian petrobras is one of the world largest oil companies. Recurrently, it faces a very difficult over-constrained planning challenge: how to operate a large pipeline network in order to adequately transport oil derivatives and biofuels from refineries to local markets. ...
... Planning and Scheduling Problem Arnaldo V. Moura, Cid C. de Souza, Andre A. Cire, Tony MT Lopes Institute of Computing - University of Campinas 13081-970, Campinas, SP {arnaldo, cid}@ic.unicamp.br, {andre.cire, tony.lopes}@gmail.com... more
... Planning and Scheduling Problem Arnaldo V. Moura, Cid C. de Souza, Andre A. Cire, Tony MT Lopes Institute of Computing - University of Campinas 13081-970, Campinas, SP {arnaldo, cid}@ic.unicamp.br, {andre.cire, tony.lopes}@gmail.com Abstract ...
Assume that a rectangle R is given on the Euclidean plane together with a finite set P of points that are interior to R. A rectangular partition of R is a partition of the surface of R into smaller rectangles. The length of such a... more
Assume that a rectangle R is given on the Euclidean plane together with a finite set P of points that are interior to R. A rectangular partition of R is a partition of the surface of R into smaller rectangles. The length of such a partition equals the sum of the lengths for the line ...
Research Interests:
This paper studies the Orthogonal Milling with Turn Costs. An exact algorithm is proposed based on an Integer Programming formulation of the problem. To our knowledge, this is the first exact algorithm ever proposed for the problem.... more
This paper studies the Orthogonal Milling with Turn Costs. An exact algorithm is proposed based on an Integer Programming formulation of the problem. To our knowledge, this is the first exact algorithm ever proposed for the problem. Besides, a simple heuristic is also presented and an unprecedented experimentation involving these two algorithms and an existing approximation algorithm is carried out.
In this article, we present a hybrid methodology for the exact solution of large scale real world crew scheduling problems. Our approach integrates mathematical programming and constraint satisfaction techniques, taking advantage of their... more
In this article, we present a hybrid methodology for the exact solution of large scale real world crew scheduling problems. Our approach integrates mathematical programming and constraint satisfaction techniques, taking advantage of their particular abilities in modeling and solving specific parts of the problem. An Integer Programming framework was responsible for guiding the overall search process and for obtaining lower
... The classical Art Gallery Problem originally posed by Victor Klee in 1973 con-sists in ... Rezende, PJ: OAGPLIB - Orthogonal art gallery problem library, www.ic.unicamp.br/∼cid/Problem-instances ... In: Conejo, R., Urretavizcaya, M.,... more
... The classical Art Gallery Problem originally posed by Victor Klee in 1973 con-sists in ... Rezende, PJ: OAGPLIB - Orthogonal art gallery problem library, www.ic.unicamp.br/∼cid/Problem-instances ... In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) CAEPIA/TTIA 2003. ...
Abstract In this paper, we propose an exact algorithm to solve the Orthogonal Art Gallery problem in which guards can only be placed on the vertices of the polygon P representing the gallery. Our approach is based on a discretization of P... more
Abstract In this paper, we propose an exact algorithm to solve the Orthogonal Art Gallery problem in which guards can only be placed on the vertices of the polygon P representing the gallery. Our approach is based on a discretization of P into a finite set of points in its interior. The algorithm repeat- edly solves an instance of the
ABSTRACT Proportional symbol maps are a cartographic tool that employs scaled symbols to represent data associated with specific locations. The symbols we consider are opaque disks, which may be partially covered by other overlapping... more
ABSTRACT Proportional symbol maps are a cartographic tool that employs scaled symbols to represent data associated with specific locations. The symbols we consider are opaque disks, which may be partially covered by other overlapping disks. We address the problem of creating a suitable drawing of the disks that maximizes one of two quality metrics: the total and the minimum visible length of disk boundaries. We study three variants of this problem, two of which are known to be NP-hard and another whose complexity is open. We propose novel integer programming formulations for each problem variant and test them on real-world instances with a branch-and-cut algorithm. When compared with state-of-the-art models from the literature, our models significantly reduce computation times for most instances.
... Pedro J. de Rezende∗ Institute of Computing State University of Campinas Campinas, Brazil rezende@ic.unicamp.br ... number of guards sufficient to cover the interior of an n-wall art gallery [8]. Chvátal showed that ⌊n/3⌋ guards are... more
... Pedro J. de Rezende∗ Institute of Computing State University of Campinas Campinas, Brazil rezende@ic.unicamp.br ... number of guards sufficient to cover the interior of an n-wall art gallery [8]. Chvátal showed that ⌊n/3⌋ guards are occasionally neces-sary and always ...
ABSTRACT
ABSTRACT Considered a variation of the art gallery problem, the wireless localization problem deals with the placement of the smallest number of broadcasting antennas required to satisfy some property within a given polygon. The case... more
ABSTRACT Considered a variation of the art gallery problem, the wireless localization problem deals with the placement of the smallest number of broadcasting antennas required to satisfy some property within a given polygon. The case dealt with here consists of antennas that propagate a unique key within a certain antenna-specific angle of broadcast, so that the set of keys received at any given point is sufficient to determine whether that point is inside or outside the polygon. To ascertain this localization property, a Boolean formula must be produced along with the placement of the antennas.
ABSTRACT
Brazilian petrobras is one of the world largest oil companies. Recurrently, it faces a very difficult over-constrained planning challenge: how to operate a large pipeline network in order to adequately transport oil derivatives and... more
Brazilian petrobras is one of the world largest oil companies. Recurrently, it faces a very difficult over-constrained planning challenge: how to operate a large pipeline network in order to adequately transport oil derivatives and biofuels from refineries to local markets. ...
ABSTRACT Proportional symbol maps are a tool often used by cartographers and geoscience professionals to visualize geopositioned data associated with events and demographic statistics, such as earthquakes and population counts. Symbols... more
ABSTRACT Proportional symbol maps are a tool often used by cartographers and geoscience professionals to visualize geopositioned data associated with events and demographic statistics, such as earthquakes and population counts. Symbols are placed at specific locations on a map, and their areas are scaled to become proportional to the magnitudes of the data points they represent. We focus specifically on creating physically realizable drawings of symbols—opaque disks, in our case—by maximizing two quality metrics: the total and the minimum length of their visible borders. As these two maximization problems have been proven to be NP-hard, we provide integer programming formulations for their solution, along with decomposition techniques designed to decrease the size of input instances. Our computational experiments, which use real-life data sets, demonstrate the effectiveness of our approach and provide, for the first time, a number of optimal solutions to previously studied instances of this problem.
ABSTRACT
Assume that a rectangle R is given on the Euclidean plane together with a finite set P of points that are interior to R. A rectangular partition of R is a partition of the surface of R into smaller rectangles. The length of such a... more
Assume that a rectangle R is given on the Euclidean plane together with a finite set P of points that are interior to R. A rectangular partition of R is a partition of the surface of R into smaller rectangles. The length of such a partition equals the sum of the lengths for the line ...
This is a companion paper to our polyhedral study [1] of the Vertex Separator (VS) Problem. Given an undirected graph G, the VS problem consists in identifying a minimum-weight vertex set whose removal disconnects G, subject to bounds on... more
This is a companion paper to our polyhedral study [1] of the Vertex Separator (VS) Problem. Given an undirected graph G, the VS problem consists in identifying a minimum-weight vertex set whose removal disconnects G, subject to bounds on the size of the resulting components. In this paper, we describe versions of a branch-and-cut algorithm based on the results of
... a, Departamento de Informática, Universidade de Fortaleza, Fundação Edson Queiroz, Avenıda Washington Soares 1321, 60.811-905 Fortaleza, Brazil. ... Since the set of restrictions that apply to crews is usually more stringent than... more
... a, Departamento de Informática, Universidade de Fortaleza, Fundação Edson Queiroz, Avenıda Washington Soares 1321, 60.811-905 Fortaleza, Brazil. ... Since the set of restrictions that apply to crews is usually more stringent than those that apply to vehicles, some of the ...
Given an undirected graph, the k-cardinality tree problem (KCTP) is the problem of finding a subtree with exactly k edges whose sum of weights is minimum. In this paper we present a lower bound for KCTP based on the work by Kataoka et al.... more
Given an undirected graph, the k-cardinality tree problem (KCTP) is the problem of finding a subtree with exactly k edges whose sum of weights is minimum. In this paper we present a lower bound for KCTP based on the work by Kataoka et al. [Kataoka, S., N. Araki and T. Yamada, Upper and lower bounding procedures for the minimum rooted
This paper describes a new Branch and Bound algorithm for the 0-1 Knapsack Problem (KP). The algorithm is based on the use of a Lagrangean Relax-and-Cut procedure that allows exponentially many Fractional Gomory Cuts and Extended Cover... more
This paper describes a new Branch and Bound algorithm for the 0-1 Knapsack Problem (KP). The algorithm is based on the use of a Lagrangean Relax-and-Cut procedure that allows exponentially many Fractional Gomory Cuts and Extended Cover Inequalities to be ...
... 3 Computational results The polyhedral investigation described earlier was the starting point of our branch and bound (B&B), as well as branch and cut (B&C ... Un algoritmo branch-and-cut para el problema de mapping,Master s... more
... 3 Computational results The polyhedral investigation described earlier was the starting point of our branch and bound (B&B), as well as branch and cut (B&C ... Un algoritmo branch-and-cut para el problema de mapping,Master s thesis, Universidade de Buenos Aires, 1999. ...
ABSTRACT In the Maximum Common Edge Subgraph Problem (MCES), given two graphs GG and HH with the same number of vertices, one has to find a common subgraph of GG and HH (not necessarily induced) with the maximum number of edges. This... more
ABSTRACT In the Maximum Common Edge Subgraph Problem (MCES), given two graphs GG and HH with the same number of vertices, one has to find a common subgraph of GG and HH (not necessarily induced) with the maximum number of edges. This problem arises in parallel programming environments, and was first defined in Bokhari (1981) [2]. This paper presents a new integer programming formulation for the MCES and a polyhedral study of this model. Several classes of valid inequalities are identified, most of which are shown to define facets. These findings were incorporated into a branch&cut algorithm we implemented. Experimental results with this algorithm are reported.

And 8 more