Minimum cost homomorphisms to locally semicomplete digraphs and quasi-transitive digraphs

For digraphs G and H, a homomorphism of G to H is a mapping f : V (G)→V (H) such that uv ∈ A(G) implies f(u)f(v) ∈ A(H). If, moreover, each vertex u ∈ V (G) is associated with costs ci(u), i ∈ V (H), then the cost of a homomorphism f is ∑ u∈V (G) cf(u)(u). For each fixed digraph H, the minimum cost homomorphism problem for H, denoted MinHOM(H), can be formulated as follows: Given an input digraph G, together with costs ci(u), u ∈ V (G), i ∈ V (H), decide whether there exists a homomorphism of G to H 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. 218 GUPTA, GUTIN, KARIMI, KIM AND RAFIEY

[1]  Gregory Gutin,et al.  Digraphs - theory, algorithms and applications , 2002 .

[2]  Guy Kortsarz,et al.  Minimizing Average Completion of Dedicated Tasks and Interval Graphs , 2001, RANDOM-APPROX.

[3]  Douglas B. West,et al.  Coloring of trees with minimum sum of colors , 1999, J. Graph Theory.

[4]  Leo G. Kroon,et al.  The Optimal Cost Chromatic Partition Problem for Trees and Interval Graphs , 1996, WG.

[5]  Martin C. Cooper,et al.  A Maximal Tractable Class of Soft Constraints , 2003, IJCAI.

[6]  Gregory Gutin,et al.  Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs , 2006, SIAM J. Discret. Math..

[7]  KENNETH J. SUPOWIT,et al.  Finding a Maximum Planar Subset of a Set of Nets in a Channel , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Gary MacGillivray,et al.  On the complexity of H-colouring planar graphs , 2009, Discret. Math..

[9]  Gregory Gutin,et al.  Level of Repair Analysis and Minimum Cost Homomorphisms of Graphs , 2005, AAIM.

[10]  Jørgen Bang-Jensen,et al.  Locally semicomplete digraphs: A generalization of tournaments , 1990, J. Graph Theory.

[11]  Gregory Gutin,et al.  Minimum cost homomorphisms to semicomplete multipartite digraphs , 2005, Discret. Appl. Math..

[12]  Pavol Hell,et al.  Minimum Cost Homomorphisms to Reflexive Digraphs , 2007, LATIN.

[13]  Luca Trevisan,et al.  The Approximability of Constraint Satisfaction Problems , 2001, SIAM J. Comput..

[14]  Gregory Gutin,et al.  A dichotomy for minimum cost graph homomorphisms , 2008, Eur. J. Comb..

[15]  Klaus Jansen,et al.  Approximation Results for the Optimum Cost Chromatic Partition Problem , 1997, J. Algorithms.

[16]  P. Hell,et al.  Sparse pseudo-random graphs are Hamiltonian , 2003 .

[17]  Pavol Hell,et al.  Interval bigraphs and circular arc graphs , 2004, J. Graph Theory.

[18]  Jaroslav Nesetril,et al.  Graphs and homomorphisms , 2004, Oxford lecture series in mathematics and its applications.

[19]  Gregory Gutin,et al.  The complexity of the minimum cost homomorphism problem for semicomplete digraphs with possible loops , 2007, Discret. Appl. Math..

[20]  Gregory Gutin,et al.  Introduction to the Minimum Cost Homomorphism Problem for Directed and Undirected Graphs , 2007 .

[21]  Gregory Gutin,et al.  Minimum cost and list homomorphisms to semicomplete digraphs , 2005, Discret. Appl. Math..