CORDIS
EU research results

CORDIS

English EN

Theory and Practice of Advanced Search and Enumeration

Project information

Grant agreement ID: 338077

Status

Closed project

  • Start date

    1 February 2014

  • End date

    31 January 2019

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 1 145 078

  • EU contribution

    € 1 145 078

Hosted by:

AALTO KORKEAKOULUSAATIO SR

Finland

Objective

Computer science is permeated with canonical hard problems that, a priori, have a fundamentally combinatorial structure, such as the graph coloring problem, the Steiner tree problem, the Hamiltonian cycle problem, the k-clique problem, and so forth. Accordingly, it would perhaps be quite reasonable to expect that currently the asymptotically fastest solution techniques would rely on the canonical combinatorial algorithms toolbox, such as carefully tailored combinatorial (backtrack/branching) search and case-by-case analysis, combined with, say, advanced data structures.
However, this is not the case.

Indeed, currently the fastest known exact/parameterized algorithms for each of the aforementioned problems (and beyond) rely on a mixed bag of advanced _algebraic_ techniques ranging from fast matrix multiplication to sieving e.g. via Möbius inversion and polynomial identity testing. This, in essence, signals that the development of systematic algorithmic principles and tools to cope with exponential-sized combinatorial spaces associated with hard search and enumeration problems is rather in its infancy. The proposed project aims to improve our understanding how such spaces can be systematically transformed and filtered using advanced algebraic and combinatorial techniques.
The results of the project are of foremost interest in fundamental research in improving our understanding of computation, but potential exists also for breakthroughs that affect the computing practice, for example in connection with specific canonical tasks such as matrix multiplication or frontier applications such as motif problems in bioinformatics.

Principal Investigator

Petteri Samuel Kaski (Dr.)

Host institution

AALTO KORKEAKOULUSAATIO SR

Address

Otakaari 1
02150 Espoo

Finland

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 145 078

Principal Investigator

Petteri Samuel Kaski (Dr.)

Administrative Contact

Lauri Savioja (Prof.)

Beneficiaries (1)

AALTO KORKEAKOULUSAATIO SR

Finland

EU Contribution

€ 1 145 078

Project information

Grant agreement ID: 338077

Status

Closed project

  • Start date

    1 February 2014

  • End date

    31 January 2019

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 1 145 078

  • EU contribution

    € 1 145 078

Hosted by:

AALTO KORKEAKOULUSAATIO SR

Finland