"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...
ver más
¿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
Proyectos interesantes
EPRICOT
Efficient Proofs and Computation A Unified Algebraic Appro...
2M€
Cerrado
ALUNIF
Algorithms and Lower Bounds A Unified Approach
1M€
Cerrado
MCC
Mapping the Complexity of Counting
2M€
Cerrado
MCT
Metacomputational Complexity Theory
213K€
Cerrado
EXT
Randomness Extractors Constructions and Applications
1M€
Cerrado
ACUITY
Algorithms for coping with uncertainty and intractability
2M€
Cerrado
Información proyecto HOFGA
Duración del proyecto: 59 meses
Fecha Inicio: 2023-03-01
Fecha Fin: 2028-02-29
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
"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."