In this project we revise the foundations of parameterized complexity, a modern multi-variate approach to algorithm design. The underlying question of every algorithmic paradigm is ``what is the best algorithm?'' When the running...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
PARAMTIGHT
Parameterized complexity and the search for tight complexity...
1M€
Cerrado
TIPEA
Technology Transfer between Integer Programming and Efficien...
1M€
Cerrado
SYSTEMATICGRAPH
Systematic mapping of the complexity landscape of hard algor...
2M€
Cerrado
PACKENUM
PArameterized Complexity and Kernelization for ENUMeration
141K€
Cerrado
ALGOCom
Novel Algorithmic Techniques through the Lens of Combinatori...
1M€
Cerrado
TOTAL
Technology transfer between modern algorithmic paradigms
1M€
Cerrado
Información proyecto PaPaAlg
Duración del proyecto: 62 meses
Fecha Inicio: 2016-11-03
Fecha Fin: 2022-01-31
Líder del proyecto
HOGSKULEN PA VESTLANDET
No se ha especificado una descripción o un objeto social para esta compañía.
Presupuesto del proyecto
1M€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
In this project we revise the foundations of parameterized complexity, a modern multi-variate approach to algorithm design. The underlying question of every algorithmic paradigm is ``what is the best algorithm?'' When the running time of algorithms is measured in terms of only one variable, it is easy to compare which one is the fastest. However, when the running time depends on more than one variable, as is the case for parameterized complexity:
**It is not clear what a ``fastest possible algorithm'' really means.**
The previous formalizations of what a fastest possible parameterized algorithm means are one-dimensional, contrary to the core philosophy of parameterized complexity. These one-dimensional approaches to a multi-dimensional algorithmic paradigm unavoidably miss the most efficient algorithms, and ultimately fail to solve instances that we could have solved.
We propose the first truly multi-dimensional framework for comparing the running times of parameterized algorithms. Our new definitions are based on the notion of Pareto-optimality from economics. The new approach encompasses all existing paradigms for comparing parameterized algorithms, opens up a whole new world of research directions in parameterized complexity, and reveals new fundamental questions about parameterized problems that were considered well-understood.
In this project we will develop powerful algorithmic and complexity theoretic tools to answer these research questions. The successful completion of this project will take parameterized complexity far beyond the state of the art, make parameterized algorithms more relevant for practical applications, and significantly advance adjacent subfields of theoretical computer science and mathematics.