---
title: T(h+1)-Free Edge Deletion Problem
url: https://www.emergentmind.com/topics/t-h-1-free-edge-deletion-problem
type: topic
---

# T(h+1)-Free Edge Deletion Problem

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 [2602.00644, 2102.06068].

## 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 [1507.06341, 1509.08807]. 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 [2602.00644, 1507.06341].

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)}$ [1507.06341, 1509.08807].

The following table summarizes classical complexity:

| $h$         | Complexity                     | Reference        |
|-------------|-------------------------------|------------------|
| $h \leq 2$  | Polynomial time               | [2602.00644]     |
| $h \geq 3$  | NP-complete, no $2^{o(k)}$    | [1507.06341]     |

## 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 [2102.06068], feedback-vertex-set number, pathwidth, feedback-edge-set number [2602.00644], 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 [2602.00644, 2102.06068].  
• 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 [2102.06068].

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 [2602.00644].

## 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)$ [2602.00644].
- **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 [2602.00644].
- **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 [2102.06068].
- **Kernelization:** For parameter $(h, k)$, T(h+1)-Free Edge Deletion admits a kernel of $O(hk)$ vertices and $O(h^2 k)$ edges [2102.06068]. 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 [1407.7156].

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 [1509.08807].

## 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 [1507.06341].
- **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 [1507.06341, 1509.08807].
- **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 [2602.00644, 2102.06068].

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 [2602.00644]. 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 [2602.00644].
- **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 [2602.00644].
- **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 [2602.00644].

## 7. Summary Table: Parameterized Complexity Landscape

| Parameter(s)                           | Complexity     | Reference      |
|----------------------------------------|---------------|---------------|
| $k$                                    | W[2]-hard     | [2102.06068]  |
| $k+$ feedback-edge-set                 | W[1]-hard     | [2602.00644]  |
| treewidth, pathwidth, feedback vertex  | W[1]-hard     | [2102.06068, 2602.00644] |
| cluster-vertex-deletion $\ell$ + $h$   | FPT           | [2602.00644]  |
| neighborhood diversity $t$ + $h$       | FPT           | [2602.00644]  |
| vertex cover number $\tau$ (fixed $h$) | FPT           | [2102.06068]  |
| bounded degree ($\Delta$), fixed $h$   | poly kernel   | [1407.7156]   |

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 [1509.08807].

## References

- [1507.06341] Parameterized lower bound and NP-completeness of some $H$-free Edge Deletion problems
- [1509.08807] Parameterized Lower Bounds and Dichotomy Results for the NP-completeness of $H$-free Edge Modification Problems
- [1407.7156] On Polynomial Kernelization of $\mathcal{H}$-free Edge Deletion
- [2102.06068] Edge Deletion to Restrict the Size of an Epidemic
- [2602.00644] Hardness and Tractability of T_{h+1}-Free Edge Deletion

Source: https://www.emergentmind.com/topics/t-h-1-free-edge-deletion-problem