Project description
Dynamic linear programming for faster algorithms
Linear programs (LPs) are a cornerstone of algorithm design, optimising linear functions under constraints to solve complex problems. Meanwhile, dynamic algorithms tackle rapidly changing data, maintaining efficient solutions as inputs evolve. Yet how LP techniques can adapt to dynamic settings remains largely unexplored. With this in mind, the ERC-funded DYNALP project bridges this gap by developing a dynamic theory of linear programming. Using this framework, researchers aim to advance both dynamic and static algorithms for fundamental graph problems, while also informing broader computational models such as online and sublinear algorithms. DYNALP promises to expand the frontiers of algorithm design, enabling faster, more adaptable solutions for massive, evolving datasets.
Objective
"This proposal explores the interplay between two key concepts in theoretical computer science.
(I) ""Linear programs"" (LPs) have historically played a pivotal role in the development of the field of algorithm design. The simple abstraction of an LP, which optimizes a linear function subject to a set of linear constraints, is powerful enough to encode a wide variety of combinatorial optimization problems. Accordingly, LP-based techniques are so ubiquitous today that any textbook on algorithms would be incomplete without a serious discussion on how to use them.
(II) ""Dynamic algorithms"" have emerged as a popular model of computation in the 21st century, motivated by applications involving massive and rapidly evolving data-sets; such as social networks and google maps. Here, the goal is to maintain a good solution to an optimization problem when the underlying input changes over time. This research area has seen exciting advances in the last decade. In spite of this progress, however, we still have little understanding of how far, and extensively, can LP-based techniques be adapted to the world of dynamic algorithms.
The proposal will bridge this chasm, by developing a dynamic algorithms centric theory of linear programming. Further, it will show how to use this theory of dynamic LPs to push the frontier of fast static algorithms for fundamental graph problems.
Building a launchpad out of some recent successes obtained by the PI, the proposal will attack outstanding open questions in both static and dynamic algorithms literature. In addition, as a by-product of the versatility of its approach, it will have significant implications for algorithm design in other models of computation as well; such as online and sublinear algorithms."
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
HORIZON.1.1 - European Research Council (ERC)
MAIN PROGRAMME
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
HORIZON-ERC - HORIZON ERC Grants
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) ERC-2024-COG
See all projects funded under this callHost institution
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
CV4 8UW COVENTRY
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.