271 research outputs found
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
On the Complexity of Digraph Colourings and Vertex Arboricity
It has been shown by Bokal et al. that deciding 2-colourability of digraphs
is an NP-complete problem. This result was later on extended by Feder et al. to
prove that deciding whether a digraph has a circular -colouring is
NP-complete for all rational . In this paper, we consider the complexity
of corresponding decision problems for related notions of fractional colourings
for digraphs and graphs, including the star dichromatic number, the fractional
dichromatic number and the circular vertex arboricity. We prove the following
results:
Deciding if the star dichromatic number of a digraph is at most is
NP-complete for every rational .
Deciding if the fractional dichromatic number of a digraph is at most is
NP-complete for every .
Deciding if the circular vertex arboricity of a graph is at most is
NP-complete for every rational .
To show these results, different techniques are required in each case. In
order to prove the first result, we relate the star dichromatic number to a new
notion of homomorphisms between digraphs, called circular homomorphisms, which
might be of independent interest. We provide a classification of the
computational complexities of the corresponding homomorphism colouring problems
similar to the one derived by Feder et al. for acyclic homomorphisms.Comment: 21 pages, 1 figur
Stackings and the W-cycles conjecture
We prove Wise’s W-cycles conjecture: Consider a compact graph Γ′ immersing into another graph Γ. For any immersed cycle Λ : S¹ → Γ, we consider the map Λ′ from the circular components S of the pullback to Γ′. Unless Λ′ is reducible, the degree of the covering map S → S¹ is bounded above by minus the Euler characteristic of Γ′. As a corollary, any finitely generated subgroup of a one-relator group has finitely generated Schur multiplier.EPSR
Uniquely D-colourable digraphs with large girth
Let C and D be digraphs. A mapping is a C-colouring if for
every arc of D, either is an arc of C or , 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 , there are
uniquely circularly r-colourable digraphs with arbitrarily large girth.Comment: 21 pages, 0 figures To be published in Canadian Journal of
Mathematic
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
- …