中文
相关论文

相关论文: Reachability Preservers: New Extremal Bounds and A…

200 篇论文

In the pairwise weighted spanner problem, the input consists of an $n$-vertex-directed graph, where each edge is assigned a cost and a length. Given $k$ vertex pairs and a distance constraint for each pair, the goal is to find a…

数据结构与算法 · 计算机科学 2023-07-10 Elena Grigorescu , Nithish Kumar , Young-San Lin

In this paper we provide a parallel algorithm that given any $n$-node $m$-edge directed graph and source vertex $s$ computes all vertices reachable from $s$ with $\tilde{O}(m)$ work and $n^{1/2 + o(1)}$ depth with high probability in $n$ .…

数据结构与算法 · 计算机科学 2019-12-09 Arun Jambulapati , Yang P. Liu , Aaron Sidford

Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary…

计算机科学中的逻辑 · 计算机科学 2020-10-16 Michael Blondin , Christoph Haase , Philip Offtermatt

In this paper, we consider two fundamental cut approximation problems on large graphs. We prove new lower bounds for both problems that are optimal up to logarithmic factors. The first problem is to approximate cuts in balanced directed…

数据结构与算法 · 计算机科学 2024-06-21 Yu Cheng , Max Li , Honghao Lin , Zi-Yi Tai , David P. Woodruff , Jason Zhang

Succinct representations of a graph have been objects of central study in computer science for decades. In this paper, we study the operation called \emph{Distance Preserving Graph Contractions}, which was introduced by Bernstein et al.…

计算复杂性 · 计算机科学 2019-12-03 Siddhartha Jain

We consider the Shallow-Light Steiner Network problem from a fixed-parameter perspective. Given a graph $G$, a distance bound $L$, and $p$ pairs of vertices $(s_1,t_1),\cdots,(s_p,t_p)$, the objective is to find a minimum-cost subgraph $G'$…

数据结构与算法 · 计算机科学 2018-03-01 Amy Babay , Michael Dinitz , Zeyu Zhang

In this thesis, we present new techniques to deal with fundamental algorithmic graph problems where graphs are directed and partially dynamic, i.e. undergo either a sequence of edge insertions or deletions: - Single-Source Reachability…

数据结构与算法 · 计算机科学 2020-11-30 Maximilian Probst Gutenberg

Given a graph $G$ and two vertices $s$ and $t$ in it, {\em graph reachability} is the problem of checking whether there exists a path from $s$ to $t$ in $G$. We show that reachability in directed layered planar graphs can be decided in…

数据结构与算法 · 计算机科学 2015-01-26 Diptarka Chakraborty , Raghunath Tewari

We consider problems of the following type: given a graph $G$, how many edges are needed in the worst case for a sparse subgraph $H$ that approximately preserves distances between a given set of node pairs $P$? Examples include pairwise…

数据结构与算法 · 计算机科学 2021-05-10 Greg Bodwin

Let $G$ be a connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity and remoteness of $G$ are defined as the minimum and maximum,…

组合数学 · 数学 2025-08-15 Peter Dankelmann , Sonwabile Mafunda , Sufiyan Mallu

Graph spanners are sparse subgraphs which approximately preserve all pairwise shortest-path distances in an input graph. The notion of approximation can be additive, multiplicative, or both, and many variants of this problem have been…

数据结构与算法 · 计算机科学 2019-11-19 Manuel Fernandez , David P. Woodruff , Taisuke Yasuda

There has been significant recent interest in graph-based nearest neighbor search methods, many of which are centered on the construction of navigable graphs over high-dimensional point sets. A graph is navigable if we can successfully move…

数据结构与算法 · 计算机科学 2025-03-18 Haya Diwan , Jinrui Gou , Cameron Musco , Christopher Musco , Torsten Suel

A $k$-fault-tolerant connectivity preserver of a directed $n$-vertex graph $G$ is a subgraph $H$ such that, for any edge set $F \subseteq E(G)$ of size $|F| \le k$, the strongly connected components of $G - F$ and $H - F$ are the same.…

数据结构与算法 · 计算机科学 2025-10-06 Gary Hoppenworth , Thatchaphol Saranurak , Benyu Wang

For a given graph $G$, a "hopset" $H$ with hopbound $\beta$ and stretch $\alpha$ is a set of edges such that between every pair of vertices $u$ and $v$, there is a path with at most $\beta$ hops in $G \cup H$ that approximates the distance…

数据结构与算法 · 计算机科学 2025-05-08 Michael Dinitz , Ama Koranteng , Yasamin Nazari

We aim to find orientations of mixed graphs optimizing the total reachability, a problem that has applications in causality and biology. For given a digraph $D$, we use $P(D)$ for the set of ordered pairs of distinct vertices in $V(D)$ and…

计算复杂性 · 计算机科学 2025-09-24 Florian Hörsch

We present parallel algorithms for computing single-source reachability and shortest paths on directed $n$-vertex $m$-edge graphs using near-linear $\tilde{O}(m)$ work and $o(\sqrt{n})$ depth whenever $m\ge n^{1+o(1)}$. At the extreme of…

数据结构与算法 · 计算机科学 2026-05-06 Vikrant Ashvinkumar , Aaron Bernstein , Maximilian Probst Gutenberg , Thatchaphol Saranurak

Some of the most fundamental and well-studied graph parameters are the Diameter (the largest shortest paths distance) and Radius (the smallest distance for which a "center" node can reach all other nodes). The natural and important…

数据结构与算法 · 计算机科学 2019-04-29 Mina Dalirrooyfard , Virginia Vassilevska Williams , Nikhil Vyas , Nicole Wein

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,…

计算复杂性 · 计算机科学 2021-07-06 Sujoy Bhore , Rahul Jain

Cuts in graphs are a fundamental object of study, and play a central role in the study of graph algorithms. The problem of sparsifying a graph while approximately preserving its cut structure has been extensively studied and has many…

数据结构与算法 · 计算机科学 2020-09-11 Yu Chen , Sanjeev Khanna , Ansh Nagda

One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum $k$-Edge-Connected Spanning Subgraph problem as well as nonuniform demands such…

数据结构与算法 · 计算机科学 2023-10-04 Michael Dinitz , Ama Koranteng , Guy Kortsarz , Zeev Nutov