×

Clique-width for graph classes closed under complementation. (English) Zbl 1441.05193

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 73, 14 p. (2017).
Summary: Clique-width is an important graph parameter due to its algorithmic and structural properties. A graph class is hereditary if it can be characterized by a (not necessarily finite) set \(\mathcal{H}\) of forbidden induced subgraphs. We initiate a systematic study into the boundedness of clique-width of hereditary graph classes closed under complementation. First, we extend the known classification for the \(|\mathcal{H}|=1\) case by classifying the boundedness of clique-width for every set \(\mathcal{H}\) of self-complementary graphs. We then completely settle the \(|\mathcal{H}|=2\) case. In particular, we determine one new class of \((H,\overline{H})\)-free graphs of bounded clique-width (as a side effect, this leaves only six classes of \((H_1,H_2)\)-free graphs, for which it is not known whether their clique-width is bounded). Once we have obtained the classification of the \(|\mathcal{H}|=2\) case, we research the effect of forbidding self-complementary graphs on the boundedness of clique-width. Surprisingly, we show that for a set \(\mathcal{F}\) of self-complementary graphs on at least five vertices, the classification of the boundedness of clique-width for \((\{H,\overline{H}\}\cup\mathcal{F})\)-free graphs coincides with the one for the \(|\mathcal{H}|=2\) case if and only if \(\mathcal{F}\) does not include the bull (the only non-empty self-complementary graphs on fewer than five vertices are \(P_1\) and \(P_4\), and \(P_4\)-free graphs have clique-width at most 2). Finally, we discuss the consequences of our results for Colouring.
For the entire collection see [Zbl 1376.68011].

MSC:

05C75 Structural characterization of families of graphs
05C69 Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.)
05C78 Graph labelling (graceful graphs, bandwidth, etc.)
Full Text: DOI

References:

[1] Lowell W. Beineke and Allen J. Schwenk. On a bipartite form of the Ramsey problem. {\it Congressus Numerantium}, XV:17-22, 1975. · Zbl 0333.05118
[2] Alexandre Blanché, Konrad K. Dabrowski, Matthew Johnson, and Daniël Paulusma. Hered itary graph classes: When the complexities of Colouring and Clique Cover coincide. {\it CoRR}, abs/1607.06757, 2016. · Zbl 1417.05060
[3] Rodica Boliac and Vadim V. Lozin. On the clique-width of graphs in hereditary classes. {\it Proc. ISAAC 2002, LNCS}, 2518:44-54, 2002. · Zbl 1020.05046
[4] Andreas Brandstädt, Konrad K. Dabrowski, Shenwei Huang, and Daniël Paulusma. Bound ing the clique-width of {\it H}-free split graphs. {\it Discrete Applied Mathematics}, 211:30-39, 2016. · Zbl 1348.05147
[5] Andreas Brandstädt, Konrad K. Dabrowski, Shenwei Huang, and Daniël Paulusma. Bound ing the clique-width of {\it H}-free chordal graphs. {\it Journal of Graph Theory}, (in press), 2017. · Zbl 1468.05055
[6] Andreas Brandstädt, Feodor F. Dragan, Hoàng-Oanh Le, and Raffaele Mosca. New graph classes of bounded clique-width. {\it Theory of Computing Systems}, 38(5):623-645, 2005. · Zbl 1084.68088
[7] Andreas Brandstädt, Joost Engelfriet, Hoàng-Oanh Le, and Vadim V. Lozin. Clique-width for 4-vertex forbidden subgraphs. {\it Theory of Computing Systems}, 39(4):561-590, 2006. · Zbl 1103.68088
[8] Andreas Brandstädt, Tilo Klembt, and Suhail Mahfud. {\it P}6- and triangle-free graphs revis ited: structure and bounded clique-width. {\it Discrete Mathematics and Theoretical Computer} {\it Science}, 8(1):173-188, 2006. · Zbl 1153.05040
[9] Andreas Brandstädt, Hoàng-Oanh Le, and Raffaele Mosca. Gem- and co-gem-free graphs have bounded clique-width. {\it International Journal of Foundations of Computer Science}, 15(1):163-185, 2004. · Zbl 1101.68719
[10] Andreas Brandstädt, Hoàng-Oanh Le, and Raffaele Mosca.Chordal co-gem-free and ({\it P}5,gem)-free graphs have bounded clique-width.{\it Discrete Applied Mathematics}, 145(2):232-241, 2005. · Zbl 1084.05056
[11] Andreas Brandstädt and Suhail Mahfud. Maximum weight stable set on graphs without claw and co-claw (and similar graph classes) can be solved in linear time. {\it Information} {\it Processing Letters}, 84(5):251-259, 2002. · Zbl 1042.68085
[12] Julia Chuzhoy. Improved bounds for the flat wall theorem. {\it Proc. SODA 2015}, pages 256-275, 2015. · Zbl 1375.05254
[13] Derek G. Corneil, Michel Habib, Jean-Marc Lanlignel, Bruce A. Reed, and Udi Rotics. Polynomial-time recognition of clique-width ≤ 3 graphs. {\it Discrete Applied Mathematics}, 160(6):834-865, 2012. · Zbl 1237.05147
[14] Bruno Courcelle, Johann A. Makowsky, and Udi Rotics. Linear time solvable optimization problems on graphs of bounded clique-width. {\it Theory of Computing Systems}, 33(2):125-150, 2000. · Zbl 1009.68102
[15] Bruno Courcelle and Stephan Olariu. Upper bounds to the clique width of graphs. {\it Discrete} {\it Applied Mathematics}, 101(1-3):77-114, 2000. · Zbl 0958.05105
[16] Konrad K. Dabrowski, François Dross, and Daniël Paulusma.Colouring diamond-free graphs. {\it Journal of Computer and System Sciences}, (to appear). · Zbl 1378.68070
[17] Konrad K. Dabrowski, Petr A. Golovach, and Daniël Paulusma. Colouring of graphs with Ramsey-type forbidden subgraphs. {\it Theoretical Computer Science}, 522:34-43, 2014. · Zbl 1279.68104
[18] Konrad K. Dabrowski, Shenwei Huang, and Daniël Paulusma. Bounding clique-width via perfect graphs. {\it Journal of Computer and System Sciences}, (in press). · Zbl 1425.05117
[19] Konrad K. Dabrowski, Vadim V. Lozin, and Daniël Paulusma. Clique-width and well-quasi ordering of triangle-free graph classes. {\it Proc. WG 2017, LNCS}, (to appear). · Zbl 1483.05178
[20] Konrad K. Dabrowski, Vadim V. Lozin, and Daniël Paulusma. Well-quasi-ordering versus clique-width: New results on bigenic classes. {\it Order}, (to appear). · Zbl 1482.05281
[21] Konrad K. Dabrowski, Vadim V. Lozin, Rajiv Raman, and Bernard Ries. Colouring vertices of triangle-free graphs without forests. {\it Discrete Mathematics}, 312(7):1372-1385, 2012. · Zbl 1237.05071
[22] Konrad K. Dabrowski and Daniël Paulusma. Classifying the clique-width of {\it H}-free bipartite graphs. {\it Discrete Applied Mathematics}, 200:43-51, 2016. · Zbl 1329.05228
[23] Konrad K. Dabrowski and Daniël Paulusma. Clique-width of graph classes defined by two forbidden induced subgraphs. {\it The Computer Journal}, 59(5):650-666, 2016. · Zbl 1462.05310
[24] H. N. de Ridder et al. {\it Information System on Graph Classes and their Inclusions}, 2001- 2013. http://www.graphclasses.org.
[25] Wolfgang Espelage, Frank Gurski, and Egon Wanke. How to solve NP-hard graph problems on clique-width bounded graphs in polynomial time. {\it Proc. WG 2001, LNCS}, 2204:117-128, 2001. · Zbl 1042.68626
[26] Alastair Farrugia. Self-complementary graphs and generalisations: a comprehensive refer ence manual. Master’s thesis, University of Malta, 1999.
[27] Michael R. Fellows, Frances A. Rosamond, Udi Rotics, and Stefan Szeider. Clique-width is NP-Complete. {\it SIAM Journal on Discrete Mathematics}, 23(2):909-939, 2009. · Zbl 1207.68159
[28] Stéphane Földes and Peter Ladislaw Hammer. Split graphs. {\it Congressus Numerantium}, XIX:311-315, 1977. · Zbl 0407.05071
[29] Petr A. Golovach, Matthew Johnson, Daniël Paulusma, and Jian Song. A survey on the computational complexity of colouring graphs with forbidden subgraphs. {\it Journal of Graph} {\it Theory}, 84(4):331-363, 2017. · Zbl 1359.05039
[30] Martin Grohe and Pascal Schweitzer. Isomorphism testing for graphs of bounded rank width. {\it Proc. FOCS 2015}, pages 1010-1029, 2015.
[31] Frank Gurski. The behavior of clique-width under graph operations and graph transform ations. {\it Theory of Computing Systems}, 60(2):346-376, 2017. · Zbl 1358.05239
[32] András Gyárfás. Problems from the world surrounding perfect graphs. {\it Applicationes Math-} {\it ematicae}, 19(3-4):413-441, 1987. · Zbl 0718.05041
[33] Öjvind Johansson. Clique-decomposition, NLC-decomposition, and modular decomposition - relationships and results for random graphs. {\it Congressus Numerantium}, 132:39-60, 1998. · Zbl 0951.05093
[34] Marcin Kamiński, Vadim V. Lozin, and Martin Milanič. Recent developments on graphs of bounded clique-width. {\it Discrete Applied Mathematics}, 157(12):2747-2761, 2009. · Zbl 1211.05165
[35] Daniel Kobler and Udi Rotics. Edge dominating set and colorings on graphs with fixed clique-width. {\it Discrete Applied Mathematics}, 126(2-3):197-221, 2003. · Zbl 1009.05103
[36] Vadim V. Lozin and Dieter Rautenbach. On the band-, tree-, and clique-width of graphs with bounded vertex degree. {\it SIAM Journal on Discrete Mathematics}, 18(1):195-206, 2004. · Zbl 1081.05098
[37] Vadim V. Lozin and Dieter Rautenbach. The tree- and clique-width of bipartite graphs in special classes. {\it Australasian Journal of Combinatorics}, 34:57-67, 2006. · Zbl 1102.68098
[38] Johann A. Makowsky and Udi Rotics. On the clique-width of graphs with few {\it P}4’s. {\it Inter-} {\it national Journal of Foundations of Computer Science}, 10(03):329-348, 1999. · Zbl 1320.05096
[39] Sang-Il Oum and Paul D. Seymour. Approximating clique-width and branch-width. {\it Journal} {\it of Combinatorial Theory, Series B}, 96(4):514-528, 2006. · Zbl 1114.05022
[40] Michaël Rao. MSOL partitioning problems on graphs of bounded treewidth and clique width. {\it Theoretical Computer Science}, 377(1-3):260-267, 2007. · Zbl 1118.68107
[41] Ronald C. Read. On the number of self-complementary graphs and digraphs. {\it Journal of} {\it the London Mathematical Society}, s1-38(1):99-104, 1963. · Zbl 0116.15001
[42] :14
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.