Innovating Works

PowAlgDO

Financiado
Power of Algorithms in Discrete Optimisation
Convex relaxations, such as linear and semidefinite programming, constitute one of the most powerful techniques for designing efficient algorithms, and have been studied in theoretical computer science, operational research, and a... Convex relaxations, such as linear and semidefinite programming, constitute one of the most powerful techniques for designing efficient algorithms, and have been studied in theoretical computer science, operational research, and applied mathematics. We seek to establish the power convex relaxations through the lens of, and with the extensions of methods designed for, Constraint Satisfaction Problems (CSPs). Our goal is twofold. First, to provide precise characterisations of the applicability of convex relaxations such as which problems can be solved by linear programming relaxations. Secondly, to derive computational complexity consequences such as for which classes of problems the considered algorithms are optimal in that they solve optimally everything that can be solved in polynomial time. For optimisation problems, we aim to characterise the limits of linear and semidefinite programming relaxations for exact, approximate, and robust solvability. For decision problems, we aim to characterise the limits of local consistency methods, one of the fundamental techniques in artificial intelligence, which strongly relates to linear programming relaxations. Recent years have seen some remarkable progress on characterising the power of algorithms for a very important type of problems known as non-uniform constraint satisfaction problems and their optimisation variants. The ultimate goal of this project is to develop new techniques and establish novel results on the limits of convex relaxations and local consistency methods in a general setting going beyond the realm of non-uniform CSPs. ver más
30/06/2022
1M€
Duración del proyecto: 67 meses Fecha Inicio: 2016-11-11
Fecha Fin: 2022-06-30

Línea de financiación: concedida

El organismo H2020 notifico la concesión del proyecto el día 2022-06-30
Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:
ERC-2016-STG: ERC Starting Grant
Cerrada hace 9 años
Presupuesto El presupuesto total del proyecto asciende a 1M€
Líder del proyecto
THE CHANCELLOR MASTERS AND SCHOLARS OF THE UN... No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico TRL 4-5