The Parameterized Complexity of Terminal Monitoring Set

N. R. Aravind,Roopam Saxena

2024-06-04

Abstract:In Terminal Monitoring Set (TMS), the input is an undirected graph $G=(V,E)$, together with a collection $T$ of terminal pairs and the goal is to find a subset $S$ of minimum size that hits a shortest path between every pair of terminals. We show that this problem is W[2]-hard with respect to solution size. On the positive side, we show that TMS is fixed parameter tractable with respect to solution size plus distance to cluster, solution size plus neighborhood diversity, and feedback edge number. For the weighted version of the problem, we obtain a FPT algorithm with respect to vertex cover number, and for a relaxed version of the problem, we show that it is W[1]-hard with respect to solution size plus feedback vertex number.

Discrete Mathematics,Computational Complexity

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the parameterized complexity of the Terminal Monitoring Set (TMS). Specifically, the paper explores, given an undirected graph \(G=(V, E)\) and a set of terminal pairs \(T\), how to find a minimum vertex subset \(S\subseteq V\) such that for every pair of terminals \(\{u, v\}\in T\), there exists a vertex \(w\in S\) so that \(d(u, w)+d(w, v)=d(u, v)\).

### Main problem description:
1. **Input**: An undirected graph \(G = (V, E)\), and a set of terminal pairs \(T=\{\{u_1, v_1\}, \{u_2, v_2\}, \ldots, \{u_l, v_l\}\}\), where \(u_i, v_i\in V\), and an integer \(k\).
2. **Output**: If there exists a vertex subset \(S\subseteq V\) with a size not exceeding \(k\) such that for every pair of terminals \(\{u, v\}\in T\), there exists a vertex \(w\in S\) so that \(d(u, w)+d(w, v)=d(u, v)\), then output "YES"; otherwise output "NO".

### Main contributions of the paper:
- **Difficulty results**:
- The Terminal Monitoring Set problem is NP - hard.
- The Terminal Monitoring Set problem is W[2]-hard with respect to the size of the solution.

- **Positive results**:
- When the parameter is the size of the solution plus the distance to the cluster, the Terminal Monitoring Set problem has fixed - parameter tractability (FPT).
- When the parameter is the size of the solution plus the neighborhood diversity, the Terminal Monitoring Set problem has FPT.
- For the weighted version of the Terminal Monitoring Set problem, when the parameter is the vertex cover number, it has FPT.
- When the parameter is the number of feedback edges, the Terminal Monitoring Set problem has FPT.

### Relaxed version of the problem:
The paper also studies a relaxed version of the problem, namely the α - Relaxed Terminal Monitoring Set (α - RTMS), in which the path is allowed to deviate slightly from the shortest path, specifically \(d(u, w)+d(w, v)\leq(1 + \alpha)\cdot d(u, v)\). For each fixed \(0 <\alpha\leq0.5\), even on planar graphs, the α - RTMS problem is W[1]-hard with respect to the number of feedback vertices plus the size of the solution.

Through these studies, the paper provides an in - depth understanding of the Terminal Monitoring Set problem and shows the complexity of this problem under different parameterized conditions.