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) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Temat(-y) FP7-PEOPLE-2009-IEF - Marie Curie Action: "Intra-European Fellowships for Career Development" Zaproszenie do składania wniosków FP7-PEOPLE-2009-IEF Zobacz inne projekty w ramach tego zaproszenia System finansowania MC-IEF - Intra-European Fellowships (IEF) Koordynator Université Paris Diderot-Paris 7 Wkład UE € 216 030,40 Adres Rue Thomas Mann F-75205 / 13 Paris Francja Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Anne Bonvalet (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych