Hitting minors on bounded treewidth graphs. III. Lower bounds

by   Julien Baste, et al.

For a finite collection of graphs F, the F-M-DELETION problem consists in, given a graph G and an integer k, decide whether there exists S ⊆ V(G) with |S| ≤ k such that G ∖ S does not contain any of the graphs in F as a minor. We are interested in the parameterized complexity of F-M-DELETION when the parameter is the treewidth of G, denoted by tw. Our objective is to determine, for a fixed F, the smallest function f_ F such that F-M-DELETION can be solved in time f_ F(tw) · n^O(1) on n-vertex graphs. We provide lower bounds under the ETH on f_ F for several collections F. We first prove that for any F containing connected graphs of size at least two, f_ F(tw)= 2^Ω(tw), even if the input graph G is planar. Our main contribution consists of superexponential lower bounds for a number of collections F, inspired by a reduction of Bonnet et al. [IPEC, 2017]. In particular, we prove that when F contains a single connected graph H that is either P_5 or is not a minor of the banner (that is, the graph consisting of a C_4 plus a pendent edge), then f_ F(tw)= 2^Ω(tw ·log tw). This is the third of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of {H}-M-DELETION, in terms of H, when H is connected.


page 1

page 2

page 3

page 4


Hitting minors on bounded treewidth graphs. II. Single-exponential algorithms

For a finite collection of graphs F, the F-M-DELETION (resp. F-TM-DELETI...

A complexity dichotomy for hitting connected minors on bounded treewidth graphs: the chair and the banner draw the boundary

For a fixed connected graph H, the {H}-M-DELETION problem asks, given a ...

Hitting forbidden induced subgraphs on bounded treewidth graphs

For a fixed graph H, the H-IS-Deletion problem asks, given a graph G, fo...

Advice Complexity bounds for Online Delayed F-Node-, H-Node- and H-Edge-Deletion Problems

Let F be a fixed finite obstruction set of graphs and G be a graph revea...

Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable

For a finite collection of graphs F, the F-TM-Deletion problem has as ...

Kernelization for Treewidth-2 Vertex Deletion

The Treewidth-2 Vertex Deletion problem asks whether a set of at most t ...

A Framework for Approximation Schemes on Disk Graphs

We initiate a systematic study of approximation schemes for fundamental ...

Please sign up or login with your details

Forgot password? Click here to reset