Colouring (sP_1+P_5)-Free Graphs: a Mim-Width Perspective

04/10/2020
by   Nick Brettell, et al.
0

We prove that the class of (K_t,sP_1+P_5)-free graphs has bounded mim-width for every s≥ 0 and t≥ 1, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant mim-width. A large number of -complete graph problems become polynomial-time solvable on graph classes with bounded mim-width and for which a branch decomposition is quickly computable. The k-Colouring problem is an example of such a problem. For this problem, we may assume that the input graph is K_k+1-free. Then, as a consequence of our result, we obtain a new proof for the known result that for every fixed k≥ 1 and s≥ 0, k-Colouring is polynomial-time solvable for (sP_1+P_5)-free graphs. In fact, our findings show that the underlying reason for this polynomial-time algorithm is that the class has bounded mim-width.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/03/2020

List k-Colouring P_t-Free Graphs with No Induced 1-Subdivision of K_1,s: a Mim-width Perspective

A colouring of a graph G=(V,E) is a mapping c V→{1,2,…} such that c(u)≠ ...
research
01/29/2019

Canonisation and Definability for Graphs of Bounded Rank Width

We prove that the combinatorial Weisfeiler-Leman algorithm of dimension ...
research
08/20/2020

Solving problems on generalized convex graphs via mim-width

A bipartite graph G=(A,B,E) is H-convex, for some family of graphs H, if...
research
11/13/2017

Constraint Solving via Fractional Edge Covers

Many important combinatorial problems can be modeled as constraint satis...
research
07/04/2023

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

Twin-width is a structural width parameter introduced by Bonnet, Kim, Th...
research
05/12/2020

Constructing Tree Decompositions of Graphs with Bounded Gonality

In this paper, we give a constructive proof of the fact that the treewid...
research
01/24/2014

Hypergraph Acyclicity and Propositional Model Counting

We show that the propositional model counting problem #SAT for CNF- form...

Please sign up or login with your details

Forgot password? Click here to reset