• Skip to content (access key 1)
  • Skip to search (access key 7)
FWF — Austrian Science Fund
  • Go to overview page Discover

    • Research Radar
      • Research Radar Archives 1974–1994
    • Discoveries
      • Emmanuelle Charpentier
      • Adrian Constantin
      • Monika Henzinger
      • Ferenc Krausz
      • Wolfgang Lutz
      • Walter Pohl
      • Christa Schleper
      • Elly Tanaka
      • Anton Zeilinger
    • Impact Stories
      • Verena Gassner
      • Wolfgang Lechner
      • Birgit Mitter
      • Oliver Spadiut
      • Georg Winter
    • scilog Magazine
    • Austrian Science Awards
      • FWF Wittgenstein Awards
      • FWF ASTRA Awards
      • FWF START Awards
      • Award Ceremony
    • excellent=austria
      • Clusters of Excellence
      • Emerging Fields
    • In the Spotlight
      • 40 Years of Erwin Schrödinger Fellowships
      • Quantum Austria
    • Dialogs and Talks
      • think.beyond Summit
    • Knowledge Transfer Events
    • E-Book Library
  • Go to overview page Funding

    • Portfolio
      • excellent=austria
        • Clusters of Excellence
        • Emerging Fields
      • Projects
        • Principal Investigator Projects
        • Principal Investigator Projects International
        • Clinical Research
        • 1000 Ideas
        • Arts-Based Research
        • FWF Wittgenstein Award
      • Careers
        • ESPRIT
        • FWF ASTRA Awards
        • Erwin Schrödinger
        • doc.funds
        • doc.funds.connect
      • Collaborations
        • Specialized Research Groups
        • Special Research Areas
        • Research Groups
        • International – Multilateral Initiatives
        • #ConnectingMinds
      • Communication
        • Top Citizen Science
        • Science Communication
        • Book Publications
        • Digital Publications
        • Open-Access Block Grant
      • Subject-Specific Funding
        • AI Mission Austria
        • Belmont Forum
        • ERA-NET HERA
        • ERA-NET NORFACE
        • ERA-NET QuantERA
        • Alternative Methods to Animal Testing
        • European Partnership BE READY
        • European Partnership Biodiversa+
        • European Partnership BrainHealth
        • European Partnership ERA4Health
        • European Partnership ERDERA
        • European Partnership EUPAHW
        • European Partnership FutureFoodS
        • European Partnership OHAMR
        • European Partnership PerMed
        • European Partnership Water4All
        • Gottfried and Vera Weiss Award
        • LUKE – Ukraine
        • netidee SCIENCE
        • Herzfelder Foundation Projects
        • Quantum Austria
        • Rückenwind Funding Bonus
        • WE&ME Award
        • Zero Emissions Award
      • International Collaborations
        • Belgium/Flanders
        • Germany
        • France
        • Italy/South Tyrol
        • Japan
        • Korea
        • Luxembourg
        • Poland
        • Switzerland
        • Slovenia
        • Taiwan
        • Tyrol-South Tyrol-Trentino
        • Czech Republic
        • Hungary
    • Step by Step
      • Find Funding
      • Submitting Your Application
      • International Peer Review
      • Funding Decisions
      • Carrying out Your Project
      • Closing Your Project
      • Further Information
        • Integrity and Ethics
        • Inclusion
        • Applying from Abroad
        • Personnel Costs
        • PROFI
        • Final Project Reports
        • Final Project Report Survey
    • FAQ
      • Project Phase PROFI
      • Project Phase Ad Personam
      • Expiring Programs
        • Elise Richter and Elise Richter PEEK
        • FWF START Awards
  • Go to overview page About Us

    • Mission Statement
    • FWF Video
    • Values
    • Facts and Figures
    • Annual Report
    • What We Do
      • Research Funding
        • Matching Funds Initiative
      • International Collaborations
      • Studies and Publications
      • Equal Opportunities and Diversity
        • Objectives and Principles
        • Measures
        • Creating Awareness of Bias in the Review Process
        • Terms and Definitions
        • Your Career in Cutting-Edge Research
      • Open Science
        • Open-Access Policy
          • Open-Access Policy for Peer-Reviewed Publications
          • Open-Access Policy for Peer-Reviewed Book Publications
          • Open-Access Policy for Research Data
        • Research Data Management
        • Citizen Science
        • Open Science Infrastructures
        • Open Science Funding
      • Evaluations and Quality Assurance
      • Academic Integrity
      • Science Communication
      • Philanthropy
      • Sustainability
    • History
    • Legal Basis
    • Organization
      • Executive Bodies
        • Executive Board
        • Supervisory Board
        • Assembly of Delegates
        • Scientific Board
        • Juries
      • FWF Office
    • Jobs at FWF
  • Go to overview page News

    • News
    • Press
      • Logos
    • Calendar
      • Post an Event
      • FWF Informational Events
    • Job Openings
      • Enter Job Opening
    • Newsletter
  • Discovering
    what
    matters.

    FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

    SOCIAL MEDIA

    • LinkedIn, external URL, opens in a new window
    • , external URL, opens in a new window
    • Facebook, external URL, opens in a new window
    • Instagram, external URL, opens in a new window
    • YouTube, external URL, opens in a new window

    SCILOG

    • Scilog — The science magazine of the Austrian Science Fund (FWF)
  • elane login, external URL, opens in a new window
  • Scilog external URL, opens in a new window
  • de Wechsle zu Deutsch

  

Fast Algorithms for a Reactive Network Layer

Fast Algorithms for a Reactive Network Layer

Monika Henzinger (ORCID: 0000-0002-5008-6530)
  • Grant DOI 10.55776/P33775
  • Funding program Principal Investigator Projects
  • Status ended
  • Start October 1, 2020
  • End March 31, 2025
  • Funding amount € 395,900

Disciplines

Electrical Engineering, Electronics, Information Engineering (40%); Computer Sciences (60%)

Keywords

    Network algorithms, Communication protocols, Optimization, Dynamic algorithms, Distributed algorithms

Abstract Final report

The traffic in the Internet and inside datacenters is growing explosively, also because of the new datacentric applications related to entertainment, business, health, etc. As communication networks are often an expensive infrastructure, making best use of them is important. Over the last decades, Internet Service Providers (ISPs) such as Telekom Austria and companies such as Google, have made great efforts to improve the routing and hence utilization of their part of the network. In communication networks such as the Internet, information is sent in form of packets which are shipped from the origin to the destination via various routers. To achieve this, routers rely on a set of protocols which are part of the so-called network layer. The goal of this project is to improve the decisions made at these routers to lead to faster delivery of the packets as well as less congestion of network links. Currently, some crucial decisions at these routers are set by humans, so-called network operators. However, configuring routers manually is cumbersome and error-prone, and many network outages today are due to human errors. Furthermore, a manual operation of computer networks only allows for slow adjustments. This project will develop and test algorithms to (1) help the network operations make better decisions by allowing them to simulate various decisions and, more ambitiously to (2) design programs that can automatically make the decisions at the routers. In particular, unlike the few existing software tools supporting human operators today, which rely on re-computations from scratch, we are interested in fast dynamic algorithms which enable faster reactions to both planned and unplanned changes in the network. To do so we model the network as a graph, consisting of vertices that represent the routers and edges between pairs of vertices that represent a communication link between the corresponding routers. A routing from vertex A to vertex B corresponds to a path from A to B in this network. Usually each link has a value that is set manually by a network operator, to control how many routing paths use a given link. One of the goals of this project is to develop a tool which computes very quickly how a link value change will affect all existing routing paths, much faster than the existing tools. . In addition to making the computation of efficient routes faster, we in this project also explore mechanisms to ensure a smooth transition when changing from old routes to new routes: today, such changes can temporarily lead to loops, performance drops and packet losses, or even short violations of the network policy. In our project, we aim to develop algorithms which provably avoid such problems, and hence further improve the dependability of computer networks. Furthermore, we will also explore the deployment our technology in collaboration with ISPs. This is important as communication networks have become a critical infrastructure of our digital society.

Since September 2020, this research project has focused on how networks-systems made up of many interconnected elements-can continue to function reliably even when their structure is constantly changing. This applies, for example, to social networks, large computer systems, or the Internet. Our team developed new methods to make such dynamic networks more efficient and powerful. A central topic was the spread of information. We investigated how long it takes for a message to reach all members of a network-even when contacts between participants occur randomly. We showed that information circulates much faster on average than in the worst-case scenario-namely after about n log(n) contacts (where n is the number of participants). We also looked at group decision-making: When many participants hold different opinions, how can the group agree on the majority opinion without everyone needing to keep track of all views? Our team developed simple rules for such processes that require little memory and computing power but reliably lead to the correct result. Particularly practical is the research on communication in data centers, large server facilities that run Internet services. These facilities use both fast and slower data connections. We developed methods that allow the use of the fast connections to be continuously and quickly adapted to current demand-without significant delays. Another important topic was updating networks. When connections in the network change-due to maintenance, outages, or restructuring-new data paths must be found. In work on the Consistent Network Update Problem, our team showed that allowing a short, targeted "oversubscription" of network links enables many updates to be implemented much faster. Instead of strictly following every step, slightly more data can be sent over a link than normally allowed for a short time. Overall, this project contributes to making modern networks faster, more robust, and more adaptable-better prepared to meet the challenges of an increasingly digital and constantly changing world.

Research institution(s)
  • Institute of Science and Technology Austria - ISTA - 35%
  • Universität Wien - 65%
Project participants
  • Monika Henzinger, Institute of Science and Technology Austria - ISTA , associated research partner

Research Output

  • 55 Citations
  • 43 Publications
  • 1 Policies
  • 3 Datasets & models
  • 5 Disseminations
  • 1 Scientific Awards
  • 3 Fundings
Publications
  • 2023
    Title A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems
    DOI 10.1007/s00453-023-01154-8
    Type Journal Article
    Author Henzinger M
    Journal Algorithmica
  • 2023
    Title Simple, Scalable and Effective Clustering via One-Dimensional Projections
    DOI 10.48550/arxiv.2310.16752
    Type Preprint
    Author Charikar M
    Link Publication
  • 2025
    Title Improved Differentially Private Continual Observation Using Group Algebra; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611978322.95
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2025
    Title Brief Announcement: Minimizing Energy Solves Relative Majority with a Cubic Number of States in Population Protocols
    DOI 10.1145/3732772.3733512
    Type Conference Proceeding Abstract
    Author Breitkopf T
    Pages 549-552
  • 2025
    Title An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model
    DOI 10.1145/3732772.3733505
    Type Conference Proceeding Abstract
    Author El-Hayek A
    Pages 532-540
  • 2025
    Title Efficient Algorithms for Problems in Clustering and Fairness
    Type PhD Thesis
    Author Maximilian Voetsch
  • 2025
    Title Fully Dynamic Approximate Minimum Cut in Subpolynomial Time per Operation; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611978322.22
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2024
    Title Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges
    DOI 10.4230/lipics.disc.2024.21
    Type Conference Proceeding Abstract
    Author El-Hayek A
    Conference LIPIcs, Volume 319, DISC 2024
    Pages 21:1 - 21:15
    Link Publication
  • 2024
    Title Fully Dynamic k-Means Coreset in Near-Optimal Update Time
    DOI 10.4230/lipics.esa.2024.100
    Type Conference Proceeding Abstract
    Author Henzinger M
    Conference LIPIcs, Volume 308, ESA 2024
    Pages 100:1 - 100:16
    Link Publication
  • 2024
    Title Multiplicative auction algorithm for approximate maximum weight bipartite matching
    DOI 10.1007/s10107-024-02066-3
    Type Journal Article
    Author Henzinger M
    Journal Mathematical Programming
  • 2020
    Title Redundancy in distributed proofs
    DOI 10.1007/s00446-020-00386-z
    Type Journal Article
    Author Feuilloley L
    Journal Distributed Computing
    Pages 113-132
    Link Publication
  • 2023
    Title Multiplicative Auction Algorithm forApproximate Maximum Weight Bipartite Matching; In: Integer Programming and Combinatorial Optimization - 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings
    DOI 10.1007/978-3-031-32726-1_32
    Type Book Chapter
    Publisher Springer International Publishing
  • 2022
    Title Brief Announcement: Broadcasting Time in Dynamic Rooted Trees is Linear
    DOI 10.1145/3519270.3538460
    Type Conference Proceeding Abstract
    Author El-Hayek A
    Pages 54-56
    Link Publication
  • 2024
    Title Making Old Things New: A Unified Algorithm for Differentially Private Clustering
    DOI 10.48550/arxiv.2406.11649
    Type Preprint
    Author Henzinger M
    Link Publication
  • 2024
    Title Counting Perfect Matchings In Dirac Hypergraphs
    DOI 10.48550/arxiv.2408.09589
    Type Preprint
    Author Kwan M
    Link Publication
  • 2024
    Title Expander Hierarchies for Normalized Cuts on Graphs
    DOI 10.1145/3637528.3671978
    Type Conference Proceeding Abstract
    Author Hanauer K
    Pages 1016-1027
  • 2024
    Title Data-Efficient Learning via Clustering-Based Sensitivity Sampling: Foundation Models and Beyond
    DOI 10.48550/arxiv.2402.17327
    Type Preprint
    Author Axiotis K
    Link Publication
  • 2024
    Title Continual Counting with Gradual Privacy Expiration
    DOI 10.48550/arxiv.2406.03802
    Type Preprint
    Author Andersson J
    Link Publication
  • 2024
    Title Private Counting of Distinct Elements in the Turnstile Model and Extensions
    DOI 10.4230/lipics.approx/random.2024.40
    Type Conference Proceeding Abstract
    Author Henzinger M
    Conference LIPIcs, Volume 317, APPROX/RANDOM 2024
    Pages 40:1 - 40:21
    Link Publication
  • 2021
    Title On the Complexity of Load Balancing in Dynamic Networks
    DOI 10.1145/3409964.3461808
    Type Conference Proceeding Abstract
    Author Gilbert S
    Pages 254-264
  • 2024
    Title On the Complexity of Algorithms with Predictions for Dynamic Graph Problems
    DOI 10.4230/lipics.itcs.2024.62
    Type Conference Proceeding Abstract
    Author Henzinger M
    Conference LIPIcs, Volume 287, ITCS 2024
    Pages 62:1 - 62:25
    Link Publication
  • 2024
    Title Electrical Flows for Polylogarithmic Competitive Oblivious Routing
    DOI 10.4230/lipics.itcs.2024.55
    Type Conference Proceeding Abstract
    Author Goranci G
    Conference LIPIcs, Volume 287, ITCS 2024
    Pages 55:1 - 55:22
    Link Publication
  • 2024
    Title Deterministic Near-Linear Time Minimum Cut in Weighted Graphs; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611977912.111
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2024
    Title Experimental Evaluation of Fully Dynamic k -Means via Coresets; In: 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)
    DOI 10.1137/1.9781611977929.17
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2024
    Title A Unifying Framework for Differentially Private Sums under Continual Observation; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611977912.38
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2024
    Title Dynamically Maintaining the Persistent Homology of Time Series; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611977912.11
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2024
    Title A centrality analysis of the Lightning Network
    DOI 10.1016/j.telpol.2023.102696
    Type Journal Article
    Author Förster K
    Journal Telecommunications Policy
  • 2023
    Title Faster Submodular Maximization for Several Classes of Matroids
    DOI 10.4230/lipics.icalp.2023.74
    Type Conference Proceeding Abstract
    Author Henzinger M
    Conference LIPIcs, Volume 261, ICALP 2023
    Pages 74:1 - 74:18
    Link Publication
  • 2023
    Title Efficient Data Structures for Incremental Exact and Approximate Maximum Flow
    DOI 10.4230/lipics.icalp.2023.69
    Type Conference Proceeding Abstract
    Author Goranci G
    Conference LIPIcs, Volume 261, ICALP 2023
    Pages 69:1 - 69:14
    Link Publication
  • 2022
    Title Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification; In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
    DOI 10.1007/978-3-031-22337-2_14
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2023
    Title Almost Tight Error Bounds on Differentially Private Continual Counting; In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611977554.ch183
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2023
    Title Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover
    DOI 10.1137/21m1428649
    Type Journal Article
    Author Bhattacharya S
    Journal SIAM Journal on Computing
  • 2021
    Title Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611976465.75
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2021
    Title Tight Bounds for Online Graph Partitioning; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611976465.166
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2021
    Title New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA)
    DOI 10.1137/1.9781611976465.110
    Type Book Chapter
    Publisher Society for Industrial and Applied Mathematics
  • 2022
    Title Constant-time Dynamic ( +1)-Coloring
    DOI 10.1145/3501403
    Type Journal Article
    Author Henzinger M
    Journal ACM Transactions on Algorithms
  • 2020
    Title Models of Smoothing in Dynamic Networks
    DOI 10.48550/arxiv.2009.13006
    Type Preprint
    Author Meir U
    Link Publication
  • 2020
    Title Distributed Quantum Proofs for Replicated Data
    DOI 10.48550/arxiv.2002.10018
    Type Other
    Author Fraigniaud P
    Link Publication
  • 2021
    Title On the Complexity of Weight-Dynamic Network Algorithms
    DOI 10.23919/ifipnetworking52078.2021.9472803
    Type Conference Proceeding Abstract
    Author Henzinger M
    Pages 1-9
    Link Publication
  • 2021
    Title Differentially Private Algorithms for Graphs Under Continual Observation
    DOI 10.48550/arxiv.2106.14756
    Type Preprint
    Author Fichtenberger H
  • 2021
    Title Upper and Lower Bounds for Fully Retroactive Graph Problems
    DOI 10.1007/978-3-030-83508-8_34
    Type Book Chapter
    Author Henzinger M
    Publisher Springer Nature
    Pages 471-484
  • 2020
    Title Chameleon
    DOI 10.1145/3386367.3432879
    Type Conference Proceeding Abstract
    Author Van Bemten A
    Pages 451-465
    Link Publication
  • 2022
    Title Recent Advances in Fully Dynamic Graph Algorithms – A Quick Reference Guide
    DOI 10.1145/3555806
    Type Journal Article
    Author Hanauer K
    Journal ACM Journal of Experimental Algorithmics
    Pages 1-45
Policies
  • 2020
    Title Member of Swiss Science Council
    Type Participation in a guidance/advisory committee
Datasets & models
  • 2015 Link
    Title Taxi dataset
    Type Database/Collection of data
    Public Access
    Link Link
  • 2006 Link
    Title Census dataset
    Type Database/Collection of data
    Public Access
    Link Link
  • 2024 Link
    Title Twitter dataset
    Type Database/Collection of data
    Public Access
    Link Link
Disseminations
  • 2023 Link
    Title Invited keynote at International Symposium on Experimental Algorithms
    Type A talk or presentation
    Link Link
  • 2023
    Title Invited talk at Tu Graz
    Type A talk or presentation
  • 2023 Link
    Title Workshop organization at the Simons Institute at UC Berkeley
    Type Participation in an activity, workshop or similar
    Link Link
  • 2025 Link
    Title TU Vienna Voices of Innovation: Women, Academia and the Age of AI - Panel Discussion
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title ORF Gespraech: Was die Welt zusammenhaelt
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
Scientific Awards
  • 2024
    Title Best paper award at the SIAM/ACM Symposium on Discrete Algorithms
    Type Poster/abstract prize
    Level of Recognition Continental/International
Fundings
  • 2023
    Title Static and Dynamic Hierarchical Graph Decompositions
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Austrian Science Fund (FWF)
  • 2022
    Title The design and evaluation of modern fully dynamic data structures
    Type Research grant (including intramural programme)
    Start of Funding 2022
    Funder Marie Curie
  • 2023
    Title Efficient algorithms
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Austrian Science Fund (FWF)

Discovering
what
matters.

Newsletter

FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

Contact

Austrian Science Fund (FWF)
Georg-Coch-Platz 2
(Entrance Wiesingerstraße 4)
1010 Vienna

office(at)fwf.ac.at
+43 1 505 67 40

General information

  • Job Openings
  • Jobs at FWF
  • Press
  • Philanthropy
  • scilog
  • FWF Office
  • Social Media Directory
  • LinkedIn, external URL, opens in a new window
  • , external URL, opens in a new window
  • Facebook, external URL, opens in a new window
  • Instagram, external URL, opens in a new window
  • YouTube, external URL, opens in a new window
  • Cookies
  • Whistleblowing/Complaints Management
  • Accessibility Statement
  • Data Protection
  • Acknowledgements
  • IFG-Form
  • Social Media Directory
  • © Österreichischer Wissenschaftsfonds FWF
© Österreichischer Wissenschaftsfonds FWF