111 research outputs found
A DSATUR-based algorithm for the Equitable Coloring Problem
This paper describes a new exact algorithm for the Equitable Coloring Problem, a coloring problem where the sizes of two arbitrary color classes differ in at most one unit. Based on the well known DSatur algorithm for the classic Coloring Problem, a pruning criterion arising from equity constraints is proposed and analyzed. The good performance of the algorithm is shown through computational experiments over random and benchmark instances.Fil: Méndez-DÃaz, Isabel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; ArgentinaFil: Nasini, Graciela Leonor. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, IngenierÃa y Agrimensura; Argentina. Consejo Nacional de Investigaciones CientÃficas y Técnicas; ArgentinaFil: Severin, Daniel Esteban. Consejo Nacional de Investigaciones CientÃficas y Técnicas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, IngenierÃa y Agrimensura; Argentin
Automatic frequency assignment for cellular telephones using constraint satisfaction techniques
We study the problem of automatic frequency assignment for cellular telephone
systems. The frequency assignment problem is viewed as the problem
to minimize the unsatisfied soft constraints in a constraint satisfaction problem
(CSP) over a finite domain of frequencies involving co-channel, adjacent
channel, and co-site constraints. The soft constraints are automatically derived
from signal strength prediction data. The CSP is solved using a generalized
graph coloring algorithm. Graph-theoretical results play a crucial
role in making the problem tractable. Performance results from a real-world
frequency assignment problem are presented.
We develop the generalized graph coloring algorithm by stepwise refinement,
starting from DSATUR and augmenting it with local propagation,
constraint lifting, intelligent backtracking, redundancy avoidance, and iterative
deepening
Two novel evolutionary formulations of the graph coloring problem
We introduce two novel evolutionary formulations of the problem of coloring
the nodes of a graph. The first formulation is based on the relationship that
exists between a graph's chromatic number and its acyclic orientations. It
views such orientations as individuals and evolves them with the aid of
evolutionary operators that are very heavily based on the structure of the
graph and its acyclic orientations. The second formulation, unlike the first
one, does not tackle one graph at a time, but rather aims at evolving a
`program' to color all graphs belonging to a class whose members all have the
same number of nodes and other common attributes. The heuristics that result
from these formulations have been tested on some of the Second DIMACS
Implementation Challenge benchmark graphs, and have been found to be
competitive when compared to the several other heuristics that have also been
tested on those graphs.Comment: To appear in Journal of Combinatorial Optimizatio
Exact Algorithms for the Graph Coloring Problem
The graph coloring problem is the problem of partitioning the vertices of a graph into the smallest possible set of independent sets. Since it is a well-known NP-Hard problem, it is of great interest of the computer science finding results over exact algorithms that solve it. The main algorithms of this kind, though, are scattered through the literature. In this paper, we group and contextualize some of these algorithms, which are based in Dynamic Programming, Branch-and-Bound and Integer Linear Programming. The algorithms for the first group are based in the work of Lawler, which searches maximal independent sets on each subset of vertices of a graph as the base of his algorithm. In the second group, the algorithms are based in the work of Brelaz, which adapted the DSATUR procedure to an exact version, and in the work of Zykov, which introduced the definition of Zykov trees. The third group contains the algorithms based in the work of Mehrotra and Trick, which uses the Column Generation method
Algorithms for the minimum sum coloring problem: a review
The Minimum Sum Coloring Problem (MSCP) is a variant of the well-known vertex
coloring problem which has a number of AI related applications. Due to its
theoretical and practical relevance, MSCP attracts increasing attention. The
only existing review on the problem dates back to 2004 and mainly covers the
history of MSCP and theoretical developments on specific graphs. In recent
years, the field has witnessed significant progresses on approximation
algorithms and practical solution algorithms. The purpose of this review is to
provide a comprehensive inspection of the most recent and representative MSCP
algorithms. To be informative, we identify the general framework followed by
practical solution algorithms and the key ingredients that make them
successful. By classifying the main search strategies and putting forward the
critical elements of the reviewed methods, we wish to encourage future
development of more powerful methods and motivate new applications
- …