Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

RIMACO

Financiado

Cerrado

Rigorous Mathematical Connections between the Theory of Computations and Statist...

Rigorous Mathematical Connections between the Theory of Computations and Statistical Physics The proposed research aims to enhance the study of randomness in computation by using ideas of statistical physics. In particular, it aims to place the connection between computation and statistical physics --- the subject of wide... ver más

30/06/2014

COMPUTER TECHNOLOG...

750K€

Presupuesto del proyecto: 750K€

Líder del proyecto

INSTITOUTO TECHNOLOGIAS YPOLOGISTON KAI EKDOS... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2014-06-30 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

COMPUTER TECHNOLOGY INSTITUT...

0.00€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

STRONGPCP Strong Probabilistically Checkable Proofs 2M€ Cerrado

RanDM Randomness and pseudorandomness in discrete mathematics 1M€ Cerrado

COUNTGRAPH Enumeration of discrete structures algebraic analytic pro... 100K€ Cerrado

CoCoSym Symmetry in Computational Complexity 1M€ Cerrado

ExtComb Extremal Combinatorics existence counting and typical stru... 2M€ Cerrado

PAECIDM Pseudorandomness and explicit constructions in discrete math... 152K€ Cerrado

Líder del proyecto

INSTITOUTO TECHNOLOGIAS YPOLOGISTON KAI EKDOS... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 750K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto The proposed research aims to enhance the study of randomness in computation by using ideas of statistical physics. In particular, it aims to place the connection between computation and statistical physics --- the subject of wide heuristic discussion for more than three decades --- on rigorous mathematical ground. Its main methodological vehicle is the study of random Constraint Satisfaction Problems (CSPs). CSPs are the common abstraction of numerous real-life problems and occur in areas ranging from aerospace design to biochemistry. Their ubiquity makes the design of efficient algorithms for CSPs extremely important. At the foundation of this endeavor lies the question of why certain CSP instances are exceptionally hard while other, seemingly similar, instances are easy. Probability distributions over instances allow us to study this phenomenon in a principled way, with each CSP distribution controlled by its ratio of constrains to variables (known as constraint density). By now, it has been established that random CSPs have solutions at densities much beyond the reach of any known efficient algorithm. Understanding the origin of this gap and designing algorithms that overcome it is the main focus of the proposed research. Ideas from statistical physics will play an important role here. Specifically, in recent years, physicists have proposed a heuristic but deep theory for the evolution of the solution-space geometry of random CSPs according to which algorithmic barriers correspond to phase transitions in this evolution. Examining the validity of the physics theory is a major research undertaking that must develop and reconcile notions shared by computation and statistical physics, e.g., the role of long-range correlations. A rigorous mathematical theory of such notions will enable a much more energetic exchange of ideas between the two fields, and has the potential to bring substantial fresh ideas to the study of efficient computation.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores