On the parameterized complexity of multiple-interval graph problems

Michael R. Fellows, Danny Hermelin, Frances Rosamond, Stéphane Vialette

Research output: Contribution to journalArticlepeer-review

281 Scopus citations

Abstract

Multiple-interval graphs are a natural generalization of interval graphs where each vertex may have more than one interval associated with it. Many applications of interval graphs also generalize to multiple-interval graphs, often allowing for more robustness in the modeling of the specific application. With this motivation in mind, a recent systematic study of optimization problems in multiple-interval graphs was initiated. In this sequel, we study multiple-interval graph problems from the perspective of parameterized complexity. The problems under consideration are k-Independent Set, k-Dominating Set, and k-Clique, which are all known to be W[1]-hard for general graphs, and NP-complete for multiple-interval graphs. We prove that k-Clique is in FPT, while k-Independent Set and k-Dominating Set are both W[1]-hard. We also prove that k-Independent Dominating Set, a hybrid of the two above problems, is also W[1]-hard. Our hardness results hold even when each vertex is associated with at most two intervals, and all intervals have unit length. Furthermore, as an interesting byproduct of our hardness results, we develop a useful technique for showing W[1]-hardness via a reduction from the k-Multicolored Clique problem, a variant of k-Clique. We believe this technique has interest in its own right, as it should help in simplifying W[1]-hardness results which are notoriously hard to construct and technically tedious.

Original languageEnglish
Pages (from-to)53-61
Number of pages9
JournalTheoretical Computer Science
Volume410
Issue number1
DOIs
StatePublished - 28 Jan 2009
Externally publishedYes

Keywords

  • Clique
  • Dominating set
  • Independent set
  • Multicolored clique
  • Multiple intervals
  • Parameterized complexity
  • W-hardness

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'On the parameterized complexity of multiple-interval graph problems'. Together they form a unique fingerprint.

Cite this