14 research outputs found
Minimum Cost Homomorphisms to Reflexive Digraphs
For digraphs and , a homomorphism of to is a mapping $f:\
V(G)\dom V(H)uv\in A(G)f(u)f(v)\in A(H)u \in V(G)c_i(u), i \in V(H)f\sum_{u\in V(G)}c_{f(u)}(u)H, the {\em minimum cost homomorphism problem} for HHGc_i(u)u\in V(G)i\in V(H)kGHk. We focus on the
minimum cost homomorphism problem for {\em reflexive} digraphs HHHH has a {\em Min-Max ordering}, i.e.,
if its vertices can be linearly ordered by <i<j, s<rir, js
\in A(H)is \in A(H)jr \in A(H)H$ which does not admit a Min-Max ordering, the minimum cost
homomorphism problem is NP-complete. Thus we obtain a full dichotomy
classification of the complexity of minimum cost homomorphism problems for
reflexive digraphs
Sum Coloring : New upper bounds for the chromatic strength
The Minimum Sum Coloring Problem (MSCP) is derived from the Graph Coloring
Problem (GCP) by associating a weight to each color. The aim of MSCP is to find
a coloring solution of a graph such that the sum of color weights is minimum.
MSCP has important applications in fields such as scheduling and VLSI design.
We propose in this paper new upper bounds of the chromatic strength, i.e. the
minimum number of colors in an optimal solution of MSCP, based on an
abstraction of all possible colorings of a graph called motif. Experimental
results on standard benchmarks show that our new bounds are significantly
tighter than the previous bounds in general, allowing to reduce substantially
the search space when solving MSCP .Comment: pre-prin
Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs
For digraphs and , a homomorphism of to is a mapping $f:\
V(G)\dom V(H)uv\in A(G)f(u)f(v)\in A(H)u \in V(G)c_i(u), i \in V(H)f\sum_{u\in V(G)}c_{f(u)}(u)HHHGc_i(u)u\in V(G)i\in V(H)GH$ and, if one exists, to find one of minimum cost.
Minimum cost homomorphism problems encompass (or are related to) many well
studied optimization problems such as the minimum cost chromatic partition and
repair analysis problems. We focus on the minimum cost homomorphism problem for
locally semicomplete digraphs and quasi-transitive digraphs which are two
well-known generalizations of tournaments. Using graph-theoretic
characterization results for the two digraph classes, we obtain a full
dichotomy classification of the complexity of minimum cost homomorphism
problems for both classes
Feasible edge colorings of trees with cardinality constraints
AbstractA variation of preemptive open shop scheduling corresponds to finding a feasible edge coloring in a bipartite multigraph with some requirements on the size of the different color classes. We show that for trees with fixed maximum degree, one can find in polynomial time an edge k-coloring where for i=1,…,k the number of edges of color i is exactly a given number hi, and each edge e gets its color from a set ϕ(e) of feasible colors, if such a coloring exists. This problem is NP-complete for general bipartite multigraphs. Applications to open shop problems with costs for using colors are described
Toward a Dichotomy for Approximation of H-Coloring
Given two (di)graphs G, H and a cost function c:V(G) x V(H) -> Q_{>= 0} cup {+infty}, in the minimum cost homomorphism problem, MinHOM(H), we are interested in finding a homomorphism f:V(G)-> V(H) (a.k.a H-coloring) that minimizes sum limits_{v in V(G)}c(v,f(v)). The complexity of exact minimization of this problem is well understood [Pavol Hell and Arash Rafiey, 2012], and the class of digraphs H, for which the MinHOM(H) is polynomial time solvable is a small subset of all digraphs.
In this paper, we consider the approximation of MinHOM within a constant factor. In terms of digraphs, MinHOM(H) is not approximable if H contains a digraph asteroidal triple (DAT). We take a major step toward a dichotomy classification of approximable cases. We give a dichotomy classification for approximating the MinHOM(H) when H is a graph (i.e. symmetric digraph). For digraphs, we provide constant factor approximation algorithms for two important classes of digraphs, namely bi-arc digraphs (digraphs with a conservative semi-lattice polymorphism or min-ordering), and k-arc digraphs (digraphs with an extended min-ordering). Specifically, we show that:
- Dichotomy for Graphs: MinHOM(H) has a 2|V(H)|-approximation algorithm if graph H admits a conservative majority polymorphims (i.e. H is a bi-arc graph), otherwise, it is inapproximable;
- MinHOM(H) has a |V(H)|^2-approximation algorithm if H is a bi-arc digraph;
- MinHOM(H) has a |V(H)|^2-approximation algorithm if H is a k-arc digraph.
In conclusion, we show the importance of these results and provide insights for achieving a dichotomy classification of approximable cases. Our constant factors depend on the size of H. However, the implementation of our algorithms provides a much better approximation ratio. It leaves open to investigate a classification of digraphs H, where MinHOM(H) admits a constant factor approximation algorithm that is independent of |V(H)|