Bidimensional parameters and local treewidth

Erik D. Demaine, Fedor V. Fomin, Mohammadtaghi Hajiaghayi, Dimitrios M. Thilikos

Research output: Contribution to journalArticlepeer-review

Abstract

For several graph-theoretic parameters such as vertex cover and dominating set, it is known that if their sizes are bounded by k, then the treewidth of the graph is bounded by some function of k. This fact is used as the main tool for the design of several fixed-parameter algorithms on minor-closed graph classes such as planar graphs, single-crossing-minor-free graphs, and graphs of bounded genus. In this paper we examine whether similar bounds can be obtained for larger minor-closed graph classes and for general families of graph parameters, including all those for which such behavior has been reported so far. Given a graph parameter P, we say that a graph family ℱ has the parameter-treewidth property for P if there is an increasing function t such that every graph G ∈ ℱ has treewidth at most t(P(G)). We prove as our main result that, for a large family of graph parameters called contraction-bidimensional, a minor-closed graph family ℱ has the parameter-treewidth property if ℱ has bounded local treewidth. We also show "if and only if" for some graph parameters, and thus, this result is in some sense tight. In addition we show that, for a slightly smaller family of graph parameters called minor-bidimensional, all minor-closed graph families ℱ, excluding some fixed graphs, have the parameter-treewidth property. The contraction- bidimensional parameters include many domination and covering graph parameters such as vertex cover, feedback vertex set, dominating set, edge-dominating set, and q-dominating set (for fixed q). We use our theorems to develop new fixed-parameter algorithms in these contexts.

Original languageEnglish (US)
Pages (from-to)501-511
Number of pages11
JournalSIAM Journal on Discrete Mathematics
Volume18
Issue number3
DOIs
StatePublished - 2004

Keywords

  • Dominating set
  • Graph minors
  • Local treewidth
  • Treewidth

ASJC Scopus subject areas

  • General Mathematics

Fingerprint

Dive into the research topics of 'Bidimensional parameters and local treewidth'. Together they form a unique fingerprint.

Cite this