DynOpt | Towards a New Theory of Optimal Dynamic Graph Algorithms

Summary
Dynamic graph algorithms are of increasing critical importance. They are crucial for coping with dynamic networks, which model the ever-changing physical world, and have been instrumental in achieving numerous major breakthroughs in static graph algorithms.
The holy grail in the field of dynamic graph algorithms has been to design algorithms with poly-logarithmic (in the input size) update time. However, recent exciting developments, in which the PI has played a central role, aim to push the update time toward an absolute constant
independent of the input size – which is qualitatively very different than a poly-log bound.
This goal is of fundamental importance not just from a theoretical perspective, but also from a practical viewpoint, due to the rapidly growing size of modern networks.
An algorithm is intrinsically optimal if its update time matches the ratio of the problem’s static time complexity to the input size. The main question underlying this research is:
Which graph problems admit intrinsically optimal update time?
Only few intrinsically optimal graph algorithms are known. The unique goal of this project is to establish a systematic study of intrinsically optimal algorithms. We will also study provably optimal algorithms, aiming to advance our understanding of the thin line that separates these two distinct optimality notions. To achieve this goal, we must go far beyond the current state-of-the-art, and in particular, confront some of the most central problems in the field. Meeting the project’s main goal, even partially, will be groundbreaking. Results of this project will facilitate the use of dynamic algorithms in real-world application domains, and will also be illuminating to other fields, such as distributed computing and fine-grained complexity.
Consequently, we believe this research has the potential of revolutionizing the field of dynamic graph algorithms, and impacting related fields, thus enriching the general landscape of computer science.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/101043159
Start date: 01-10-2022
End date: 30-09-2027
Total budget - Public funding: 1 400 000,00 Euro - 1 400 000,00 Euro
Cordis data

Original description

Dynamic graph algorithms are of increasing critical importance. They are crucial for coping with dynamic networks, which model the ever-changing physical world, and have been instrumental in achieving numerous major breakthroughs in static graph algorithms.
The holy grail in the field of dynamic graph algorithms has been to design algorithms with poly-logarithmic (in the input size) update time. However, recent exciting developments, in which the PI has played a central role, aim to push the update time toward an absolute constant
independent of the input size – which is qualitatively very different than a poly-log bound.
This goal is of fundamental importance not just from a theoretical perspective, but also from a practical viewpoint, due to the rapidly growing size of modern networks.
An algorithm is intrinsically optimal if its update time matches the ratio of the problem’s static time complexity to the input size. The main question underlying this research is:
Which graph problems admit intrinsically optimal update time?
Only few intrinsically optimal graph algorithms are known. The unique goal of this project is to establish a systematic study of intrinsically optimal algorithms. We will also study provably optimal algorithms, aiming to advance our understanding of the thin line that separates these two distinct optimality notions. To achieve this goal, we must go far beyond the current state-of-the-art, and in particular, confront some of the most central problems in the field. Meeting the project’s main goal, even partially, will be groundbreaking. Results of this project will facilitate the use of dynamic algorithms in real-world application domains, and will also be illuminating to other fields, such as distributed computing and fine-grained complexity.
Consequently, we believe this research has the potential of revolutionizing the field of dynamic graph algorithms, and impacting related fields, thus enriching the general landscape of computer science.

Status

SIGNED

Call topic

ERC-2021-STG

Update Date

09-02-2023
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon Europe
HORIZON.1 Excellent Science
HORIZON.1.1 European Research Council (ERC)
HORIZON.1.1.0 Cross-cutting call topics
ERC-2021-STG ERC STARTING GRANTS
HORIZON.1.1.1 Frontier science
ERC-2021-STG ERC STARTING GRANTS