T(h+1)-Free Edge Deletion Problem

• T(h+1)-Free Edge Deletion is defined as deleting at most k edges from a graph so that no component or induced subgraph forms a tree on h+1 vertices.
• The problem is NP-complete for h ≥ 2 in the induced variant and for h ≥ 3 in the component-size variant, highlighting a sharp complexity dichotomy.
• Positive results include FPT algorithms and kernelization for parameters like cluster-vertex deletion and neighborhood diversity when paired with h.

The T(h+1)-Free Edge Deletion problem is a fundamental question in graph modification theory. It asks: given a graph $G$ and integers $k$ and $h$, can one delete at most $k$ edges from $G$ so that the resulting graph has no (induced or non-induced, depending on variant) subgraph isomorphic to any tree on $h+1$ vertices? Analogously, in the case of the "every component is small" variant, the goal is to delete at most $k$ edges so that every connected component of the resulting graph contains at most $h$ vertices, equivalently ensuring the graph is $T_{h+1}$-free for the family $T_{h+1}$ of all trees on $h+1$ vertices. This problem has received extensive attention due to both its intrinsic combinatorial interest and its relevance in applications such as epidemic containment, network resilience, and structural graph theory.

1. Formal Problem Definition

Let $G = (V, E)$ be a finite simple graph and $h \geq 1$ an integer. Define $T_{h+1}$ as a fixed tree on $h+1$ vertices, or alternatively as the family of all (labeled) trees on $h+1$ vertices.

Induced variant:

Given a fixed tree $T_{h+1}$, the task is to decide, for input $(G, k)$, whether there exists a set $F \subseteq E$ with $|F| \leq k$ such that $G - F$ contains no induced copy of $T_{h+1}$.

Component-size variant:

Given input $(G, k, h)$, does there exist $E' \subseteq E$, $|E'| \leq k$, such that every connected component of $G' = (V, E \setminus E')$ has at most $h$ vertices—i.e., $G'$ is $T_{h+1}$-free in the sense that no component has order greater than $h$? This is equivalent to forbidding all (not necessarily induced) copies of any $T_{h+1}$ as a subgraph (Gaikwad et al., 31 Jan 2026, Gaikwad et al., 2021).

2. Classical Complexity Landscape

For the induced variant with fixed tree $T_{h+1}$ (on $h+1 \geq 3$ vertices or $h \geq 2$ edges), T(h+1)-Free Edge Deletion is NP-complete (Aravind et al., 2015, Aravind et al., 2015). The dichotomy result is sharp: for $h \leq 1$, the problem is trivial or polynomial-time solvable; for $h \geq 2$, it is NP-complete.

For the component-size variant (forbidding all trees of $h+1$ vertices), the problem remains NP-complete for $h \geq 3$ and is polynomial-time solvable for $h \leq 2$:

• For $h=1$, one deletes all edges;
• For $h=2$, the solution corresponds to finding a maximum matching (Gaikwad et al., 31 Jan 2026, Aravind et al., 2015).

Moreover, it is shown that unless the Exponential Time Hypothesis (ETH) fails, there is no algorithm solving T(h+1)-Free Edge Deletion in time $2^{o(k)} \cdot |G|^{O(1)}$ (Aravind et al., 2015, Aravind et al., 2015).

The following table summarizes classical complexity:

$h$	Complexity	Reference
$h \leq 2$	Polynomial time	(Gaikwad et al., 31 Jan 2026)
$h \geq 3$	NP-complete, no $2^{o(k)}$	(Aravind et al., 2015)

3. Parameterized Complexity and Hardness

The parameterized complexity landscape is notably intricate, especially when $h$ is allowed to grow. The following are the central findings for the component-size variant:

W[1]/W[2]-hardness:

• T(h+1)-Free Edge Deletion is W[1]-hard parameterized by treewidth (Gaikwad et al., 2021), feedback-vertex-set number, pathwidth, feedback-edge-set number (Gaikwad et al., 31 Jan 2026), and even cluster-vertex-deletion number, treedepth, modular width, and twin cover. This implies that, unless FPT=W[1], no FPT algorithms exist for these structural parameters alone when $h$ is unbounded (Gaikwad et al., 31 Jan 2026, Gaikwad et al., 2021).
• The problem is W[2]-hard parameterized by solution size $k$, $pw(G)$, or $fvs(G)$, even on restricted graph classes such as planar or bipartite graphs (Gaikwad et al., 2021).

This series of negative results establishes that most "classical" parameterizations are insufficient to yield tractability for large-$h$ instances, even on graphs close to cluster graphs (cluster-vertex deletion), those with bounded treedepth, or low modular width (Gaikwad et al., 31 Jan 2026).

4. Positive FPT and Kernelization Results

Despite broad intractability for many parameters, several parameterizations restore tractability when combined with $h$ or under certain graph class restrictions.

• FPT in cluster-vertex deletion number plus $h$: T(h+1)-Free Edge Deletion can be solved in $O((2^{\ell}\,\ell\,h^2)^{O(2^{\ell}\ell h)}(n+m))$ time, where $\ell$ is the size of a cluster-vertex deletion set. The method first reduces the input graph by handling large twin classes and then applies dynamic programming on a path decomposition of width $O(2^{\ell}\ell h)$ (Gaikwad et al., 31 Jan 2026).
• FPT in neighborhood diversity plus $h$: For graphs with neighborhood diversity $t$, the problem is solvable by ILP in time $$t\binom{h+t}{t}^{\,2.5\binom{h+t}{t}+o(\binom{h+t}{t})}(\log n)^2+O(n+m)$$, using integer variables to model part sizes in the solution (Gaikwad et al., 31 Jan 2026).
• FPT in vertex cover number (fixed $h$): In $B_\tau\cdot\tau^{O(\tau2^\tau)}\cdot n^{O(1)}$ time, where $\tau$ is the vertex cover number and $B_\tau$ the Bell number. The algorithm partitions the independent set into twin classes and models the assignment of vertices and component splits as an ILP (Gaikwad et al., 2021).
• Kernelization: For parameter $(h, k)$, T(h+1)-Free Edge Deletion admits a kernel of $O(hk)$ vertices and $O(h^2 k)$ edges (Gaikwad et al., 2021). For bounded-degree graphs ($\Delta$ fixed), T(h+1)-Free Edge Deletion has a kernel with $O(\Delta^{2h+1}k^{f(h,\Delta)})$ vertices (Aravind et al., 2014).

For the induced variant, no polynomial kernel exists on general graphs for non-star trees with at least seven vertices, unless NP $\subseteq$ coNP/poly (Aravind et al., 2015).

5. Algorithmic Methods and Reductions

Multiple reduction and algorithmic constructions underlie the core results:

• Base Case Reductions: For stars and twin-stars (trees of diameter 2 and 3), reductions respectively from P₃-free and P₄-free edge deletion apply by attaching cliques to each vertex, ensuring that solution transfer entails solution transfer for the original instance (Aravind et al., 2015).
• General Tree Reductions: An inductive "leaf-pruning" reduction grows larger trees from smaller ones, ensuring that solution sets correspond via gadgets (Construction 1) that branch off $k+1$ "completions" for each instance of the smaller tree (Aravind et al., 2015, Aravind et al., 2015).
• Parameterized Reductions: For cluster-vertex deletion and neighborhood diversity, the main algorithmic approach involves partitioning residual graphs into twin classes and solving (typically via ILP) the assignment of components or part sizes, under constraints linking deletions to forbidden structures (Gaikwad et al., 31 Jan 2026, Gaikwad et al., 2021).

These methods yield both hardness constructions (demonstrating parameterized intractability via gadgets simulating Hitting Set or Unary Bin Packing) and FPT algorithms where additional structure is available.

6. Special Cases, Approximability, and Restricted Graph Classes

• Bicriteria FPT Approximation in $k$: Although W[1]-hard for $k$, there is an FPT bicriteria approximation that in $O(2^{O(k^3)}n^3\log^3 n)$ time produces an edge deletion set of size at most $4k^2$ if a solution of size $k$ exists (Gaikwad et al., 31 Jan 2026). The algorithm uses recursive application of FPT Minimum Bisection to disassemble the graph into small components.
• Split Graphs: The problem is NP-complete on split graphs, but FPT in $k$ via reduction to vertex cover or greedy branching, leveraging the graph’s structural dichotomy between clique and independent set (Gaikwad et al., 31 Jan 2026).
• Interval Graphs: No NP-hardness is known for interval graphs (with $h$ possibly unbounded), but T(h+1)-Free Edge Deletion is FPT in $k$ in $O(k^{O(k)} n^3)$ time through dynamic programming over a clique-path decomposition, using strong restrictions on component intersections in bags (Gaikwad et al., 31 Jan 2026).
• Directed Variant: For the problem of deleting arcs in digraphs such that no node can reach more than $h$ others, the problem is W[2]-hard for $k$, even on DAGs, via reductions from Hitting Set (Gaikwad et al., 31 Jan 2026).

7. Summary Table: Parameterized Complexity Landscape

Parameter(s)	Complexity	Reference
$k$	W[2]-hard	(Gaikwad et al., 2021)
$k+$ feedback-edge-set	W[1]-hard	(Gaikwad et al., 31 Jan 2026)
treewidth, pathwidth, feedback vertex	W[1]-hard	(Gaikwad et al., 2021, Gaikwad et al., 31 Jan 2026)
cluster-vertex-deletion $\ell$ + $h$	FPT	(Gaikwad et al., 31 Jan 2026)
neighborhood diversity $t$ + $h$	FPT	(Gaikwad et al., 31 Jan 2026)
vertex cover number $\tau$ (fixed $h$)	FPT	(Gaikwad et al., 2021)
bounded degree ($\Delta$), fixed $h$	poly kernel	(Aravind et al., 2014)

The T(h+1)-Free Edge Deletion problem thus defines a sharply divided parameterized landscape. Most classic structural parameters do not yield FPT algorithms unless combined with $h$, but FPT is available for cluster-vertex deletion plus $h$ or neighborhood diversity plus $h$. A plausible implication is that the interplay of "component-size control" and "global connectivity structure" is the core driver of the parameterized complexity for this class of edge deletion problems. For the induced variant, incompressibility results rule out polynomial kernels beyond certain bounded parameters, especially for trees that are not stars (Aravind et al., 2015).

• (Aravind et al., 2015) Parameterized lower bound and NP-completeness of some $H$-free Edge Deletion problems
• (Aravind et al., 2015) Parameterized Lower Bounds and Dichotomy Results for the NP-completeness of $H$-free Edge Modification Problems
• (Aravind et al., 2014) On Polynomial Kernelization of $\mathcal{H}$-free Edge Deletion
• (Gaikwad et al., 2021) Edge Deletion to Restrict the Size of an Epidemic
• (Gaikwad et al., 31 Jan 2026) Hardness and Tractability of T_{h+1}-Free Edge Deletion