Obiettivo
"Computational Complexity classifies computational problems according to difficulty. Although a rich map of time complexity classes has already been developed (P, EXP, EEXP, ...; NP, Delta2P, Sigma2P, Pi2P, ... PH, AP; ZPP, RP, BPP, PP; IP; BQP; etc.), many fundamental questions about them remain wide open. The most famous one is P vs NP. In 1978, Sakoda and Sipser proposed a ""miniature version"" of P vs NP, whose answer could yield insight into P vs NP itself. They asked whether nondeterminism is essential for two-way finite automata (2FA) and size---as opposed to Turing machines (TM) and time. The question is called 2D vs 2N, where 2D and 2N are 2FA-size analogs of P and NP. The objective of this project is to extend the Sakoda-Sipser miniaturization beyond P vs NP and study the 2FA-size analogs of all major time complexity classes. Specifically: 1. To define the 2FA of each mode (deterministic, alternating, probabilistic, interactive, quantum), in a way that convincingly models general 2FA computations and retains connections to TM complexity. To produce a map of robust 2FA-size complexity classes. 2. To update this map with all inclusions/separations from known results of 2FA-size complexity and all straightforward inclusions/separations from ideas of TM complexity. 3. To enrich this map with new types of reductions, new complete problems, new high-level advances, and new inclusions/separations proved by novel algorithmic/lower bound methods. A new field of research will be born, at the intersection of Computational Complexity and Automata Theory. The fellowship will allow the applicant to pursue this research program at a prestigious laboratory, interacting with experts from both Computational Complexity and Automata Theory. It will critically enhance his scientific and professional capacity, diversify expertise at the host laboratory, and significantly increase the attractiveness of the European Research Area."
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.
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.
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.
FP7-PEOPLE-2009-IEF
Vedi altri progetti per questo bando
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.
Coordinatore
F-75205 / 13 Paris
Francia
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.