More applications of the $d$-neighbor equivalence: connectivity and acyclicity constraints

Abstract : In this paper, we design a framework to obtain efficient algorithms for several problems with a global constraint (acyclicity or connectivity) such as Connected Dominating Set, Node Weighted Steiner Tree, Maximum Induced Tree, Longest Induced Path, and Feedback Vertex Set. For all these problems, we obtain $2^{O(k)}\cdot n^{O(1)}$, $2^{O(k \log(k))}\cdot n^{O(1)}$, $2^{O(k^2)}\cdot n^{O(1)}$ and $n^{O(k)}$ time algorithms parameterized respectively by clique-width, $\mathbb{Q}$-rank-width, rank-width and maximum induced matching width. Our approach simplifies and unifies the known algorithms for each of the parameters and match asymptotically also the running time of the best algorithms for basic NP-hard problems such as Vertex Cover and Dominating Set. Our framework is based on the $d$-neighbor equivalence defined in [Bui-Xuan, Telle and Vatshelle, TCS 2013]. The results we obtain highlight the importance and the generalizing power of this equivalence relation on width measures. We also prove that this equivalence relation could be useful for Max Cut: a W$[1]$-hard problem parameterized by clique-width. For this latter problem, we obtain $n^{O(k)}$, $n^{O(k)}$ and $n^{2^{O(k)}}$ time algorithms parameterized respectively by clique-width, $\mathbb{Q}$-rank-width and rank-width.
Document type :
Preprints, Working Papers, ...

https://hal.archives-ouvertes.fr/hal-01799573
Contributor : Benjamin Bergougnoux <>
Submitted on : Monday, May 20, 2019 - 10:25:22 AM
Last modification on : Monday, July 8, 2019 - 10:23:56 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

• HAL Id : hal-01799573, version 4
• ARXIV : 1805.11275

Citation

Benjamin Bergougnoux, Mamadou Moustapha Kanté. More applications of the $d$-neighbor equivalence: connectivity and acyclicity constraints. 2019. ⟨hal-01799573v4⟩

Record views