English

Tight Lower Bounds for Problems Parameterized by Rank-width

Data Structures and Algorithms 2022-12-09 v2

Abstract

We show that there is no 2o(k2)nO(1)2^{o(k^2)} n^{O(1)} time algorithm for Independent Set on nn-vertex graphs with rank-width kk, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the 2O(k2)nO(1)2^{O(k^2)} n^{O(1)} time algorithm given by Bui-Xuan, Telle, and Vatshelle [Discret. Appl. Math., 2010] and it answers the open question of Bergougnoux and Kant\'{e} [SIAM J. Discret. Math., 2021]. We also show that the known 2O(k2)nO(1)2^{O(k^2)} n^{O(1)} time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width kk are optimal assuming ETH. Our results are the first tight ETH lower bounds parameterized by rank-width that do not follow directly from lower bounds for nn-vertex graphs.

Keywords

Cite

@article{arxiv.2210.02117,
  title  = {Tight Lower Bounds for Problems Parameterized by Rank-width},
  author = {Benjamin Bergougnoux and Tuukka Korhonen and Jesper Nederlof},
  journal= {arXiv preprint arXiv:2210.02117},
  year   = {2022}
}

Comments

Accepted to STACS'23

R2 v1 2026-06-28T02:50:16.909Z