Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs

05/01/2023
by   Matthew Alastair Johnson, et al.
0

For any finite set ℋ = {H_1,…,H_p} of graphs, a graph is ℋ-subgraph-free if it does not contain any of H_1,…,H_p as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of ℋ-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most 3 and examine their complexity on H-subgraph-free graph classes where H is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems. We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree 3. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/22/2017

Connected Vertex Cover for (sP_1+P_5)-Free Graphs

The Connected Vertex Cover problem is to decide if a graph G has a verte...
research
06/01/2022

Sparse graphs with bounded induced cycle packing number have logarithmic treewidth

A graph is O_k-free if it does not contain k pairwise vertex-disjoint an...
research
07/16/2019

Vertex arboricity of cographs

Arboricity is a graph parameter akin to chromatic number, in that it see...
research
05/08/2023

Count on CFI graphs for #P-hardness

Given graphs H and G, possibly with vertex-colors, a homomorphism is a f...
research
07/06/2021

A General Approach to Approximate Multistage Subgraph Problems

In a Subgraph Problem we are given some graph and want to find a feasibl...
research
11/13/2020

Parametric Graph Templates: Properties and Algorithms

Hierarchical structure and repetition are prevalent in graphs originatin...
research
11/23/2022

Complexity Framework For Forbidden Subgraphs

For any finite set ℋ = {H_1,…,H_p} of graphs, a graph is ℋ-subgraph-free...

Please sign up or login with your details

Forgot password? Click here to reset