Cel
"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."
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
FP7-PEOPLE-2009-IEF
Zobacz inne projekty w ramach tego zaproszenia
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
F-75205 / 13 Paris
Francja
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.