Minimum Cost Homomorphisms to Reflexive Digraphs

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$such that$uv\in A(G)$implies$f(u)f(v)\in A(H)$. If moreover each vertex$u \in V(G)$is associated with costs$c_i(u), i \in V(H)$, then the cost of a homomorphism$f$is$\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed digraph$H, the {\em minimum cost homomorphism problem} for H$, denoted MinHOM($H$), is the following problem. Given an input digraph$G$, together with costs$c_i(u)$,$u\in V(G)$,$i\in V(H)$, and an integer$k$, decide if$G$admits a homomorphism to$H$of cost not exceeding$k. We focus on the minimum cost homomorphism problem for {\em reflexive} digraphs H$(every vertex of$H$has a loop). It is known that the problem MinHOM($H$) is polynomial time solvable if the digraph$H has a {\em Min-Max ordering}, i.e., if its vertices can be linearly ordered by <$so that$i<j, s<r$and$ir, js \in A(H)$imply that$is \in A(H)$and$jr \in A(H)$. We give a forbidden induced subgraph characterization of reflexive digraphs with a Min-Max ordering; our characterization implies a polynomial time test for the existence of a Min-Max ordering. Using this characterization, we show that for a reflexive digraph$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

Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$such that$uv\in A(G)$implies$f(u)f(v)\in A(H)$. If, moreover, each vertex$u \in V(G)$is associated with costs$c_i(u), i \in V(H)$, then the cost of a homomorphism$f$is$\sum_{u\in V(G)}c_{f(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$c_i(u)$,$u\in V(G)$,$i\in 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

On the 2-edge-coloured chromatic number of grids

International audienceThe oriented (resp. 2-edge-coloured) chromatic number χₒ(G) (resp. χ₂(G)) of an undirected graph G is defined as the maximum oriented (resp. 2-edge-coloured) chromatic number of an orientation (resp. signature) of G. Although the difference between χₒ(G) and χ₂(G) can be arbitrarily large, there are, however, contexts in which these two parameters are quite comparable. We here compare the behaviour of these two parameters in the context of (square) grids. While a series of works has been dedicated to the oriented chromatic number of grids, we are not aware of any work dedicated to their 2-edge-coloured chromatic number. We investigate this throughout this paper. We show that the maximum 2-edge-coloured chromatic number of a grid lies in between 8 and 11. We also focus on 2-row grids and 3-row grids, and exhibit bounds on their 2-edge-coloured chromatic number, some of which are tight. Although our results indicate that the oriented chromatic number and the 2-edge-coloured chromatic number of grids are close in general, they also show that these parameters may differ, even for easy instances

Local chromatic number and Sperner capacity

We introduce a directed analog of the local chromatic number defined by Erdos et al. [Discrete Math. 59 (1986) 21-34] and show that it provides an upper bound for the Sperner capacity of a directed graph. Applications and variants of this result are presented. In particular, we find a special orientation of an odd cycle and show that it achieves the maximum of Sperner capacity among the differently oriented versions of the cycle. We show that apart from this orientation, for all the others an odd cycle has the same Sperner capacity as a single edge graph. We also show that the (undirected) local chromatic number is bounded from below by the fractional chromatic number while for power graphs the two invariants have the same exponential asymptotics (under the co-normal product on which the definition of Sperner capacity is based). We strengthen our bound on Sperner capacity by introducing a fractional relaxation of our directed variant of the local chromatic number. (C) 2005 Elsevier Inc. All rights reserved

GraphCombEx: A Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs

We present a prototype of a software tool for exploration of multiple combinatorial optimisation problems in large real-world and synthetic complex networks. Our tool, called GraphCombEx (an acronym of Graph Combinatorial Explorer), provides a unified framework for scalable computation and presentation of high-quality suboptimal solutions and bounds for a number of widely studied combinatorial optimisation problems. Efficient representation and applicability to large-scale graphs and complex networks are particularly considered in its design. The problems currently supported include maximum clique, graph colouring, maximum independent set, minimum vertex clique covering, minimum dominating set, as well as the longest simple cycle problem. Suboptimal solutions and intervals for optimal objective values are estimated using scalable heuristics. The tool is designed with extensibility in mind, with the view of further problems and both new fast and high-performance heuristics to be added in the future. GraphCombEx has already been successfully used as a support tool in a number of recent research studies using combinatorial optimisation to analyse complex networks, indicating its promise as a research software tool

Hereditarily hard H-colouring problems

AbstractLet H be a graph (respectively digraph) whose vertices are called ‘colours’. An H-colouring of a graph (respectively digraph) G is an assignment of these colours to the vertices of G so that if u is adjacent to v in G, then the colour of u is adjacent to the colour of v in H. We continue the study of the complexity of the H-colouring problem ‘Does a given graph (respectively digraph) admit an H-colouring?’. For graphs it was proved that the H-colouring problem is NP-complete whenever H contains an odd cycle, and is polynomial for bipartite graphs. For directed graphs the situation is quite different, as the addition of an edge to H can result in the complexity of the H-colouring problem shifting from NP-complete to polynomial. In fact, there is not even a plausible conjecture as to what makes directed H-colouring problems difficult in general. Some order may perhaps be found for those digraphs H in which each vertex has positive in-degree and positive out-degree. In any event, there is at least, in this case, a conjecture of a classification by complexity of these directed H-colouring problems. Another way, which we propose here, to bring some order to the situation is to restrict our attention to those digraphs H which, like odd cycles in the case of graphs, are hereditarily hard, i.e., are such that the H′-colouring problem is NP-hard for any digraph H′ containing H as a subdigraph. After establishing some properties of the digraphs in this class, we make a conjecture as to precisely which digraphs are hereditarily hard. Surprisingly, this conjecture turns out to be equivalent to the one mentioned earlier. We describe several infinite families of hereditarily hard digraphs, and identify a family of digraphs which are minimal in the sense that it would be sufficient to verify the conjecture for members of that family