Skip to main content

RIGOROUS THEORY OF PREPROCESSING

Objective

The main research goal of this project is the quest for rigorous mathematical theory explaining the power and failure of heuristics. The incapability of current computational models to explain the success of heuristic algorithms in practical computing is the subject of wide discussion for more than four decades. Within this project we expect a significant breakthrough in the study of a large family of heuristics: Preprocessing (data reduction or kernelization). Preprocessing is a reduction of the problem to a simpler one and this is the type of algorithms used in almost every application.
As key to novel and groundbreaking results, the proposed project aims to develop new theory of polynomial time compressibility. Understanding the origin of compressibility will serve to build more powerful heuristic algorithms, as well as to explain the behaviour of preprocessing.
The ubiquity of preprocessing makes the theory of compressibility extremely important.
The new theory will be able to transfer the ideas of efficient computation beyond the established borders.

Call for proposal

ERC-2010-AdG_20100224
See other projects for this call

Host institution

UNIVERSITETET I BERGEN
Address
Museplassen 1
5020 Bergen
Norway

See on map

Activity type
Higher or Secondary Education Establishments
Principal investigator
Fedor Fomin (Prof.)
Administrative Contact
Liv-Grethe Gudmundsen (Ms.)
EU contribution
€ 2 227 051

Beneficiaries (1)

UNIVERSITETET I BERGEN
Norway
EU contribution
€ 2 227 051
Address
Museplassen 1
5020 Bergen

See on map

Activity type
Higher or Secondary Education Establishments
Principal investigator
Fedor Fomin (Prof.)
Administrative Contact
Liv-Grethe Gudmundsen (Ms.)