CORDIS
EU research results

CORDIS

English EN

Technology transfer between modern algorithmic paradigms

Project information

Grant agreement ID: 677651

Status

Ongoing project

  • Start date

    1 April 2016

  • End date

    31 March 2021

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 417 625

  • EU contribution

    € 1 417 625

Hosted by:

UNIWERSYTET WARSZAWSKI

Poland

Objective

The two most recognized algorithmic paradigms of dealing with NP-hard problems in theoretical computer science nowadays are approximation algorithms and fixed parameter tractability (FPT). Despite the fact that both fields are by now developed, they have grown mostly on their own. In our opinion the two fields have critical mass allowing for synergy effects to appear when using techniques from one area to obtain results in the other, which is the main theme of the project.
Furthermore, practical effectiveness of randomized local search heuristics is a not yet understood phenomenon. We believe that substantial increase of our understanding of superpolynomial running times in recent years should allow for rigorous proofs of parameterized and approximation results obtained by those methods.
Based on our experience with parameterized complexity and approximation algorithms we propose three research directions with potential of solving major long-standing open problems in both areas with the following objectives.
(a) Transfer from Approximation to FPT: use the PCP theorem to prove lower bounds for exact parameterized algorithms under the Exponential Time Hypothesis and take advantage of extended formulations in FPT branching algorithms.
(b) Transfer from FPT to Approximation: utilize parameterized algorithms tools in local-search-based approximation algorithms and explore the potential of proving new inapproximability results based on the Exponential Time Hypothesis.
(c) Rigorous Analysis of Practical Heuristics: unravel the practical effectiveness of randomized local search heuristics by proving their parameterized and approximation properties, when given subexponential or even moderately exponential running time.
Our objectives lie in the frontier of fixed parameter tractability and approximation areas. Complete resolution of our goals would dramatically change our understanding of both areas, with further consequences in other disciplines within computer science.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Host institution

UNIWERSYTET WARSZAWSKI

Address

Krakowskie Przedmiescie 26/28
00 927 Warszawa

Poland

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 417 625

Beneficiaries (1)

UNIWERSYTET WARSZAWSKI

Poland

EU Contribution

€ 1 417 625

Project information

Grant agreement ID: 677651

Status

Ongoing project

  • Start date

    1 April 2016

  • End date

    31 March 2021

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 417 625

  • EU contribution

    € 1 417 625

Hosted by:

UNIWERSYTET WARSZAWSKI

Poland