"The main goal of this project is to lay the foundations of a ``non-polynomial time theory of approximation"" -- the Parameterized Approximation for NP-hard optimization problems. A combination that will use the salient feat...
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
ALUNIF
Algorithms and Lower Bounds A Unified Approach
1M€
Cerrado
TOTAL
Technology transfer between modern algorithmic paradigms
1M€
Cerrado
ACUITY
Algorithms for coping with uncertainty and intractability
2M€
Cerrado
PARAPATH
Parameterized Complexity Through the Lens of Path Problems
1M€
Cerrado
TIN2009-07727
METAHEURISTICAS MONO- Y MULTI-OBJETIVO PARA APLICACIONES REA...
147K€
Cerrado
PID2019-109137GB-C22
SISTEMAS DE PRUEBA MAS ALLA DE RESOLUCION: ANALISIS TEORICO
37K€
Cerrado
Información proyecto PARAPPROX
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
2M€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
"The main goal of this project is to lay the foundations of a ``non-polynomial time theory of approximation"" -- the Parameterized Approximation for NP-hard optimization problems. A combination that will use the salient features of Approximation Algorithms and
Parameterized Complexity. In the former, one relaxes the requirement of finding an optimum solution. In the latter, one relaxes the requirement of finishing in polynomial time by restricting the
combinatorial explosion in the running time to a parameter that for reasonable inputs is much smaller than the input size. This project will explore the following fundamental question:
Approximation Algorithms + Parameterized Complexity=?
New techniques will be developed that will simultaneously utilize the notions of relaxed time complexity and accuracy and thereby make problems for which both these approaches have failed independently, tractable. It is however conceivable that for some problems even this combined approach may not succeed. But in those situations we will glean valuable insight into the reasons for failure. In parallel to algorithmic studies, an intractability theory will be
developed which will provide the theoretical framework to specify the extent to which this approach might work. Thus, on one hand the project will give rise to algorithms that will have impact beyond the boundaries of computer science and on the other hand it will lead to a complexity theory that will go beyond the established notions of intractability. Both these aspects of my project are groundbreaking -- the new theory will transcend our current ideas of
efficient approximation and thereby raise the state of the art to a new level."