Cid C de Souza
Universidade Estadual de Campinas, Instituto de Computação, Faculty Member
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:
Research Interests:
Research Interests:
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.
Research Interests:
Research Interests:
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
Research Interests:
... 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. ...
Research Interests:
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
Research Interests:
... 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 ...
Research Interests:
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.
Research Interests:
Research Interests:
Research Interests:
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.
Research Interests:
Research Interests:
Research Interests:
Research Interests:
ABSTRACT
Research Interests:
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 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
Research Interests:
Research Interests:
... 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 ...
Research Interests:
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
Research Interests:
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 ...
Research Interests:
... 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. ...
Research Interests:
Research Interests:
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.