Description du projet
Aborder les questions les plus profondes de l’informatique
Savoir si les problèmes informatiques dont les solutions sont rapidement vérifiables peuvent également être résolus rapidement est l’un des plus grands mystères de l’informatique. C’est ce que l’on appelle le problème P ≟ NP. Si la plupart des experts s’accordent sur la réponse, aucune preuve rigoureuse n’a encore été apportée. Le projet METACOMP, financé par le CER, va se pencher sur cette question et d’autres questions fondamentales à l’aide de la «méta-complexité», la théorie de la complexité des problèmes qui traitent eux-mêmes de la complexité. En appliquant cette théorie, les chercheurs entendent établir de nouvelles limites inférieures pour les calculs et les preuves, faisant le lien entre la complexité des preuves et la complexité des calculs. METACOMP va également développer des applications de cette théorie à la cryptographie, à l’apprentissage et à l’approximation, apportant une approche unifiée de certaines des questions les plus profondes de l’informatique théorique.
Objectif
"One of the most fundamental questions in computer science is the P vs NP question, which asks if every computational problem with efficiently verifiable solutions is efficiently solvable. Equivalently, it asks if all propositional tautologies have proofs that can be found efficiently. The answer is widely believed to be negative, but we lack a rigorous justification for this belief. The field of computational complexity approaches P vs NP and related questions by showing lower bounds (i.e. impossibility results) on efficient computations, while the field of proof complexity approaches these questions by showing lower bounds on efficient proofs for propositional tautologies. Despite much effort, the best known lower bounds in both computational complexity and proof complexity are quite far from resolving the P vs NP question, and there are significant barriers to the success of known techniques.
In this project, we will approach fundamental lower bound questions in computational complexity and proof complexity using the recently developed conceptual framework of ""meta-complexity"". Meta-complexity studies the complexity of computational problems and propositional statements that are themselves about complexity, eg., the Minimum Circuit Size Problem, which asks if a given Boolean function has small Boolean circuits. Concepts and techniques from meta-complexity have been instrumental in major recent advances in theoretical cryptography and average-case complexity, overcoming known barriers. We will extend this methodology to attack some of the deepest questions in theoretical computer science, by showing new lower bounds on both proofs and computation, establishing strong connections between computational complexity and proof complexity, and giving applications to explicit constructions, learning and hardness of approximation. A key aspect of our approach is that meta-complexity is a unifying framework, which applies equally well to proofs and computation."
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information sécurité informatique cryptographie
- sciences naturelles informatique et science de l'information science informatique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
HORIZON-ERC - HORIZON ERC Grants
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) ERC-2024-ADG
Voir tous les projets financés au titre de cet appelInstitution d’accueil
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
OX1 2JD Oxford
Royaume-Uni
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.