Skip to main content
European Commission logo print header

The Hardness of Finding Good Algorithms

Objective

"This is a project in Computational Complexity. The project aims to answer the following question:

How hard is it to find a good algorithm for a given computational problem?

This question can be asked in several different settings, depending on what one means by ""algorithm"" (what is the computational model?), ""computational problem"" (is it a decision problem? a search problem? a communication problem?), and by ""good"" (do we want an algorithm that uses little time? little memory? few logical gates?).

This question has a deep connection with the problem of proving lower-bounds, and in almost every setting where the question has been answered, either the answer was discovered while attempting to prove lower-bounds, or obtaining the answer required the development of new lower-bound methods. It is also known that several variants of the above question are equivalent to fundamental open questions in cryptography, pseudorandomness, and learning theory.

The goal of this project is to answer this question in various settings where the answer is unknown: in circuit complexity, communication complexity, data structures, and algebraic models of computation. For each of these settings, we will either provide explicit methods for finding efficient algorithms, or show that the problem of finding such efficient algorithms is NP-hard."

Keywords

Coordinator

FACULDADE DE CIENCIAS DA UNIVERSIDADE DE LISBOA
Net EU contribution
€ 1 039 809,18
Address
Campo grande c5 piso 3
1749-016 Lisboa
Portugal

See on map

Region
Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa
Activity type
Higher or Secondary Education Establishments
Links
Other funding
€ 0,00

Participants (2)