中文
相关论文

相关论文: Planar Reachability Under Single Vertex or Edge Fa…

200 篇论文

Graph reachability is the task of understanding whether two distinct points in a graph are interconnected by arcs to which in general a semantic is attached. Reachability has plenty of applications, ranging from motion planning to routing.…

人工智能 · 计算机科学 2025-03-26 Davide Di Pierro , Stephan Mennicke , Stefano Ferilli

Given an undirected graph $G$, the problem of deciding whether $G$ admits a simple and proper time-labeling that makes it temporally connected is known to be NP-hard (G\"obel et al., 1991). In this article, we relax this problem and ask…

数据结构与算法 · 计算机科学 2026-05-06 Arnaud Casteigts , Michelle Döring , Nils Morawietz

We consider the problem of building Distance Sensitivity Oracles (DSOs). Given a directed graph $G=(V, E)$ with edge weights in $\{1, 2, \dots, M\}$, we need to preprocess it into a data structure, and answer the following queries: given…

数据结构与算法 · 计算机科学 2021-09-03 Hanlin Ren

We consider the problem of preprocessing two strings $S$ and $T$, of lengths $m$ and $n$, respectively, in order to be able to efficiently answer the following queries: Given positions $i,j$ in $S$ and positions $a,b$ in $T$, return the…

数据结构与算法 · 计算机科学 2021-03-08 Panagiotis Charalampopoulos , Paweł Gawrychowski , Shay Mozes , Oren Weimann

Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived from data are unlikely…

离散数学 · 计算机科学 2025-05-23 Jessica Enright , Laura Larios-Jones , Kitty Meeks , William Pettersson

In 2015, it was shown that reachability for arbitrary directed graphs can be updated by first-order formulas after inserting or deleting single edges. Later, in 2018, this was extended for changes of size $\frac{\log n}{\log \log n}$, where…

计算机科学中的逻辑 · 计算机科学 2020-04-28 Samir Datta , Pankaj Kumar , Anish Mukherjee , Anuj Tawari , Nils Vortmeier , Thomas Zeume

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

Consider a pair of plane straight-line graphs, whose edges are colored red and blue, respectively, and let n be the total complexity of both graphs. We present a O(n log n)-time O(n)-space technique to preprocess such pair of graphs, that…

计算几何 · 计算机科学 2017-05-09 John Iacono , Elena Khramtcova , Stefan Langerman

Given a hypergraph $H$, the Planar Support problem asks whether there is a planar graph $G$ on the same vertex set as $H$ such that each hyperedge induces a connected subgraph of $G$. Planar Support is motivated by applications in graph…

离散数学 · 计算机科学 2015-07-10 René van Bevern , Iyad Kanj , Christian Komusiewicz , Rolf Niedermeier , Manuel Sorge

We present practical linear and almost linear-time algorithms to compute a chain decomposition of a directed acyclic graph (DAG), $G=(V,E)$. The number of vertex-disjoint chains computed is very close to the minimum. The time complexity of…

数据结构与算法 · 计算机科学 2022-12-09 Giorgos Kritikakis , Ioannis G. Tollis

We present an $O(n^{1.5})$-space distance oracle for directed planar graphs that answers distance queries in $O(\log n)$ time. Our oracle both significantly simplifies and significantly improves the recent oracle of Cohen-Addad, Dahlgaard…

数据结构与算法 · 计算机科学 2017-08-07 Paweł Gawrychowski , Shay Mozes , Oren Weimann , Christian Wulff-Nilsen

Let $P \subset \mathbb{R}^2$ be a planar $n$-point set such that each point $p \in P$ has an associated radius $r_p > 0$. The transmission graph $G$ for $P$ is the directed graph with vertex set $P$ such that for any $p, q \in P$, there is…

计算几何 · 计算机科学 2020-10-05 Haim Kaplan , Wolfgang Mulzer , Liam Roditty , Paul Seiferth

We study reachability and shortest paths problems in dynamic directed graphs. Whereas algebraic dynamic data structures supporting edge updates and reachability/distance queries have been known for quite a long time, they do not, in…

数据结构与算法 · 计算机科学 2022-04-01 Adam Karczmarz , Anish Mukherjee , Piotr Sankowski

We introduce the inverse Voronoi diagram problem in graphs: given a graph $G$ with positive edge-lengths and a collection $\mathbb{U}$ of subsets of vertices of $V(G)$, decide whether $\mathbb{U}$ is a Voronoi diagram in $G$ with respect to…

数据结构与算法 · 计算机科学 2020-10-06 Édouard Bonnet , Sergio Cabello , Bojan Mohar , Hebert Pérez-Rosés

For an undirected $n$-vertex planar graph $G$ with non-negative edge-weights, we consider the following type of query: given two vertices $s$ and $t$ in $G$, what is the weight of a min $st$-cut in $G$? We show how to answer such queries in…

离散数学 · 计算机科学 2013-10-10 Glencora Borradaile , Piotr Sankowski , Christian Wulff-Nilsen

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and…

计算机科学中的逻辑 · 计算机科学 2018-04-25 Samir Datta , Anish Mukherjee , Nils Vortmeier , Thomas Zeume

In the Directed Steiner Network problem we are given an arc-weighted digraph $G$, a set of terminals $T \subseteq V(G)$, and an (unweighted) directed request graph $R$ with $V(R)=T$. Our task is to output a subgraph $G' \subseteq G$ of the…

离散数学 · 计算机科学 2018-02-23 Eduard Eiben , Dušan Knop , Fahad Panolan , Ondřej Suchý

Given an $n$-vertex planar directed graph with real edge lengths and with no negative cycles, we show how to compute single-source shortest path distances in the graph in $O(n\log^2n/\log\log n)$ time with O(n) space. This is an improvement…

离散数学 · 计算机科学 2009-11-30 Shay Mozes , Christian Wulff-Nilsen

We introduce an improved structure of distance sensitivity oracle (DSO). The task is to pre-process a non-negatively weighted graph so that a data structure can quickly answer replacement path length for every triple of source, terminal and…

数据结构与算法 · 计算机科学 2016-05-17 Ran Duan , Tianyi Zhang

In this paper we study the computational complexity of the Upward Planarity Extension problem, which takes in input an upward planar drawing $\Gamma_H$ of a subgraph $H$ of a directed graph $G$ and asks whether $\Gamma_H$ can be extended to…

数据结构与算法 · 计算机科学 2019-02-19 Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati