Clique-Width: Harnessing the Power of Atoms

  title={Clique-Width: Harnessing the Power of Atoms},
  author={Konrad K. Dabrowski and Tom{\'a}{\vs} Masař{\'i}k and Jana Novotn{\'a} and Dani{\"e}l Paulusma and Paweł Rzaͅżewski},
Many NP-complete graph problems are polynomially solvable on graph classes of bounded clique-width. Several of these problems are polynomially solvable on a hereditary graph class G if they are so on the atoms (graphs with no clique cut-set) of G. Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph G is H-free if H is not an induced subgraph of G, and G is (H_1, H_2)-free if it is both H_1-free and H_2-free. A class of H-free… 



Bounding the Mim-Width of Hereditary Graph Classes

A large number of NP-hard graph problems become polynomial-time solvable on graph classes where the mim-width is bounded and quickly computable, and a systematic study into bounding mim- width from the perspective of hereditary graph classes is initiated.

Clique-Width of Graph Classes Defined by Two Forbidden Induced Subgraphs

This study studies the (un)boundedness of the clique-width of graph classes defined by two forbidden induced subgraphs, and considers classes characterized by forbidding a finite family of graphs as sub graphs, minors and topological minors, respectively, to completely determine which of these classes have bounded cliques-width.

Clique-Width for Hereditary Graph Classes

A possible strong connection between results on boundedness of clique-width and on well-quasi-orderability by the induced subgraph relation for hereditary graph classes is explained.

Graph Isomorphism for (H1, H2)-free Graphs: An Almost Complete Dichotomy

The computational complexity of Graph Isomorphism is resolved for classes of graphs characterized by two forbidden induced subgraphs for all but six pairs of graphs, and the number of open cases for boundedness of clique-width for $(H_1,H_2)$-free graphs is reduced.

Bounding Clique-Width via Perfect Graphs

A technique based on bounding clique covering number in combination with reduction to subclasses of perfect graphs is developed, extending the proof of unboundedness for the fourth case to show that Graph Isomorphism is Graph Isomorphicism-complete on the same graph class.

Colouring Square-Free Graphs without Long Induced Paths

It is shown that Colouring is polynomial-time solvable for s=4 and t =9, which is the first hardness result on Colouring for (C_4,P_t)-free graphs.

Colouring of graphs with Ramsey-type forbidden subgraphs

Steiner Trees for Hereditary Graph Classes

It is found that there exists an infinite family of graphs H such that Vertex Steiner Tree is polynomial-time solvable for H-free graphs, whereas there exist only two graphs H for which this holds for Edge Steiner tree.

Clique-Width and Well-Quasi-Ordering of Triangle-Free Graph Classes

The results enable the classification of graphs $H$ for which the class of $(\mbox{triangle},H)$-free graphs is well-quasi-ordered to be completed, based on a special decomposition of $3$-partite graphs.