Communication Dans Un Congrès Année : 2025

Structural Parameterization of Locating-Dominating Set and Test Cover

Résumé

We investigate structural parameterizations for two identification problems in graphs and set systems: Locating-Dominating Set and Test Cover. In the first problem, an input is a graph G and an integer k, and one asks whether 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 collection of subsets F of U called tests, and an integer k, and one asks whether there is a solution set S of at most k tests such that each pair of items belongs to a distinct subset of tests of S. In a related work [ISAAC 2024], we proved that both problems admit a conditional double-exponential lower bound and a matching algorithm when parameterized by the 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 for Test Cover in “slightly super-exponential” time 2O(|U | log |U |)(|U | + |F|)O(1) in the number |U | of items, and also Locating-Dominating Set in time 2O(vc log vc) · nO(1), where vc is the vertex cover number and n the order of the graph. Thus, the known lower bounds with respect to treewidth cannot be extended to the vertex cover number. We also show that when parameterized by the feedback edge set number, Locating Dominating Set admits a linear kernel, answering an open question from [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.

Fichier principal
Vignette du fichier
LDS-CIAC-2025.pdf (936.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05071838 , version 1 (21-05-2025)

Licence

Identifiants

Citer

Dipayan Chakraborty, Florent Foucaud, Diptapriyo Majumdar, Prafullkumar Tale. Structural Parameterization of Locating-Dominating Set and Test Cover. Proceedings of the 14th International Conference on Algorithms and Complexity (CIAC 2025), Jun 2025, Rome, Italy. pp.187-204, ⟨10.1007/978-3-031-92932-8_13⟩. ⟨hal-05071838⟩
151 Consultations
263 Téléchargements

Altmetric

Partager

  • More