Colouring Square-Free Graphs without Long Induced Paths
(1805.08270)Abstract
The complexity of {\sc Colouring} is fully understood for $H$-free graphs, but there are still major complexity gaps if two induced subgraphs $H1$ and $H2$ are forbidden. Let $H1$ be the $s$-vertex cycle $Cs$ and $H2$ be the $t$-vertex path $Pt$. We show that {\sc Colouring} is polynomial-time solvable for $s=4$ and $t\leq 6$, strengthening several known results. Our main approach is to initiate a study into the boundedness of the clique-width of atoms (graphs with no clique cutset) of a hereditary graph class. We first show that the classifications of boundedness of clique-width of $H$-free graphs and $H$-free atoms coincide. We then show that this is not the case if two graphs are forbidden: we prove that $(C4,P6)$-free atoms have clique-width at most~18. Our key proof ingredients are a divide-and-conquer approach for bounding the clique-width of a subclass of $C4$-free graphs and the construction of a new bound on the clique-width for (general) graphs in terms of the clique-width of recursively defined subgraphs induced by homogeneous pairs and triples of sets. As a complementary result we prove that {\sc Colouring} is \NP-complete for $s=4$ and $t\geq 9$, which is the first hardness result on {\sc Colouring} for $(C4,Pt)$-free graphs. Combining our new results with known results leads to an almost complete dichotomy for \cn restricted to $(Cs,P_t)$-free graphs.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.