Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity

  • Authors:

  • Michael R. Fellows;Bart M. P. Jansen;Frances Rosamond

  • Affiliations:

  • School of Engineering and Information Technology, Charles Darwin University, Australia;Department of Information and Computing Sciences, Utrecht University, The Netherlands;School of Engineering and Information Technology, Charles Darwin University, Australia

  • Venue:
  • European Journal of Combinatorics
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

The aim of this article is to motivate and describe the parameter ecology program, which studies how different parameters contribute to the difficulty of classical problems. We call for a new type of race in parameterized analysis, with the purpose of uncovering the boundaries of tractability by finding the smallest possible parameterizations which admit FPT-algorithms or polynomial kernels. An extensive overview of recent advances on this front is presented for the Vertex Cover problem. Moving even beyond the parameter ecology program we advocate the principle of model enrichment, which raises the challenge of generalizing positive results to problem definitions with greater modeling power. The computational intractability which inevitably emerges can be deconstructed by introducing additional parameters, leading towards a theory of fully multivariate algorithmics.