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

PTCC

Financiado

Cerrado

Phase transitions and computational complexity

This is a project in the area of Theoretical Computer Science, particularly discrete algorithms and computational complexity. Many Constraint Satisfaction Problems (`CSPs') such as Boolean satisfiability or graph coloring are we... ver más

30/09/2016

GUF

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

JOHANN WOLFGANG GOETHEUNIVERSITAET FRANKFURT... 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.

Ver 2 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2016-09-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.

2 Participantes

GUF

0.00€ | Lider

UNIVERSITY OF WARWICK

N.D. | Participante

Proyectos interesantes

Complexity of CSPs

Software

Data Science

160K€ Cerrado

PCPABF

Software

Data Science

2M€ Cerrado

AUTAR

Software

Telecommunicati...

2M€ Cerrado

InfCSP

Software

Data Science

195K€ Cerrado

MCT

Software

Data Science

213K€ Cerrado

TIN2010-20967-C04-01

Software

Data Science

37K€ Cerrado

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

Líder del proyecto

JOHANN WOLFGANG GOETHEUNIVERSITAET FRANKFURT... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

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

Descripción del proyecto This is a project in the area of Theoretical Computer Science, particularly discrete algorithms and computational complexity. Many Constraint Satisfaction Problems (`CSPs') such as Boolean satisfiability or graph coloring are well-known to be NP-hard, i.e., the worst-case computation time to solve these problems is exponential in the size of the problem instance. To illuminate the conceptual origins of the computational hardness of these problems, a major research effort over the past 30 years has been the study of Random instances of CSPs. Over the past decade, motivated by problems in statistical mechanics, physicists have developed stunningly detailed hypotheses on the structural and conceptual nature of random CSPs, based on ingenious but highly non-rigorous techniques. These hypotheses have led to a new class of Message Passing Algorithms, as well as to evidence that certain natural types of random CSPs may be computationally intractable. The goal of this project is to study these ideas rigorously and comprehensively from the perspective of the theory of computing.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores