Abstract:We investigate fine-grained algorithmic aspects of identification problems in graphs and set systems, with a focus on Locating-Dominating Set and Test Cover. We prove the (tight) conditional lower bounds for these problems when parameterized by treewidth and solution as. Formally, \textsc{Locating-Dominating Set} (respectively, \textsc{Test Cover}) parameterized by the treewidth of the input graph (respectively, of the natural auxiliary graph) does not admit an algorithm running in time $2^{2^{o(tw)}} \cdot poly(n)$ (respectively, $2^{2^{o(tw)}} \cdot poly(|U| + |\mathcal{F}|))$. This result augments the small list of NP-Complete problems that admit double exponential lower bounds when parameterized by treewidth. Then, we first prove that \textsc{Locating-Dominating Set} does not admit an algorithm running in time $2^{o(k^2)} \cdot poly(n)$, nor a polynomial time kernelization algorithm that reduces the solution size and outputs a kernel with $2^{o(k)}$ vertices, unless the Ð fails. To the best of our knowledge, \textsc{Locating-Dominating Set} is the first problem that admits such an algorithmic lower-bound (with a quadratic function in the exponent) when parameterized by the solution size. Finally, we prove that \textsc{Test Cover} does not admit an algorithm running in time $2^{2^{o(k)}} \cdot poly(|U| + |\mathcal{F}|)$. This is also a rare example of the problem that admits a double exponential lower bound when parameterized by the solution size. We also present algorithms whose running times match the above lower bounds.

An information-theoretic lower bound in time-uniform estimation

Lower Bounds In Parameter Estimation Based On Quantized Measurements

On Lower Bounds for Statistical Learning Theory

Information Lower Bounds for Robust Mean Estimation

Valid lower bound for all estimators in quantum parameter estimation

Information Theoretic Lower Bounds for Information Theoretic Upper Bounds

A General Lower Bound of Parameter Estimation for Reflected Ornstein-Uhlenbeck Processes

Better and Simpler Lower Bounds for Differentially Private Statistical Estimation

Two New Families of Local Asymptotically Minimax Lower Bounds in Parameter Estimation

Lower Bounds for Nonparametric Estimation of Ordinary Differential Equations

On the Tightness of Information-Theoretic Bounds on Generalization Error of Learning Algorithms.

Lower Bounds for Time-Varying Kernelized Bandits

Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes

Tight (Double) Exponential Bounds for Identification Problems: Locating-Dominating Set and Test Cover

Tight Lower Bound on Equivalence Testing in Conditional Sampling Model

Information Theoretic Lower Bound Of Restricted Isometry Property Constant

Quantum state testing with restricted measurements

Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory

Lower bounds for the trade-off between bias and mean absolute deviation

$L_q$ Lower Bounds on Distributed Estimation via Fisher Information

Asymptotic Time-Uniform Inference for Parameters in Averaged Stochastic Approximation