English
Related papers

Related papers: A Space-space Trade-off for Directed st-Connectivi…

200 papers

An $s$-workspace algorithm is an algorithm that has read-only access to the values of the input, write-only access to the output, and only uses $O(s)$ additional words of space. We present a randomized $s$-workspace algorithm for…

Computational Geometry · Computer Science 2017-05-02 Boris Aronov , Matias Korman , Simon Pratt , André van Renssen , Marcel Roeloffzen

In this note, we present a simple algorithm for computing a \emph{$k$-connectivity certificate} in dynamic graph streams. Our algorithm uses $O(n \log^2 n \cdot \max\{k, \log n \log k\})$ bits of space which improves upon the $O(kn \log^3…

Data Structures and Algorithms · Computer Science 2025-10-21 Pachara Sawettamalya , Huacheng Yu

Given a set of pairwise disjoint polygonal obstacles in the plane, finding an obstacle-avoiding Euclidean shortest path between two points is a classical problem in computational geometry and has been studied extensively. Previously,…

Computational Geometry · Computer Science 2021-02-26 Haitao Wang

We study integrality gaps and approximability of two closely related problems on directed graphs. Given a set V of n nodes in an underlying asymmetric metric and two specified nodes s and t, both problems ask to find an s-t path visiting…

Data Structures and Algorithms · Computer Science 2010-06-03 Zachary Friggstad , Mohammad R. Salavatipour , Zoya Svitkina

In a seminal work, Buhrman et al. (STOC 2014) defined the class $CSPACE(s,c)$ of problems solvable in space $s$ with an additional catalytic tape of size $c$, which is a tape whose initial content must be restored at the end of the…

Computational Complexity · Computer Science 2025-04-25 Yaroslav Alekseev , Yuval Filmus , Ian Mertz , Alexander Smal , Antoine Vinciguerra

A language is said to be in catalytic logspace if we can test membership using a deterministic logspace machine that has an additional read/write tape filled with arbitrary data whose contents have to be restored to their original value at…

Computational Complexity · Computer Science 2026-02-09 V. Arvind , Srijan Chakraborty , Samir Datta

Savitch showed in $1970$ that nondeterministic logspace (NL) is contained in deterministic $\mathcal{O}(\log^2 n)$ space but his algorithm requires quasipolynomial time. The question whether we can have a deterministic algorithm for every…

Computational Complexity · Computer Science 2016-06-16 Vivek Anand T Kallampally , Raghunath Tewari

Let $S$ be a planar $n$-point set. A triangulation for $S$ is a maximal plane straight-line graph with vertex set $S$. The Voronoi diagram for $S$ is the subdivision of the plane into cells such that all points in a cell have the same…

Computational Geometry · Computer Science 2020-10-05 Matias Korman , Wolfgang Mulzer , Andre van Renssen , Marcel Roeloffzen , Paul Seiferth , Yannik Stein

In this paper we study the problem of computing the geodesic center of a simple polygon when the available workspace is limited. For an $n$-vertex simple polygon, we give a time-space trade-off algorithm that finds the geodesic center in…

Computational Geometry · Computer Science 2019-08-30 Pardis Kavand , Ali Mohades , Mohammad Reza Kazemi

Given a conjunctive query and a database instance, we aim to develop an index that can efficiently answer spatial queries on the results of a conjunctive query. We are interested in some commonly used spatial queries, such as range…

Databases · Computer Science 2025-09-15 Aryan Esmailpour , Xiao Hu , Stavros Sintos

We give a deterministic $O(m\log^{2/3}n)$-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the first result to break the $O(m+n\log n)$…

Data Structures and Algorithms · Computer Science 2025-07-31 Ran Duan , Jiayi Mao , Xiao Mao , Xinkai Shu , Longhui Yin

In this paper, we show new strongly polynomial work-depth tradeoffs for computing single-source shortest paths (SSSP) in non-negatively weighted directed graphs in parallel. Most importantly, we prove that directed SSSP can be solved within…

Data Structures and Algorithms · Computer Science 2025-10-23 Adam Karczmarz , Wojciech Nadara , Marek Sokołowski

Given $n$ wireless transceivers located in a plane, a fundamental problem in wireless communications is to construct a strongly connected digraph on them such that the constituent links can be scheduled in fewest possible time slots,…

Data Structures and Algorithms · Computer Science 2012-03-15 Magnus M. Halldorsson , Pradipta Mitra

We introduce space-efficient plane-sweep algorithms for basic planar geometric problems. It is assumed that the input is in a read-only array of $n$ items and that the available workspace is $\Theta(s)$ bits, where $\lg n \leq s \leq n…

Data Structures and Algorithms · Computer Science 2016-04-25 Amr Elmasry , Frank Kammer

We study the 2-Disjoint Shortest Paths (2-DSP) problem: given a directed weighted graph and two terminal pairs $(s_1,t_1)$ and $(s_2,t_2)$, decide whether there exist vertex-disjoint shortest paths between each pair. Building on recent…

Data Structures and Algorithms · Computer Science 2025-10-09 Keerti Choudhary , Amit Kumar , Lakshay Saggi

We give O(log^2 n)-approximation algorithm based on the cut-matching framework of [10, 13, 14] for computing the sparsest cut on directed graphs. Our algorithm uses only O(log^2 n) single commodity max-flow computations and thus breaks the…

Data Structures and Algorithms · Computer Science 2015-03-17 Anand Louis

We devise a data structure that can answer shortest path queries for two query points in a polygonal domain $P$ on $n$ vertices. For any $\varepsilon > 0$, the space complexity of the data structure is $O(n^{10+\varepsilon })$ and queries…

Computational Geometry · Computer Science 2024-02-22 Sarita de Berg , Tillmann Miltzow , Frank Staals

This paper presents a new deterministic algorithm for single-source shortest paths (SSSP) on real non-negative edge-weighted directed graphs, with running time $O(m\sqrt{\log n}+\sqrt{mn\log n\log \log n})$, which is $O(m\sqrt{\log n\log…

Data Structures and Algorithms · Computer Science 2026-02-11 Ran Duan , Xiao Mao , Xinkai Shu , Longhui Yin

We present a data structure that we call a Dynamic Representative Set. In its most basic form, it is given two parameters $0< k < n$ and allows us to maintain a representation of a family $\mathcal{F}$ of subsets of $\{1,\ldots,n\}$. It…

Data Structures and Algorithms · Computer Science 2025-12-10 Jesper Nederlof

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