English
Related papers

Related papers: On-The-Fly Static Analysis via Dynamic Bidirected …

200 papers

We consider the maintenance of maximal bicliques from a dynamic bipartite graph that changes over time due to the addition or deletion of edges. When the set of edges in a graph changes, we are interested in knowing the change in the set of…

Data Structures and Algorithms · Computer Science 2017-07-27 Apurba Das , Srikanta Tirthapura

We study the well-motivated problem of online distribution shift in which the data arrive in batches and the distribution of each batch can change arbitrarily over time. Since the shifts can be large or small, abrupt or gradual, the length…

Machine Learning · Computer Science 2025-04-11 Dheeraj Baby , Boran Han , Shuai Zhang , Cuixiong Hu , Yuyang Wang , Yu-Xiang Wang

In the setting of online algorithms, the input is initially not present but rather arrive one-by-one over time and after each input, the algorithm has to make a decision. Depending on the formulation of the problem, the algorithm might be…

Data Structures and Algorithms · Computer Science 2020-01-10 Mustafa Safa Ozdayi

Optimal transport is a fundamental topic that has attracted a great amount of attention from the optimization community in the past decades. In this paper, we consider an interesting discrete dynamic optimal transport problem: can we…

Data Structures and Algorithms · Computer Science 2024-01-30 Xiaoyang Xu , Hu Ding

Optimal path parameterization (OPP) is a fundamental problem for planning trajectories along a prescribed geometric path under kinodynamic constraints and task-dependent objectives. While TOPP minimizes traversal time, its saturating states…

Optimization and Control · Mathematics 2026-05-20 Yunan Wang , Jizhou Yan , Chuxiong Hu , Zeyang Li

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

In this paper we introduce a new network reachability problem where the goal is to find the most reliable path between two nodes in a network, represented as a directed acyclic graph. Individual edges within this network may fail according…

Data Structures and Algorithms · Computer Science 2012-06-26 Allen Chang , Eyal Amir

We present an algorithm for updating the Reeb graph under fully dynamic changes of the function values. The basic event is the interchange of two consecutive vertex values. The algorithm updates the Reeb graph in $O(l g{n})$ worst-case…

Computational Geometry · Computer Science 2015-07-20 Salman Parsa

We consider the problem of computing a maximal matching with a distributed algorithm in the presence of batch-dynamic changes to the graph topology. We assume that a graph of $n$ nodes is vertex-partitioned among $k$ players that…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-30 Minming Li , Peter Robinson , Xianbin Zhu

A demand-driven approach to program analysis have been viewed as efficient algorithms to compute only the information required to serve a target demand. In contrast, an exhaustive approach computes all information in anticipation of it…

Programming Languages · Computer Science 2018-02-06 Swati Jaiswal , Uday P. Khedker , Supratik Chakraborty

Emerging reconfigurable optical communication technologies allow to enhance datacenter topologies with demand-aware links optimized towards traffic patterns. This paper studies the algorithmic problem of jointly optimizing topology and…

Performance · Computer Science 2024-01-10 Wenkai Dai , Michael Dinitz , Klaus-Tycho Foerster , Long Luo , Stefan Schmid

Real-world networks are prone to breakdowns. Typically in the underlying graph $G$, besides the insertion or deletion of edges, the set of active vertices changes overtime. A vertex might work actively, or it might fail, and gets isolated…

Data Structures and Algorithms · Computer Science 2017-03-01 Ran Duan , Le Zhang

We present the first dynamic algorithms for Dyck and tree edit distances with subpolynomial update times. Dyck edit distance measures how far a parenthesis string is from a well-parenthesized expression, while tree edit distance quantifies…

Data Structures and Algorithms · Computer Science 2025-10-21 Debarati Das , Jacob Gilbert , MohammadTaghi Hajiaghayi , Tomasz Kociumaka , Barna Saha

In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection push the boundaries of what we can learn about programs statically. This work illuminates and poses solutions to theoretical and practical…

Programming Languages · Computer Science 2014-06-20 J. Ian Johnson , Ilya Sergey , Christopher Earl , Matthew Might , David Van Horn

We consider the problem of aggregating data in a dynamic graph, that is, aggregating the data that originates from all nodes in the graph to a specific node, the sink. We are interested in giving lower bounds for this problem, under…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-10 Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil

A (fully) dynamic graph algorithm is a data structure that supports edge insertions, edge deletions, and answers specific queries pertinent to the problem at hand. In this work, we address the fully dynamic edge orientation problem, also…

Data Structures and Algorithms · Computer Science 2024-07-18 Ernestine Großmann , Henrik Reinstädtler , Christian Schulz , Fabian Walliser

Many real-world applications operate on dynamic graphs that undergo rapid changes in their topological structure over time. However, it is challenging to design dynamic algorithms that are capable of supporting such graph changes…

Databases · Computer Science 2022-04-26 Muhammad Farhan , Qing Wang , Henning Koehler

We develop a dynamic version of the primal-dual method for optimization problems, and apply it to obtain the following results. (1) For the dynamic set-cover problem, we maintain an $O(f^2)$-approximately optimal solution in $O(f \cdot \log…

Data Structures and Algorithms · Computer Science 2016-04-20 Sayan Bhattacharya , Monika Henzinger , Giuseppe F. Italiano

Baswana, Gupta and Sen [FOCS'11] showed that fully dynamic maximal matching can be maintained in general graphs with logarithmic amortized update time. More specifically, starting from an empty graph on $n$ fixed vertices, they devised a…

Data Structures and Algorithms · Computer Science 2016-04-29 Shay Solomon

In this paper, we initiate the study of the dynamic maintenance of $2$-edge-connectivity relationships in directed graphs. We present an algorithm that can update the $2$-edge-connected blocks of a directed graph with $n$ vertices through a…

Data Structures and Algorithms · Computer Science 2016-07-26 Loukas Georgiadis , Giuseppe F. Italiano , Nikos Parotsidis