24 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
The complexity of the list homomorphism problem for graphs
We completely classify the computational complexity of the list H-colouring
problem for graphs (with possible loops) in combinatorial and algebraic terms:
for every graph H the problem is either NP-complete, NL-complete, L-complete or
is first-order definable; descriptive complexity equivalents are given as well
via Datalog and its fragments. Our algebraic characterisations match important
conjectures in the study of constraint satisfaction problems.Comment: 12 pages, STACS 201
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
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
Conservative constraint satisfaction re-revisited
Conservative constraint satisfaction problems (CSPs) constitute an important
particular case of the general CSP, in which the allowed values of each
variable can be restricted in an arbitrary way. Problems of this type are well
studied for graph homomorphisms. A dichotomy theorem characterizing
conservative CSPs solvable in polynomial time and proving that the remaining
ones are NP-complete was proved by Bulatov in 2003. Its proof, however, is
quite long and technical. A shorter proof of this result based on the absorbing
subuniverses technique was suggested by Barto in 2011. In this paper we give a
short elementary prove of the dichotomy theorem for the conservative CSP
Testing List H-Homomorphisms
Let be an undirected graph. In the List -Homomorphism Problem, given
an undirected graph with a list constraint for each
variable , the objective is to find a list -homomorphism , that is, for every and whenever .
We consider the following problem: given a map as an oracle
access, the objective is to decide with high probability whether is a list
-homomorphism or \textit{far} from any list -homomorphisms. The
efficiency of an algorithm is measured by the number of accesses to .
In this paper, we classify graphs with respect to the query complexity
for testing list -homomorphisms and show the following trichotomy holds: (i)
List -homomorphisms are testable with a constant number of queries if and
only if is a reflexive complete graph or an irreflexive complete bipartite
graph. (ii) List -homomorphisms are testable with a sublinear number of
queries if and only if is a bi-arc graph. (iii) Testing list
-homomorphisms requires a linear number of queries if is not a bi-arc
graph
Building blocks for the variety of absolute retracts
AbstractGiven a graph H with a labelled subgraph G, a retraction of H to G is a homomorphism r:H→G such that r(x)=x for all vertices x in G. We call G a retract of H. While deciding the existence of a retraction to a fixed graph G is NP-complete in general, necessary and sufficient conditions have been provided for certain classes of graphs in terms of holes, see for example Hell and Rival.For any integer k⩾2 we describe a collection of graphs that generate the variety ARk of graphs G with the property that G is a retract of H whenever G is a subgraph of H and no hole in G of size at most k is filled by a vertex of H. We also prove that ARk⊂NUFk+1, where NUFk+1 is the variety of graphs that admit a near unanimity function of arity k+1