Colouring of graphs with Ramsey-type forbidden subgraphs

A colouring of a graph G = (V,E) is a mapping c: V → {1,2,…} such that c(u) ≠ c(v) if uv ∈ E; if |c(V)| ≤ k then c is a k-colouring. The Colouring problem is that of testing whether a given graph has a k-colouring for some given integer k. If a graph contains no induced subgraph isomorphic to any graph in some family \({\cal H}\), then it is called \({\cal H}\)-free. The complexity of Colouring for \({\cal H}\)-free graphs with \(|{\cal H}|=1\) has been completely classified. When \(|{\cal H}|=2\), the classification is still wide open, although many partial results are known. We continue this line of research and forbid induced subgraphs {H 1,H 2}, where we allow H 1 to have a single edge and H 2 to have a single non-edge. Instead of showing only polynomial-time solvability, we prove that Colouring on such graphs is fixed-parameter tractable when parameterized by |H 1| + |H 2|. As a byproduct, we obtain the same result both for the problem of determining a maximum independent set and for the problem of determining a maximum clique.

[1]  Sylvain Gravier,et al.  Coloring the hypergraph of maximal cliques of a graph with no long path , 2003, Discret. Math..

[2]  Vadim V. Lozin,et al.  Recent developments on graphs of bounded clique-width , 2009, Discret. Appl. Math..

[3]  Jian Song,et al.  4-coloring H-free graphs when H is small , 2012, Discret. Appl. Math..

[4]  Zsolt Tuza,et al.  Complexity of Coloring Graphs without Forbidden Induced Subgraphs , 2001, WG.

[5]  Andreas Brandstädt,et al.  Gem- And Co-Gem-Free Graphs Have Bounded Clique-Width , 2004, Int. J. Found. Comput. Sci..

[6]  David Schindl,et al.  Some new hereditary classes where graph coloring remains NP-hard , 2005, Discret. Math..

[7]  Jian Song,et al.  Determining the chromatic number of triangle-free 2P3-free graphs in polynomial time , 2012, Theor. Comput. Sci..

[8]  Bruno Courcelle,et al.  Upper bounds to the clique width of graphs , 2000, Discret. Appl. Math..

[9]  Rajiv Raman,et al.  Colouring vertices of triangle-free graphs without forests , 2012, Discret. Math..

[10]  P. Hall On Representatives of Subsets , 1935 .

[11]  Bert Randerath,et al.  3-Colorability and forbidden subgraphs. I: Characterizing pairs , 2004, Discret. Math..

[12]  Jian Song,et al.  Updating the complexity status of coloring graphs without a fixed induced linear forest , 2012, Theor. Comput. Sci..

[13]  Zsolt Tuza,et al.  Graph colorings with local constraints - a survey , 1997, Discuss. Math. Graph Theory.

[14]  Joost Engelfriet,et al.  Clique-Width for 4-Vertex Forbidden Subgraphs , 2006, Theory of Computing Systems.

[15]  Paul D. Seymour,et al.  Approximating clique-width and branch-width , 2006, J. Comb. Theory, Ser. B.

[16]  Myriam Preissmann,et al.  On the NP-completeness of the k-colorability problem for triangle-free graphs , 1996, Discret. Math..

[17]  Ingo Schiermeyer,et al.  Vertex Colouring and Forbidden Subgraphs – A Survey , 2004, Graphs Comb..

[18]  Ingo Schiermeyer,et al.  On maximum independent sets in P5-free graphs , 2010, Discret. Appl. Math..

[19]  Ingo Schiermeyer,et al.  A note on Brooks' theorem for triangle-free graphs , 2002, Australas. J Comb..

[20]  Chính T. Hoàng,et al.  A Characterization of b‐Perfect Graphs , 2010, J. Graph Theory.

[21]  Petr A. Golovach,et al.  On the parameterized complexity of coloring graphs in the absence of a linear forest , 2012, J. Discrete Algorithms.

[22]  A. Gyárfás Problems from the world surrounding perfect graphs , 1987 .

[23]  Petr A. Golovach,et al.  List Coloring in the Absence of a Linear Forest , 2011, Algorithmica.

[24]  Vadim V. Lozin,et al.  The Clique-Width of Bipartite Graphs in Monogenic Classes , 2008, Int. J. Found. Comput. Sci..

[25]  Vadim V. Lozin,et al.  Deciding k-Colorability of P5-Free Graphs in Polynomial Time , 2007, Algorithmica.

[26]  Udi Rotics,et al.  Edge dominating set and colorings on graphs with fixed clique-width , 2003, Discret. Appl. Math..

[27]  Konrad Dabrowski,et al.  Parameterized complexity of the weighted independent set problem beyond graphs of bounded clique number , 2012, J. Discrete Algorithms.

[28]  Dieter Rautenbach,et al.  On the Band-, Tree-, and Clique-Width of Graphs with Bounded Vertex Degree , 2004, SIAM J. Discret. Math..

[29]  Johann A. Makowsky,et al.  On the Clique-Width of Graphs with Few P4's , 1999, Int. J. Found. Comput. Sci..

[30]  Frank Plumpton Ramsey,et al.  On a Problem of Formal Logic , 1930 .

[31]  Jian Song,et al.  Closing Complexity Gaps for Coloring Problems on H-Free Graphs , 2012, ISAAC.

[32]  Petr A. Golovach,et al.  List Coloring in the Absence of Two Subgraphs , 2013, CIAC.

[33]  Petr A. Golovach,et al.  List Coloring in the Absence of a Linear Forest , 2011, WG.

[34]  Dieter Kratsch,et al.  On the structure of (P5, gem)-free graphs , 2005, Discret. Appl. Math..