"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 setti...
see more
¿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
Project Information HOFGA
Project duration: 59 months
Date Start: 2023-03-01
End date: 2028-02-29
participation deadline
Sin fecha límite de participación.
Project description
"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."