Objetivo
"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."
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
FP7-PEOPLE-2009-IEF
Consulte otros proyectos de esta convocatoria
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
F-75205 / 13 Paris
Francia
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.