English
Related papers

Related papers: Super-Logarithmic Lower Bounds for Dynamic Graph P…

200 papers

We give the first almost-linear time algorithm for computing the \emph{maximal $k$-edge-connected subgraphs} of an undirected unweighted graph for any constant $k$. More specifically, given an $n$-vertex $m$-edge graph $G=(V,E)$ and a…

Data Structures and Algorithms · Computer Science 2023-07-04 Thatchaphol Saranurak , Wuwei Yuan

We spot a hole in the area of succinct data structures for graph classes from a universe of size at most $n^n$. Very often, the input graph is labeled by the user in an arbitrary and easy-to-use way, and the data structure for the graph…

Data Structures and Algorithms · Computer Science 2023-11-07 Sankardeep Chakraborty , Christian Engels , Seungbum Jo , Mingmou Liu

We study fundamental directed graph (digraph) problems in the streaming model. An initial investigation by Chakrabarti, Ghosh, McGregor, and Vorotnikova [SODA'20] on streaming digraphs showed that while most of these problems are provably…

Data Structures and Algorithms · Computer Science 2024-05-10 Prantar Ghosh , Sahil Kuchlous

We give new polynomial lower bounds for a number of dynamic measure problems in computational geometry. These lower bounds hold in the Word-RAM model, conditioned on the hardness of either 3SUM, APSP, or the Online Matrix-Vector…

Computational Geometry · Computer Science 2022-07-05 Justin Dallant , John Iacono

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-29 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Joonatan Saarhelo

Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounded treewidth, or in other words, MSO is fixed-parameter…

Logic in Computer Science · Computer Science 2015-03-13 Stephan Kreutzer , Siamak Tazari

Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries…

Logic in Computer Science · Computer Science 2015-12-18 Pablo Muñoz , Nils Vortmeier , Thomas Zeume

Low Diameter Decompositions (LDDs) are invaluable tools in the design of combinatorial graph algorithms. While historically they have been applied mainly to undirected graphs, in the recent breakthrough for the negative-length Single Source…

Data Structures and Algorithms · Computer Science 2025-02-11 Karl Bringmann , Nick Fischer , Bernhard Haeupler , Rustam Latypov

In the study of deterministic distributed algorithms it is commonly assumed that each node has a unique $O(\log n)$-bit identifier. We prove that for a general class of graph problems, local algorithms (constant-time distributed algorithms)…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-24 Mika Göös , Juho Hirvonen , Jukka Suomela

We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a…

Combinatorics · Mathematics 2021-10-13 Jie Ma , Tianchi Yang

We study the Temporal Exploration problem, where an agent must visit all vertices of a temporal graph while traversing at most one available edge per time step. Unlike static graphs, which can be explored in linear time, temporal…

Data Structures and Algorithms · Computer Science 2026-05-18 Ivan Lahtin , Viktor Zamaraev

We prove $n^{1+\Omega(1/p)}/p^{O(1)}$ lower bounds for the space complexity of $p$-pass streaming algorithms solving the following problems on $n$-vertex graphs: * testing if an undirected graph has a perfect matching (this implies lower…

Computational Complexity · Computer Science 2016-02-10 Venkatesan Guruswami , Krzysztof Onak

Dynamically maintaining the minimum cut in a graph $G$ under edge insertions and deletions is a fundamental problem in dynamic graph algorithms for which no conditional lower bound on the time per operation exists. In an $n$-node graph the…

Data Structures and Algorithms · Computer Science 2025-01-07 Antoine El-Hayek , Monika Henzinger , Jason Li

We develop a new technique for constructing sparse graphs that allow us to prove near-linear lower bounds on the round complexity of computing distances in the CONGEST model. Specifically, we show an $\widetilde{\Omega}(n)$ lower bound for…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-05-18 Amir Abboud , Keren Censor-Hillel , Seri Khoury

We investigate the limits of one of the fundamental ideas in data structures: fractional cascading. This is an important data structure technique to speed up repeated searches for the same key in multiple lists and it has numerous…

Data Structures and Algorithms · Computer Science 2020-11-05 Peyman Afshani

In this paper we consider the problem of reconstructing a hidden weighted hypergraph of constant rank using additive queries. We prove the following: Let $G$ be a weighted hidden hypergraph of constant rank with n vertices and $m$…

Machine Learning · Computer Science 2010-01-05 Nader H. Bshouty , Hanna Mazzawi

We study the problem of finding the cycle of minimum cost-to-time ratio in a directed graph with $ n $ nodes and $ m $ edges. This problem has a long history in combinatorial optimization and has recently seen interesting applications in…

Data Structures and Algorithms · Computer Science 2018-03-02 Karl Bringmann , Thomas Dueholm Hansen , Sebastian Krinninger

A code is called a $q$-query locally decodable code (LDC) if there is a randomized decoding algorithm that, given an index $i$ and a received word $w$ close to an encoding of a message $x$, outputs $x_i$ by querying only at most $q$…

Computational Complexity · Computer Science 2019-12-03 Arnab Bhattacharyya , L. Sunil Chandran , Suprovat Ghoshal

{\em Algorithms with predictions} incorporate machine learning predictions into algorithm design. A plethora of recent works incorporated predictions to improve on worst-case optimal bounds for online problems. In this paper, we initiate…

Data Structures and Algorithms · Computer Science 2023-09-12 Monika Henzinger , Barna Saha , Martin P. Seybold , Christopher Ye

We consider several well-studied problems in dynamic algorithms and prove that sufficient progress on any of them would imply a breakthrough on one of five major open problems in the theory of algorithms: 1. Is the 3SUM problem on $n$…

Data Structures and Algorithms · Computer Science 2014-02-04 Amir Abboud , Virginia Vassilevska Williams