On the complexity of colouring by superdigraphs of bipartite graphs

Abstract Let H be a directed graph whose vertices are called colours. An H-colouring of a digraph G is an assignment of these colours to the vertices of G so that if g is adjacent to g ′ in G then colour( g ) is adjacent to colour( g ′) in H (i.e., a homomorphism G → H ). In this paper we continue the study of the H-colouring problem , that is, the decision problem ‘Is there an H -colouring of a given digraph G ?’ It follows from a result of Hell and Nesetřil that this problem is NP-complete whenever H contains a symmetric odd cycle. We consider digraphs for which the symmetric part of H is bipartite, that is, digraphs H which can be constructed from the equivalence digraph of an undirected bipartite graph by adding some arcs. We establish some sufficient conditions for these H -colouring problems to be NP-complete. A complete classification is established for the subclass of ‘partitionable digraphs’, which we introduce.

[1]  Stefan A. Burr,et al.  On unavoidable digraphs in orientations of graphs , 1987, J. Graph Theory.

[2]  J. A. Bondy,et al.  Graph Theory with Applications , 1978 .

[3]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[4]  Gerhard J. Woeginger,et al.  Polynomial Graph-Colorings , 1989, STACS.

[5]  Pavol Hell,et al.  On multiplicative graphs and the product conjecture , 1988, Comb..

[6]  Gary MacGillivray,et al.  The Complexity of Colouring by Semicomplete Digraphs , 1988, SIAM J. Discret. Math..

[7]  Gary MacGillivray,et al.  On the Complexity of Colouring by Vertex-Transitive and Arc-Transitive Digraphs , 1991, SIAM J. Discret. Math..

[8]  Jørgen Bang-Jensen,et al.  The effect of two cycles on the complexity of colourings by directed graphs , 1989, Discret. Appl. Math..

[9]  Jaroslav Nesetril,et al.  On classes of relations and graphs determined by subobjects and factorobjects , 1978, Discret. Math..

[10]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[11]  Gary MacGillivray The complexity of generalized colourings , 1989 .

[12]  Hermann A. Maurer,et al.  On the Complexity of the General Coloring Problem , 1981, Inf. Control..

[13]  Michael O. Albertson,et al.  Homomorphisms of 3-chromatic graphs , 1985, Discret. Math..

[14]  Andries E. Brouwer,et al.  Contractibility and NP-completeness , 1987, J. Graph Theory.

[15]  Emo Welzl Color-Families are Dense , 1982, Theor. Comput. Sci..

[16]  Jaroslav Nesetril,et al.  On the complexity of H-coloring , 1990, J. Comb. Theory, Ser. B.