European Commission logo
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS
Contenuto archiviato il 2024-06-11

A structural complexity approach to propositional proof systems

Obiettivo



The purpose of the project is to give a new approach, based on structural complexity techniques, to solve problems arising in field of complexity of proofs in propositional proof systems. In particular we intend to: -improve the proofs of existing lower bounds for known proof systems using new complexity techniques (like Kolmogorov Complexity);
-apply results about relationship between complexity classes to compare different proof systems;
-establish the exact correspondence between proof system complexity and circuit complexity;
-prove new lower bounds applying both new combinatorial techniques from Kolmogorov complexity and probabilistic arguments.
We intend to develop the project during the four years PhD degree requires.

Invito a presentare proposte

Data not available

Coordinatore

UNIVERSITAT POLITECNICA DE CATALUNYA
Contributo UE
Nessun dato
Indirizzo
5,Pau Gargallo 5
08028 BARCELONA
Spagna

Mostra sulla mappa

Costo totale
Nessun dato

Partecipanti (1)