# Hitting forbidden induced subgraphs on bounded treewidth graphs

For a fixed graph H, the H-IS-Deletion problem asks, given a graph G, for the minimum size of a set S ⊆ V(G) such that G∖ S does not contain H as an induced subgraph. Motivated by previous work about hitting (topological) minors and subgraphs on bounded treewidth graphs, we are interested in determining, for a fixed graph H, the smallest function f_H(t) such that H-IS-Deletion can be solved in time f_H(t) · n^O(1) assuming the Exponential Time Hypothesis (ETH), where t and n denote the treewidth and the number of vertices of the input graph, respectively. We show that f_H(t) = 2^O(t^h-2) for every graph H on h ≥ 3 vertices, and that f_H(t) = 2^O(t) if H is a clique or an independent set. We present a number of lower bounds by generalizing a reduction of Cygan et al. [MFCS 2014] for the subgraph version. In particular, we show that when H deviates slightly from a clique, the function f_H(t) suffers a sharp jump: if H is obtained from a clique of size h by removing one edge, then f_H(t) = 2^Θ(t^h-2). We also show that f_H(t) = 2^Ω(t^h) when H=K_h,h, and this reduction answers an open question of Mi. Pilipczuk [MFCS 2011] about the function f_C_4(t) for the subgraph version. Motivated by Cygan et al. [MFCS 2014], we also consider the colorful variant of the problem, where each vertex of G is colored with some color from V(H) and we require to hit only induced copies of H with matching colors. In this case, we determine, under the ETH, the function f_H(t) for every connected graph H on h vertices: if h≤ 2 the problem can be solved in polynomial time; if h≥ 3, f_H(t) = 2^Θ(t) if H is a clique, and f_H(t) = 2^Θ(t^h-2) otherwise.

• 29 publications
• 20 publications
research
03/11/2021

### Hitting minors on bounded treewidth graphs. III. Lower bounds

For a finite collection of graphs F, the F-M-DELETION problem consists i...
research
07/02/2019

### Isomorphism Problem for S_d-graphs

An H-graph is the intersection graph of connected subgraphs of a suitabl...
research
07/09/2019

### 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 ...
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
08/29/2019

### Efficient Implementation of Color Coding Algorithm for Subgraph Isomorphism Problem

We consider the subgraph isomorphism problem where, given two graphs G (...
research
10/19/2022

### List homomorphisms by deleting edges and vertices: tight complexity bounds for bounded-treewidth graphs

The goal of this paper is to investigate a family of optimization proble...
research
06/08/2021

### FPT Algorithms to Compute the Elimination Distance to Bipartite Graphs and More

For a hereditary graph class ℋ, the ℋ-elimination distance of a graph G ...