Clique-width: Harnessing the power of atoms

被引:0
作者
Dabrowski, Konrad K. K. [1 ]
Masarik, Tomas [2 ,3 ,4 ]
Novotna, Jana [2 ,3 ]
Paulusma, Daniel [5 ]
Rzazewski, Pawel [3 ,6 ]
机构
[1] Newcastle Univ, Sch Comp, Newcastle Upon Tyne, England
[2] Charles Univ Prague, Fac Math & Phys, Prague, Czech Republic
[3] Univ Warsaw, Inst Informat, Warsaw, Poland
[4] Simon Fraser Univ, Dept Math, Burnaby, BC, Canada
[5] Univ Durham, Dept Comp Sci, Durham, England
[6] Warsaw Univ Technol, Fac Math & Informat Sci, Warsaw, Poland
关键词
atom; clique-width; hereditary graph class; TRIANGLE-FREE GRAPHS; WEIGHT STABLE SET; CO-GEM-FREE; PARTITIONING PROBLEMS; BIPARTITE GRAPHS; TREE-WIDTH; ISOMORPHISM; PARAMETERS; ALGORITHMS; TREEWIDTH;
D O I
10.1002/jgt.23000
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class G ${\mathscr{G}}$ if they are so on the atoms (graphs with no clique cut-set) of G ${\mathscr{G}}$. Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph G $G$ is H $H$-free if H $H$ is not an induced subgraph of G $G$, and it is (H1,H2) $({H}_{1},{H}_{2})$-free if it is both H1 ${H}_{1}$-free and H2 ${H}_{2}$-free. A class of H $H$-free graphs has bounded clique-width if and only if its atoms have this property. This is no longer true for (H1,H2) $({H}_{1},{H}_{2})$-free graphs, as evidenced by one known example. We prove the existence of another such pair (H1,H2) $({H}_{1},{H}_{2})$ and classify the boundedness of clique-width on (H1,H2) $({H}_{1},{H}_{2})$-free atoms for all but 18 cases.
引用
收藏
页码:769 / 810
页数:42
相关论文
共 65 条
[1]   On easy and hard hereditary classes of graphs with respect to the independent set problem [J].
Alekseev, VE .
DISCRETE APPLIED MATHEMATICS, 2003, 132 (1-3) :17-26
[2]   Graph classes with structured neighborhoods and algorithmic applications [J].
Belmonte, Remy ;
Vatshelle, Martin .
THEORETICAL COMPUTER SCIENCE, 2013, 511 :54-65
[3]   CLIQUE-WIDTH FOR GRAPH CLASSES CLOSED UNDER COMPLEMENTATION [J].
Blanche, Alexandre ;
Dabrowski, Konrad K. ;
Johnson, Matthew ;
Lozin, Vadim V. ;
Paulusma, Daniel ;
Zamaraev, Viktor .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 2020, 34 (02) :1107-1147
[4]   Steiner trees for hereditary graph classes: A treewidth perspective [J].
Bodlaender, Hans L. ;
Brettell, Nick ;
Johnson, Matthew ;
Paesani, Giacomo ;
Paulusma, Daniel ;
van Leeuwen, Erik Jan .
THEORETICAL COMPUTER SCIENCE, 2021, 867 :30-39
[5]   A linear-time ie algorithm for finding three-decompositions of small treewidth [J].
Bodlaender, HL .
SIAM JOURNAL ON COMPUTING, 1996, 25 (06) :1305-1317
[6]  
Boliac R, 2002, LECT NOTES COMPUT SC, V2518, P44
[7]  
Bonamy M, 2021, ALGORITHMICA, V83, P822, DOI 10.1007/s00453-020-00747-x
[8]   Gem- and co-gem-free graphs have bounded clique-width [J].
Brandstädt, A ;
Le, HO ;
Mosca, R .
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (01) :163-185
[9]   Chordal co-gem-free and (P5,gem)-free graphs have bounded clique-width [J].
Brandstädt, A ;
Le, HO ;
Mosca, R .
DISCRETE APPLIED MATHEMATICS, 2005, 145 (02) :232-241
[10]   Maximum Weight Stable Set on graphs without claw and co-claw (and similar graph classes) can be solved in linear time [J].
Brandstädt, A ;
Mahfud, S .
INFORMATION PROCESSING LETTERS, 2002, 84 (05) :251-259