Testing List H-Homomorphisms

Let $H$ be an undirected graph. In the List $H$-Homomorphism Problem, given an undirected graph $G$ with a list constraint $L(v) \subseteq V(H)$ for each variable $v \in V(G)$, the objective is to find a list $H$-homomorphism $f:V(G) \to V(H)$, that is, $f(v) \in L(v)$ for every $v \in V(G)$ and $(f(u),f(v)) \in E(H)$ whenever $(u,v) \in E(G)$. We consider the following problem: given a map $f:V(G) \to V(H)$ as an oracle access, the objective is to decide with high probability whether $f$ is a list $H$-homomorphism or \textit{far} from any list $H$-homomorphisms. The efficiency of an algorithm is measured by the number of accesses to $f$. In this paper, we classify graphs $H$ with respect to the query complexity for testing list $H$-homomorphisms and show the following trichotomy holds: (i) List $H$-homomorphisms are testable with a constant number of queries if and only if $H$ is a reflexive complete graph or an irreflexive complete bipartite graph. (ii) List $H$-homomorphisms are testable with a sublinear number of queries if and only if $H$ is a bi-arc graph. (iii) Testing list $H$-homomorphisms requires a linear number of queries if $H$ is not a bi-arc graph

Uniquely D-colourable digraphs with large girth

Let C and D be digraphs. A mapping $f:V(D)\to V(C)$ is a C-colouring if for every arc $uv$ of D, either $f(u)f(v)$ is an arc of C or $f(u)=f(v)$, and the preimage of every vertex of C induces an acyclic subdigraph in D. We say that D is C-colourable if it admits a C-colouring and that D is uniquely C-colourable if it is surjectively C-colourable and any two C-colourings of D differ by an automorphism of C. We prove that if a digraph D is not C-colourable, then there exist digraphs of arbitrarily large girth that are D-colourable but not C-colourable. Moreover, for every digraph D that is uniquely D-colourable, there exists a uniquely D-colourable digraph of arbitrarily large girth. In particular, this implies that for every rational number $r\geq 1$, there are uniquely circularly r-colourable digraphs with arbitrarily large girth.Comment: 21 pages, 0 figures To be published in Canadian Journal of Mathematic

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

The Complexity of Surjective Homomorphism Problems -- a Survey

We survey known results about the complexity of surjective homomorphism problems, studied in the context of related problems in the literature such as list homomorphism, retraction and compaction. In comparison with these problems, surjective homomorphism problems seem to be harder to classify and we examine especially three concrete problems that have arisen from the literature, two of which remain of open complexity