Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems

  • Authors:
  • Jochen Alber;Henning Fernau;Rolf Niedermeier

  • Affiliations:
  • -;-;-

  • Venue:
  • ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

A parameterized problem is fixed parameter tractable if it admits a solving algorithm whose running time on input instance (I, k) is f(k)ċ|I|α, where f is an arbitrary function depending only on k. Typically, f is some exponential function, e.g., f(k) = ck for constant c. We describe general techniques to obtain growth of the form f(k) = ck for a large variety of planar graph problems. The key to this type of algorithm is what we call the "Layerwise Separation Property" of a planar graph problem. Problems having this property include PLANAR VERTEX COVER, PLANAR INDEPENDENT SET, AND PLANAR DOMINATING SET.