English
Related papers

Related papers: Sensitive Distance and Reachability Oracles for La…

200 papers

Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous…

Systems and Control · Computer Science 2022-05-03 Sergiy Bogomolov , Marcelo Forets , Goran Frehse , Kostiantyn Potomkin , Christian Schilling

We show how to preprocess a weighted undirected $n$-vertex planar graph in $\tilde O(n^{4/3})$ time, such that the distance between any pair of vertices can then be reported in $\tilde O(1)$ time. This improves the previous $\tilde…

Data Structures and Algorithms · Computer Science 2025-03-25 Itai Boneh , Shay Golan , Shay Mozes , Daniel Prigan , Oren Weimann

Given access to the vertex set $V$ of a connected graph $G=(V,E)$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$? Firstly, we show…

Data Structures and Algorithms · Computer Science 2024-10-17 Paul Bastide , Carla Groenland

This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a robot can be prohibitively conservative due to the inherent…

Robotics · Computer Science 2022-03-31 Amr Alanwar , Frank J. Jiang , Maryam Sharifi , Dimos V. Dimarogonas , Karl H. Johansson

The replacement paths problem for directed graphs is to find for given nodes s and t and every edge e on the shortest path between them, the shortest path between s and t which avoids e. For unweighted directed graphs on n vertices, the…

Data Structures and Algorithms · Computer Science 2010-07-15 Virginia Vassilevska Williams

The Fr\'echet distance is a commonly used distance measure for curves. Computing the Fr\'echet distance between two polygonal curves of $n$ vertices takes roughly quadratic time, and conditional lower bounds suggest that approximating to…

Computational Geometry · Computer Science 2025-05-09 Thijs van der Horst , Marc van Kreveld , Tim Ophelders , Bettina Speckmann

In the restricted shortest paths problem, we are given a graph $G$ whose edges are assigned two non-negative weights: lengths and delays, a source $s$, and a delay threshold $D$. The goal is to find, for each target $t$, the length of the…

Data Structures and Algorithms · Computer Science 2024-10-23 Vikrant Ashvinkumar , Aaron Bernstein , Adam Karczmarz

The problem of graph Reachability is to decide whether there is a path from one vertex to another in a given graph. In this paper, we study the Reachability problem on three distinct graph families - intersection graphs of Jordan regions,…

Computational Complexity · Computer Science 2021-07-06 Sujoy Bhore , Rahul Jain

A distributed network is modeled by a graph having $n$ nodes (processors) and diameter $D$. We study the time complexity of approximating {\em weighted} (undirected) shortest paths on distributed networks with a $O(\log n)$ {\em bandwidth…

Data Structures and Algorithms · Computer Science 2014-05-23 Danupon Nanongkai

The edit distance of two strings is the minimum number of insertions, deletions, and substitutions needed to transform one string into the other. The textbook algorithm determines the edit distance of length-$n$ strings in $O(n^2)$ time,…

Data Structures and Algorithms · Computer Science 2025-02-04 Egor Gorbachev , Tomasz Kociumaka

With the advent of reliable positioning technologies and prevalence of location-based services, it is now feasible to accurately study the propagation of items such as infectious viruses, sensitive information pieces, and malwares through a…

Databases · Computer Science 2012-05-31 Houtan Shirani-Mehr , Farnoush Banaei Kashani , Cyrus Shahabi

Finding the shortest path distance between an arbitrary pair of vertices is a fundamental problem in graph theory. A tremendous amount of research has been successfully attempted on this problem, most of which is limited to static graphs.…

Data Structures and Algorithms · Computer Science 2021-02-18 Muhammad Farhan , Qing Wang

Depth first search (DFS) tree is one of the most well-known data structures for designing efficient graph algorithms. Given an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges, the textbook algorithm takes $O(n+m)$ time to…

Data Structures and Algorithms · Computer Science 2018-02-21 Lijie Chen , Ran Duan , Ruosong Wang , Hanrui Zhang , Tianyi Zhang

Hitting times provide a fundamental measure of distance in random processes, quantifying the expected number of steps for a random walk starting at node $u$ to reach node $v$. They have broad applications across domains such as network…

Data Structures and Algorithms · Computer Science 2025-11-07 Themistoklis Haris , Fabian Spaeh , Spyros Dragazis , Charalampos Tsourakakis

We study graph connectivity problem in MPC model. On an undirected graph with $n$ nodes and $m$ edges, $O(\log n)$ round connectivity algorithms have been known for over 35 years. However, no algorithms with better complexity bounds were…

Data Structures and Algorithms · Computer Science 2018-05-09 Alexandr Andoni , Clifford Stein , Zhao Song , Zhengyu Wang , Peilin Zhong

Sorting has a natural generalization where the input consists of: (1) a ground set $X$ of size $n$, (2) a partial oracle $O_P$ specifying some fixed partial order $P$ on $X$ and (3) a linear oracle $O_L$ specifying a linear order $L$ that…

Data Structures and Algorithms · Computer Science 2024-08-01 Ivor van der Hoog , Daniel Rutschmann

For an undirected unweighted graph G = (V, E) with n vertices and m edges, let d(u, v) denote the distance from u in V to v in V in G. An (alpha, beta)-stretch approximate distance oracle (ADO) for G is a data structure that, given u, v in…

Data Structures and Algorithms · Computer Science 2024-10-02 Tsvi Kopelowitz , Ariel Korin , Liam Roditty

A long series of recent results and breakthroughs have led to faster and better distributed approximation algorithms for single source shortest paths (SSSP) and related problems in the CONGEST model. The runtime of all these algorithms,…

Data Structures and Algorithms · Computer Science 2018-08-09 Bernhard Haeupler , Jason Li

The directed graph reachability problem takes as input an $n$-vertex directed graph $G=(V,E)$, and two distinguished vertices $s$ and $t$. The problem is to determine whether there exists a path from $s$ to $t$ in $G$. This is a canonical…

Data Structures and Algorithms · Computer Science 2019-09-23 Ryo Ashida , Kotaro Nakagawa

This paper considers fully dynamic graph algorithms with both faster worst case update time and sublinear space. The fully dynamic graph connectivity problem is the following: given a graph on a fixed set of n nodes, process an online…

Data Structures and Algorithms · Computer Science 2015-09-23 David Gibb , Bruce Kapron , Valerie King , Nolan Thorn