English
Related papers

Related papers: Reachability Preservers: New Extremal Bounds and A…

200 papers

Recent years have seen extensive research on directed graph sparsification. In this work, we initiate the study of fast fully dynamic spectral and cut sparsification algorithms for directed graphs. We introduce a new notion of spectral…

Data Structures and Algorithms · Computer Science 2025-07-29 Yibin Zhao

We consider the problem of estimating the graph size, where one is given only local access to the graph. We formally define a query model in which one starts with a \emph{seed} node and is allowed to make queries about neighbours of nodes…

Data Structures and Algorithms · Computer Science 2017-02-15 Varun Kanade , Frederik Mallmann-Trenn , Victor Verdugo

In the $0$-Extension problem, we are given an edge-weighted graph $G=(V,E,c)$, a set $T\subseteq V$ of its vertices called terminals, and a semi-metric $D$ over $T$, and the goal is to find an assignment $f$ of each non-terminal vertex to a…

Data Structures and Algorithms · Computer Science 2024-01-19 Yu Chen , Zihan Tan

Reachability questions are one of the most fundamental algorithmic primitives in temporal graphs -- graphs whose edge set changes over discrete time steps. A core problem here is the NP-hard Short Restless Temporal Path: given a temporal…

Data Structures and Algorithms · Computer Science 2022-03-31 Philipp Zschoche

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

Graph sketching is a powerful paradigm for analyzing graph structure via linear measurements introduced by Ahn, Guha, and McGregor (SODA'12) that has since found numerous applications in streaming, distributed computing, and massively…

Data Structures and Algorithms · Computer Science 2022-09-30 Sepehr Assadi , Michael Kapralov , Huacheng Yu

It is $\mathsf{NP}$-hard to determine the minimum number of branching vertices needed in a single-source distance-preserving subgraph of an undirected graph. We show that this problem can be solved in polynomial time if the input graph is…

Data Structures and Algorithms · Computer Science 2018-10-30 Kshitij Gajjar , Jaikumar Radhakrishnan

We consider connectivity problems with orientation constraints. Given a directed graph $D$ and a collection of ordered node pairs $P$ let $P[D]=\{(u,v) \in P: D {contains a} uv{-path}}$. In the {\sf Steiner Forest Orientation} problem we…

Data Structures and Algorithms · Computer Science 2012-07-19 Marek Cygan , Guy Kortsarz , Zeev Nutov

The Planar Graph Metric Compression Problem is to compactly encode the distances among $k$ nodes in a planar graph of size $n$. Two na\"ive solutions are to store the graph using $O(n)$ bits, or to explicitly store the distance matrix with…

Data Structures and Algorithms · Computer Science 2017-03-16 Amir Abboud , Pawel Gawrychowski , Shay Mozes , Oren Weimann

We present approximation algorithms for several network design problems in the model of Flexible Graph Connectivity (Adjiashvili, Hommelsheim and M\"uhlenthaler, "Flexible Graph Connectivity", Math. Program. pp. 1-33 (2021), and IPCO 2020:…

Data Structures and Algorithms · Computer Science 2022-03-01 Sylvia Boyd , Joseph Cheriyan , Arash Haddadan , Sharat Ibrahimpur

We study resistance sparsification of graphs, in which the goal is to find a sparse subgraph (with reweighted edges) that approximately preserves the effective resistances between every pair of nodes. We show that every dense regular…

Data Structures and Algorithms · Computer Science 2015-06-26 Michael Dinitz , Robert Krauthgamer , Tal Wagner

A classic 1993 paper by Alth\H{o}fer et al. proved a tight reduction from spanners, emulators, and distance oracles to the extremal function $\gamma$ of high-girth graphs. This paper initiated a large body of work in network design, in…

Data Structures and Algorithms · Computer Science 2023-08-16 Greg Bodwin , Gary Hoppenworth , Ohad Trabelsi

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 consider Directed Steiner Forest (DSF), a fundamental problem in network design. The input to DSF is a directed edge-weighted graph $G = (V, E)$ and a collection of vertex pairs $\{(s_i, t_i)\}_{i \in [k]}$. The goal is to find a minimum…

Data Structures and Algorithms · Computer Science 2024-10-24 Chandra Chekuri , Rhea Jain

A \emph{sparsification} of a given graph $G$ is a sparser graph (typically a subgraph) which aims to approximate or preserve some property of $G$. Examples of sparsifications include but are not limited to spanning trees, Steiner trees,…

Data Structures and Algorithms · Computer Science 2023-01-31 Reyan Ahmed , Keaton Hamm , Stephen Kobourov , Mohammad Javad Latifi Jebelli , Faryad Darabi Sahneh , Richard Spence

In the Directed Steiner Network problem, the input is a directed graph G, a subset T of k vertices of G called the terminals, and a demand graph D on T. The task is to find a subgraph H of G with the minimum number of edges such that for…

Data Structures and Algorithms · Computer Science 2022-08-15 Esther Galby , Sandor Kisfaludi-Bak , Daniel Marx , Roohani Sharma

We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph $G=(V,E)$ is the minimal number of hyperarcs of the form $u,v\rightarrow w$…

Discrete Mathematics · Computer Science 2015-04-30 Robert H. Sloan , Despina Stasi , Gyorgy Turan

Analyzing massive data sets has been one of the key motivations for studying streaming algorithms. In recent years, there has been significant progress in analysing distributions in a streaming setting, but the progress on graph problems…

Data Structures and Algorithms · Computer Science 2009-05-05 Kook Jin Ahn , Sudipto Guha

We present a nearly-linear time algorithm that produces high-quality sparsifiers of weighted graphs. Given as input a weighted graph $G=(V,E,w)$ and a parameter $\epsilon>0$, we produce a weighted subgraph $H=(V,\tilde{E},\tilde{w})$ of $G$…

Data Structures and Algorithms · Computer Science 2009-11-18 Daniel A. Spielman , Nikhil Srivastava

A distance labeling scheme is an assignment of bit-labels to the vertices of an undirected, unweighted graph such that the distance between any pair of vertices can be decoded solely from their labels. An important class of distance…

Data Structures and Algorithms · Computer Science 2019-06-25 Adrian Kosowski , Przemysław Uznański , Laurent Viennot