Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques

Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre, Ioan Todinca

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

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) and modular width (mw). We prove that for any graph, the number of its minimal separators is O(3 vc) and O(1. 6181 mw) , and the number of potential maximal cliques is O(4 vc) and O(1. 7347 mw) , and these objects can be listed within the same running times (The O notation suppresses polynomial factors in the size of the input). Combined with known applications of potential maximal cliques, 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(4 vc) or O(1. 7347 mw). With slightly different techniques, we prove that the Treedepth problem can be also solved in single-exponential time, for both parameters.

Original languageEnglish
Pages (from-to)1146-1169
Number of pages24
JournalAlgorithmica
Volume80
Issue number4
DOIs
StatePublished - 1 Apr 2018

Keywords

  • Parametrized algorithms
  • Potential maximal cliques
  • Treewidth
  • Vertex cover

Fingerprint

Dive into the research topics of 'Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques'. Together they form a unique fingerprint.

Cite this