Structural Parameters, Tight Bounds, and Approximation for (k,r)-Center

April 28, 2017 ยท The Ethereal ยท ๐Ÿ› International Symposium on Algorithms and Computation

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos arXiv ID 1704.08868 Category cs.CC: Computational Complexity Cross-listed cs.DS Citations 56 Venue International Symposium on Algorithms and Computation Last Checked 1 month ago
Abstract
In $(k,r)$-Center we are given a (possibly edge-weighted) graph and are asked to select at most $k$ vertices (centers), so that all other vertices are at distance at most $r$ from a center. In this paper we provide a number of tight fine-grained bounds on the complexity of this problem with respect to various standard graph parameters. Specifically: - For any $r\ge 1$, we show an algorithm that solves the problem in $O^*((3r+1)^{\textrm{cw}})$ time, where $\textrm{cw}$ is the clique-width of the input graph, as well as a tight SETH lower bound matching this algorithm's performance. As a corollary, for $r=1$, this closes the gap that previously existed on the complexity of Dominating Set parameterized by $\textrm{cw}$. - We strengthen previously known FPT lower bounds, by showing that $(k,r)$-Center is W[1]-hard parameterized by the input graph's vertex cover (if edge weights are allowed), or feedback vertex set, even if $k$ is an additional parameter. Our reductions imply tight ETH-based lower bounds. Finally, we devise an algorithm parameterized by vertex cover for unweighted graphs. - We show that the complexity of the problem parameterized by tree-depth is $2^{ฮ˜(\textrm{td}^2)}$ by showing an algorithm of this complexity and a tight ETH-based lower bound. We complement these mostly negative results by providing FPT approximation schemes parameterized by clique-width or treewidth which work efficiently independently of the values of $k,r$. In particular, we give algorithms which, for any $ฮต>0$, run in time $O^*((\textrm{tw}/ฮต)^{O(\textrm{tw})})$, $O^*((\textrm{cw}/ฮต)^{O(\textrm{cw})})$ and return a $(k,(1+ฮต)r)$-center, if a $(k,r)$-center exists, thus circumventing the problem's W-hardness.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Computational Complexity