Abstract:We investigate structural parameterizations of two identification problems: LOCATING-DOMINATING SET and TEST COVER. In the first problem, an input is a graph $G$ on $n$ vertices and an integer $k$, and one asks if there is a subset $S$ of $k$ vertices such that any two distinct vertices not in $S$ are dominated by distinct subsets of $S$. In the second problem, an input is a set of items $U$, a set of subsets $\mathcal{F}$ of $U$ called $tests$ and an integer $k$, and one asks if there is a set $S$ of at most $k$ tests such that any two items belong to distinct subsets of tests of $S$. These two problems are "identification" analogues of DOMINATING SET and SET COVER, respectively. Chakraborty et al. [ISAAC 2024] proved that both the problems admit conditional double-exponential lower bounds and matching algorithms when parameterized by treewidth of the input graph. We continue this line of investigation and consider parameters larger than treewidth, like vertex cover number and feedback edge set number. We design a nontrivial dynamic programming scheme to solve TEST COVER in "slightly super-exponential" time $2^{O(|U|\log |U|)}(|U|+|\mathcal{F}|)^{O(1)}$ in the number $|U|$ of items and LOCATING-DOMINATING SET in time $2^{O(\textsf{vc} \log \textsf{vc})} \cdot n^{O(1)}$, where $\textsf{vc}$ is the vertex cover number and $n$ is the order of the graph. This shows that the lower bound results with respect to treewidth from Chakraborty et al. [ISAAC 2024] cannot be extended to vertex cover number. We also show that, parameterized by feedback edge set number, LOCATING-DOMINATING SET admits a linear kernel thereby answering an open question in [Cappelle et al., LAGOS 2021]. Finally, we show that neither LOCATING-DOMINATING SET nor TEST COVER is likely to admit a compression algorithm returning an input with a subquadratic number of bits, unless $\textsf{NP} \subseteq \textsf{coNP}/poly$.

Constant Approximating Parameterized K-Setcover is W[2]-hard

The Constant Inapproximability of the Parameterized Dominating Set Problem

On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP

On Lower Bounds of Approximating Parameterized K-Clique

Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique

Approximation Algorithms for Interdiction Problem with Packing Constraints

Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH

Fixed-Parameter and Approximation Algorithms: A New Look

On the Hardness of Approximating the $k$-Way Hypergraph Cut problem

Constant Approximating Disjoint Paths on Acyclic Digraphs is W[1]-hard

Approximating Low-Dimensional Coverage Problems

Approximation Algorithm and FPT Algorithm for Connected- k -Subgraph Cover on Minor-Free Graphs

Fixed-parameter Approximability of Boolean MinCSPs

p-Edge/Vertex-Connected Vertex Cover: Parameterized and Approximation Algorithms

Parameterized and approximation algorithms for coverings points with segments in the plane

Structural Parameterization of Locating-Dominating Set and Test Cover

Parameterized Approximation for Capacitated $d$-Hitting Set with Hard Capacities

The Evolution of the Cover Time

Approximation Algorithms and Hardness of the K-Route Cut Problem

Parameterized Approximation Algorithms and Lower Bounds for k-Center Clustering and Variants

Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection