Abstract
If a graph has no induced subgraph isomorphic to any graph in a finite family \(\{H_1,\ldots ,H_p\}\), it is said to be \((H_1,\ldots ,H_p)\)-free. The class of \(H\)-free graphs has bounded clique-width if and only if \(H\) is an induced subgraph of the 4-vertex path \(P_4\). We study the (un)boundedness of the clique-width of graph classes defined by two forbidden induced subgraphs \(H_1\) and \(H_2\). Prior to our study it was not known whether the number of open cases was finite. We provide a positive answer to this question. To reduce the number of open cases we determine new graph classes of bounded clique-width and new graph classes of unbounded clique-width. For obtaining the latter results we first present a new, generic construction for graph classes of unbounded clique-width. Our results settle the boundedness or unboundedness of the clique-width of the class of \((H_1,H_2)\)-free graphs
-
(i)
for all pairs \((H_1,H_2)\), both of which are connected, except two non-equivalent cases, and
-
(ii)
for all pairs \((H_1,H_2)\), at least one of which is not connected, exceptĀ 11 non-equivalent cases.
We also consider classes characterized by forbidding a finite family of graphs \(\{H_1,\ldots ,H_p\}\) as subgraphs, minors and topological minors, respectively, and completely determine which of these classes have bounded clique-width. Finally, we show algorithmic consequences of our results for the graph colouring problem restricted to \((H_1,H_2)\)-free graphs.
The research in this paper was supported by EPSRC (EP/G043434/1 and EP/K025090/1) and ANR (TODO ANR-09-EMER-010).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boliac, R., Lozin, V.V.: On the Clique-Width of Graphs in Hereditary Classes. In: Bose, P., Morin, P. (eds.) ISAAC 2002. LNCS, vol. 2518, pp. 44ā54. Springer, Heidelberg (2002)
Bonomo, F., Grippo, L.N., MilaniÄ, M., Safe, M.D.: Graphs of power-bounded clique-width. arXiv, abs/1402.2135 (2014)
BrandstƤdt, A., Dabrowski, K.K., Huang, S., Paulusma, D.: Bounding the clique-width of \(H\)-free chordal graphs. CoRR, abs/1502.06948 (2015)
BrandstƤdt, A., Engelfriet, J., Le, H.-O., Lozin, V.V.: Clique-width for 4-vertex forbidden subgraphs. Theory of Computing Systems 39(4), 561ā590 (2006)
BrandstƤdt, A., Klembt, T., Mahfud, S.: \(P_6\)- and triangle-free graphs revisited: structure and bounded clique-width. Discrete Mathematics and Theoretical Computer Science 8(1), 173ā188 (2006)
BrandstƤdt, A., Kratsch, D.: On the structure of (\(P_5\), gem)-free graphs. Discrete Applied Mathematics 145(2), 155ā166 (2005)
BrandstƤdt, A., Le, H.-O., Mosca, R.: Gem- and co-gem-free graphs have bounded clique-width. International Journal of Foundations of Computer Science 15(1), 163ā185 (2004)
BrandstƤdt, A., Le, H.-O., Mosca, R.: Chordal co-gem-free and (\(P_5\), gem)-free graphs have bounded clique-width. Discrete Applied Mathematics 145(2), 232ā241 (2005)
BrandstƤdt, A., Mahfud, S.: Maximum weight stable set on graphs without claw and co-claw (and similar graph classes) can be solved in linear time. Information Processing Letters 84(5), 251ā259 (2002)
BrandstƤdt, A., Mosca, R.: On variations of \(P_4\)-sparse graphs. Discrete Applied Mathematics 129(2ā3), 521ā532 (2003)
Broersma, H., Golovach, P.A., Paulusma, D., Song, J.: Determining the chromatic number of triangle-free \(2P_3\)-free graphs in polynomial time. Theoretical Computer Science 423, 1ā10 (2012)
Broersma, H., Golovach, P.A., Paulusma, D., Song, J.: Updating the complexity status of coloring graphs without a fixed induced linear forest. Theoretical Computer Science 414(1), 9ā19 (2012)
Courcelle, B., Makowsky, J.A., Rotics, U.: Linear time solvable optimization problems on graphs of bounded clique-width. Theory of Computing Systems 33(2), 125ā150 (2000)
Dabrowski, K.K., Golovach, P.A., Paulusma, D.: Colouring of graphs with Ramsey-type forbidden subgraphs. Theoretical Computer Science 522, 34ā43 (2014)
Dabrowski, K.K., Huang, S., Paulusma, D.: Bounding Clique-Width via Perfect Graphs. In: Dediu, A.-H., Formenti, E., MartĆn-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 676ā688. Springer, Heidelberg (2015). Full version: arXiv CoRR abs/1406.6298
Dabrowski, K.K., Lozin, V.V., Raman, R., Ries, B.: Colouring vertices of triangle-free graphs without forests. Discrete Mathematics 312(7), 1372ā1385 (2012)
Dabrowski, K.K., Paulusma, D.: Classifying the Clique-Width of H-Free Bipartite Graphs. In: Cai, Z., Zelikovsky, A., Bourgeois, A. (eds.) COCOON 2014. LNCS, vol. 8591, pp. 489ā500. Springer, Heidelberg (2014)
de Ridder, H.N., et al. Information System on Graph Classes and their Inclusions, 2001ā2013. http://www.graphclasses.org
Espelage, W., Gurski, F., Wanke, E.: How to Solve NP-hard Graph Problems on Clique-Width Bounded Graphs in Polynomial Time. In: BrandstƤdt, A., Le, V.B. (eds.) WG 2001. LNCS, vol. 2204, pp. 117ā128. Springer, Heidelberg (2001)
Fellows, M.R., Rosamond, F.A., Rotics, U., Szeider, S.: Clique-width is NP-Complete. SIAM Journal on Discrete Mathematics 23(2), 909ā939 (2009)
Golovach, P.A., Johnson, M., Paulusma, D., Song, J.: A survey on the computational complexity of colouring graphs with forbidden subgraphs. CoRR, abs/1407.1482 (2014)
Golovach, P.A., Paulusma, D.: List coloring in the absence of two subgraphs. Discrete Applied Mathematics 166, 123ā130 (2014)
Golumbic, M.C., Rotics, U.: On the clique-width of some perfect graph classes. International Journal of Foundations of Computer Science 11(03), 423ā443 (2000)
Gurski, F.: Graph operations on clique-width bounded graphs. CoRR, abs/cs/0701185 (2007)
HoĆ ng, C.T., Lazzarato, D.A.: Polynomial-time algorithms for minimum weighted colorings of \((P_5,\overline{P_5})\)-free graphs and related graph classes. Discrete Applied Mathematics 186(0166ā218X), 106ā111 (2015). doi:http://dx.doi.org/10.1016/j.dam.2015.01.022. http://www.sciencedirect.com/science/article/pii/S0166218X15000244
Huang, S., Johnson, M., Paulusma, D.: Narrowing the complexity gap for colouring \(({C}_s,{P}_t)\)-free graphs. In: Gu, Q., Hell, P., Yang, B. (eds.) AAIM 2014. LNCS, vol. 8546, pp. 162ā173. Springer, Heidelberg (2014)
KamiÅski, M., Lozin, V.V., MilaniÄ, M.: Recent developments on graphs of bounded clique-width. Discrete Applied Mathematics 157(12), 2747ā2761 (2009)
Kobler, D., Rotics, U.: Edge dominating set and colorings on graphs with fixed clique-width. Discrete Applied Mathematics 126(2ā3), 197ā221 (2003)
KrĆ”lā, D., KratochvĆl, J., Tuza, Z., Woeginger, G.J.: Complexity of Coloring Graphs without Forbidden Induced Subgraphs. In: BrandstƤdt, A., Le, V.B. (eds.) WG 2001. LNCS, vol. 2204, pp. 254ā262. Springer, Heidelberg (2001)
Kratsch, S., Schweitzer, P.: Graph Isomorphism for Graph Classes Characterized by Two Forbidden Induced Subgraphs. In: Golumbic, M.C., Stern, M., Levy, A., Morgenstern, G. (eds.) WG 2012. LNCS, vol. 7551, pp. 34ā45. Springer, Heidelberg (2012)
Lozin, V.V., Rautenbach, D.: On the band-, tree-, and clique-width of graphs with bounded vertex degree. SIAM Journal on Discrete Mathematics 18(1), 195ā206 (2004)
Lozin, V.V., Rautenbach, D.: The tree- and clique-width of bipartite graphs in special classes. Australasian Journal of Combinatorics 34, 57ā67 (2006)
Lozin, V.V., Volz, J.: The clique-width of bipartite graphs in monogenic classes. International Journal of Foundations of Computer Science 19(02), 477ā494 (2008)
Makowsky, J.A., Rotics, U.: On the clique-width of graphs with few \(P_4\)ās. International Journal of Foundations of Computer Science 10(03), 329ā348 (1999)
Malyshev, D.S.: The coloring problem for classes with two small obstructions. Optimization Letters 8(8), 2261ā2270 (2014)
Malyshev, D.S.: Two cases of polynomial-time solvability for the coloring problem. Journal of Combinatorial Optimization (in press)
Olariu, S.: Paw-free graphs. Information Processing Letters 28(1), 53ā54 (1988)
Oum, S.-I.: Approximating rank-width and clique-width quickly. ACM Transactions on Algorithms 5(1), 10 (2008)
Oum, S.-I., Seymour, P.D.: Approximating clique-width and branch-width. Journal of Combinatorial Theory, Series B 96(4), 514ā528 (2006)
Ramsey, F.P.: On a problem of formal logic. Proceedings of the London Mathematical Society s2ā30(1), 264ā286 (1930)
Randerath, B.: 3-colorability and forbidden subgraphs. I: Characterizing pairs. Discrete Mathematics 276(1ā3), 313ā325 (2004)
Randerath, B., Schiermeyer, I.: A note on Brooksā theorem for triangle-free graphs. Australasian Journal of Combinatorics 26, 3ā9 (2002)
Rao, M.: MSOL partitioning problems on graphs of bounded treewidth and clique-width. Theoretical Computer Science 377(1ā3), 260ā267 (2007)
Schindl, D.: Some new hereditary classes where graph coloring remains NP-hard. Discrete Mathematics 295(1ā3), 197ā202 (2005)
Schweitzer, P.: Towards an isomorphism dichotomy for hereditary graph classes. In: Mayr, E.W., Ollinger, N. (eds.) 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). LIPIcs, vol. 30, pp. 689ā702. Schloss Dagstuhl - Leibniz-Zentrum fĆ¼r Informatik, Dagstuhl (2015). doi:http://dx.doi.org/10.4230/LIPIcs.STACS.2015.689. http://drops.dagstuhl.de/opua/volltexte/2015/4951
Stein, W.A., et al.: Sage Mathematics Software (Version 5.9). The Sage Development Team (2013). http://www.sagemath.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Dabrowski, K.K., Paulusma, D. (2015). Clique-Width of Graph Classes Defined by Two Forbidden Induced Subgraphs. In: Paschos, V., Widmayer, P. (eds) Algorithms and Complexity. CIAC 2015. Lecture Notes in Computer Science(), vol 9079. Springer, Cham. https://doi.org/10.1007/978-3-319-18173-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-18173-8_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18172-1
Online ISBN: 978-3-319-18173-8
eBook Packages: Computer ScienceComputer Science (R0)