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

https://doi.org/10.1016/j.ejc.2012.04.008Get rights and content
Under an Elsevier user license
open archive

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.

Cited by (0)

This work was supported by the Netherlands Organization for Scientific Research (NWO), project “KERNELS: Combinatorial Analysis of Data Reduction”.

☆☆

A preliminary version of this work appeared in the Proceedings of the 20th International Workshop on Combinatorial Algorithms (IWOCA 2009).