Periodic Reporting for period 3 - DisDyn (Distributed and Dynamic Graph Algorithms and Complexity)
Reporting period: 2020-02-01 to 2021-03-31
* Communication rounds: The number of rounds needed for machines to communicate to process graph data distributively stored across machines. This is a central subject of study in the area of distributed algorithms.
* Update time: The time needed for a single machine to process updates (e.g. insertions and deletions of nodes and edges) in order to maintain some knowledge about the graph. This is the main subject in the area of dynamic algorithms.
The general goal of this project is to advance our understanding of these aspects of distributed and dynamic algorithms. The plan is to develop a systematic, unified, approach to study these algorithms by focusing on solving a few selected problems that are known to be hard against both distributed and dynamic algorithms.
* The PI has given survey talks to fellow computer scientists and students at many research institutions and events. These talks covered some dynamic algorithms and complexity studied in this project. Below are selected talks.
-- Course: The PI has lectured at 19th Max Planck Advanced Course on the Foundations of Computer Science in Saarbrücken, Germany.
-- Survey: The PI gave a survey talk at Highlights of Algorithms 2018 in Amsterdam, the Netherlands.
Other talks include conference talks at flagship conferences (e.g. FOCS/STOC 2017-present) and invited-only workshops (e.g. Shonan meeting (Japan), Dagstuhl workshops (Germany), and Bertinoro workshops (Italy))
* Beyond the proposal's expectation, the project has also led to more efficient algorithms in various settings. This include faster algorithms for vertex connectivity, a deterministic linear programming solver, a deterministic max-flow algorithm, and connectivity algorithms with efficient query complexity.
* Many of the above results made the first progress in decades (five decades in some case).