Tight Lower Bounds for Problems Parameterized by Rank-width
Data Structures and Algorithms
2022-12-09 v2
Abstract
We show that there is no time algorithm for Independent Set on -vertex graphs with rank-width , unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the 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 time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width 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 -vertex graphs.
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