Rechercher des projets européens

Mapping the Complexity of Counting (MCC)
Date du début: 1 mars 2014, Date de fin: 28 févr. 2019 PROJET  TERMINÉ 

"Just as advances in engineering rely on a deep foundational knowledge of physics, so too advances in algorithms and programming rely on a deep knowledge of the intrinsic nature of computation. Significant progress has been made, particularly in the field of computational complexity, which aims to discover which computational problems are feasible, which are inherently infeasible, and why. However, huge theoretical challenges remain: many problem classes are poorly understood, including those containing problems arising in practical applications. The MCC project will enable significant computational advances in a host of application areas through the development of a comprehensive theory of counting problems. These problems, which involve the computation of weighted sums, are common and important, arising in practical applications from diverse fields including statistics, statistical physics, information theory, coding, and machine learning. Thus, it is of fundamental importance to understand their complexity. We propose a coherent and systematic study of the complexity of counting problems. A sequence of exciting recent developments, pioneered by the PI and others, makes it plausible that we now have the tools needed to make substantial progress. The overall objectives of MCC are (1) Map out the landscape of computational counting problems (exact and approximate), determining which problems are tractable, and which are intractable (quantifying the extent of tractability), and (2) Develop complexity characterisations elucidating the features that make counting problems tractable or intractable, not only discovering which problems are tractable, but also discovering a characterisation telling us why. The project encompasses a large range of wide-open problems. However, the strength of the PI, the scale of the project, the timeliness of the project (given recent results), and the novel methods proposed make it certain that the research will produce breakthroughs."