10 research outputs found
On retracts, absolute retracts, and folds in cographs
Let G and H be two cographs. We show that the problem to determine whether H
is a retract of G is NP-complete. We show that this problem is fixed-parameter
tractable when parameterized by the size of H. When restricted to the class of
threshold graphs or to the class of trivially perfect graphs, the problem
becomes tractable in polynomial time. The problem is also soluble when one
cograph is given as an induced subgraph of the other. We characterize absolute
retracts of cographs.Comment: 15 page
Surjective H-Colouring over reflexive digraphs
The Surjective H-Colouring problem is to test if a given graph allows a vertex-surjective homomorphism to a fixed graph H. The complexity of this problem has been well studied for undirected (partially) reflexive graphs. We introduce endo-triviality, the property of a structure that all of its endomorphisms that do not have range of size 1 are automorphisms, as a means to obtain complexity-theoretic classifications of Surjective H-Colouring in the case of reflexive digraphs. Chen (2014) proved, in the setting of constraint satisfaction problems, that Surjective H-Colouring is NP-complete if H has the property that all of its polymorphisms are essentially unary. We give the first concrete application of his result by showing that every endo-trivial reflexive digraph H has this property. We then use the concept of endo-triviality to prove, as our main result, a dichotomy for Surjective H-Colouring when H is a reflexive tournament: if H is transitive, then Surjective H-Colouring is in NL; otherwise, it is NP-complete. By combining this result with some known and new results, we obtain a complexity classification for Surjective H-Colouring when H is a partially reflexive digraph of size at most 3
Algebra and the Complexity of Digraph CSPs: a Survey
We present a brief survey of some of the key results on the interplay between algebraic and graph-theoretic methods in the study of the complexity of digraph-based constraint satisfaction problems
Retracting Graphs to Cycles
We initiate the algorithmic study of retracting a graph into a cycle in the graph, which seeks a mapping of the graph vertices to the cycle vertices so as to minimize the maximum stretch of any edge, subject to the constraint that the restriction of the mapping to the cycle is the identity map. This problem has its roots in the rich theory of retraction of topological spaces, and has strong ties to well-studied metric embedding problems such as minimum bandwidth and 0-extension. Our first result is an O(min{k, sqrt{n}})-approximation for retracting any graph on n nodes to a cycle with k nodes. We also show a surprising connection to Sperner\u27s Lemma that rules out the possibility of improving this result using certain natural convex relaxations of the problem. Nevertheless, if the problem is restricted to planar graphs, we show that we can overcome these integrality gaps by giving an optimal combinatorial algorithm, which is the technical centerpiece of the paper. Building on our planar graph algorithm, we also obtain a constant-factor approximation algorithm for retraction of points in the Euclidean plane to a uniform cycle
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
Constraint Satisfaction with Counting Quantifiers
We initiate the study of constraint satisfaction problems (CSPs) in the
presence of counting quantifiers, which may be seen as variants of CSPs in the
mould of quantified CSPs (QCSPs). We show that a single counting quantifier
strictly between exists^1:=exists and exists^n:=forall (the domain being of
size n) already affords the maximal possible complexity of QCSPs (which have
both exists and forall), being Pspace-complete for a suitably chosen template.
Next, we focus on the complexity of subsets of counting quantifiers on clique
and cycle templates. For cycles we give a full trichotomy -- all such problems
are in L, NP-complete or Pspace-complete. For cliques we come close to a
similar trichotomy, but one case remains outstanding. Afterwards, we consider
the generalisation of CSPs in which we augment the extant quantifier
exists^1:=exists with the quantifier exists^j (j not 1). Such a CSP is already
NP-hard on non-bipartite graph templates. We explore the situation of this
generalised CSP on bipartite templates, giving various conditions for both
tractability and hardness -- culminating in a classification theorem for
general graphs. Finally, we use counting quantifiers to solve the complexity of
a concrete QCSP whose complexity was previously open
Quantified Constraint Satisfaction Problem on semicomplete digraphs
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP(H) is either in P, is NP-complete, or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicomplete digraphs enjoy only essentially unary polymorphisms, which is combinatorially interesting in its own right
Retractions to pseudoforests.
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops allowed) where each connected component has at most one cycle, i.e., a pseudoforest. In particular, this result extends the known complexity classifications of Ret(H) for reflexive and irreflexive cycles to general cycles. Our approach is mainly based on algebraic techniques from universal algebra that have previously been used for analyzing the complexity of constraint satisfaction problems