English

Algorithms parameterized by vertex cover and modular width, through potential maximal cliques

Data Structures and Algorithms 2014-04-16 v1

Abstract

In this paper we give upper bounds on the number of minimal separators and potential maximal cliques of graphs w.r.t. two graph parameters, namely vertex cover (vc\operatorname{vc}) and modular width (mw\operatorname{mw}). We prove that for any graph, the number of minimal separators is O(3vc)\mathcal{O}^*(3^{\operatorname{vc}}) and O(1.6181mw)\mathcal{O}^*(1.6181^{\operatorname{mw}}), and the number of potential maximal cliques is O(4vc)\mathcal{O}^*(4^{\operatorname{vc}}) and O(1.7347mw)\mathcal{O}^*(1.7347^{\operatorname{mw}}), and these objects can be listed within the same running times. (The O\mathcal{O}^* notation suppresses polynomial factors in the size of the input.) Combined with known results, we deduce that a large family of problems, e.g., Treewidth, Minimum Fill-in, Longest Induced Path, Feedback vertex set and many others, can be solved in time O(4vc)\mathcal{O}^*(4^{\operatorname{vc}}) or O(1.7347mw)\mathcal{O}^*(1.7347^{\operatorname{mw}}).

Keywords

Cite

@article{arxiv.1404.3882,
  title  = {Algorithms parameterized by vertex cover and modular width, through potential maximal cliques},
  author = {Fedor V. Fomin and Mathieu Liedloff and Pedro Montealegre and Ioan Todinca},
  journal= {arXiv preprint arXiv:1404.3882},
  year   = {2014}
}
R2 v1 2026-06-22T03:51:09.752Z