Descrizione del progetto
Affrontare gli interrogativi più complessi dell’informatica
Uno dei più grandi misteri dell’informatica è rappresentato dalla possibilità che problemi computazionali con soluzioni rapidamente verificabili possano anche essere risolti rapidamente, ovvero cosiddetta questione tra P e VP: sebbene la maggior parte degli esperti crede che ciò si verifichi, non sono state fornite tuttora prove a sostegno di ciò. Il progetto METACOMP, finanziato dal CER, si propone di studiare questa e altre questioni fondamentali utilizzando la «metacomplessità», la teoria della complessità dei problemi che a loro volta riguardano la complessità. Applicando questa teoria, i ricercatori mirano a stabilire nuovi limiti inferiori alle computazioni e alle prove, creando un ponte tra la complessità delle prove e la complessità computazionale. METACOMP svilupperà inoltre applicazioni di questa teoria alla crittografia, all’apprendimento e all’approssimazione, offrendo un approccio unificato ad alcune delle questioni più profonde dell’informatica teorica.
Obiettivo
"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."
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione sicurezza informatica crittografia
- scienze naturali informatica e scienze dell'informazione scienze computazionali
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMMA PRINCIPALE
Vedi tutti i progetti finanziati nell’ambito di questo programma
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
HORIZON-ERC - HORIZON ERC Grants
Vedi tutti i progetti finanziati nell’ambito di questo schema di finanziamento
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
(si apre in una nuova finestra) ERC-2024-ADG
Vedi tutti i progetti finanziati nell’ambito del bandoIstituzione ospitante
Contributo finanziario netto dell’UE. La somma di denaro che il partecipante riceve, decurtata dal contributo dell’UE alla terza parte collegata. Tiene conto della distribuzione del contributo finanziario dell’UE tra i beneficiari diretti del progetto e altri tipi di partecipanti, come i partecipanti terzi.
OX1 2JD Oxford
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.