English
Related papers

Related papers: Space-Efficient Algorithms for Reachability in Geo…

200 papers

A disk graph is an intersection graph of disks in $\mathbb{R}^2$. Determining the computational complexity of finding a maximum clique in a disk graph is a long-standing open problem. In 1990, Clark, Colbourn, and Johnson gave a…

Computational Geometry · Computer Science 2024-07-17 J. Mark Keil , Debajyoti Mondal

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…

Discrete Mathematics · Computer Science 2025-05-23 Jessica Enright , Laura Larios-Jones , Kitty Meeks , William Pettersson

A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available. In this paper, we study how changes of the time labels, corresponding to delays…

Data Structures and Algorithms · Computer Science 2020-11-13 Argyrios Deligkas , Igor Potapov

Reachability in hypergraphs is essential for modeling complex groupwise interactions in real-world applications such as co-authorship, social network, and biological analysis, where relationships go beyond pairwise interactions. In this…

Databases · Computer Science 2025-12-30 Peiting Xie , Xiangjun Zai , Yanping Wu , Xiaoyang Wang , Wenjie Zhang , Lu Qin

A temporal graph is a graph in which vertices communicate with each other at specific time, e.g., $A$ calls $B$ at 11 a.m. and talks for 7 minutes, which is modeled by an edge from $A$ to $B$ with starting time "11 a.m." and duration "7…

Databases · Computer Science 2016-01-26 Huanhuan Wu , Yuzhen Huang , James Cheng , Jinfeng Li , Yiping Ke

In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…

Combinatorics · Mathematics 2017-05-23 Bálint Hujter , Viktor Kiss , Lilla Tóthmérész

Graph theoretical problems based on shortest paths are at the core of research due to their theoretical importance and applicability. This paper deals with the geodetic number which is a global measure for simple connected graphs and it…

Data Structures and Algorithms · Computer Science 2020-11-24 Ahmad T. Anaqreh , Boglarka G. -Toth , Tamas Vinko

In graph theory, the longest path problem is the problem of finding a simple path of maximum length in a given graph. For some small classes of graphs, the problem can be solved in polynomial time [2, 4], but it remains NP-hard on general…

Data Structures and Algorithms · Computer Science 2014-09-15 Lajos L. Pongrácz

We study the reverse shortest path problem on disk graphs in the plane. In this problem we consider the proximity graph of a set of $n$ disks in the plane of arbitrary radii: In this graph two disks are connected if the distance between…

Computational Geometry · Computer Science 2023-07-28 Haim Kaplan , Matthew J. Katz , Rachel Saban , Micha Sharir

Consider the problem of maintaining source sink reachability($st$-Reachability), single source reachability(SSR) and strongly connected component(SCC) in an edge decremental directed graph. In particular, we design a randomized algorithm…

Data Structures and Algorithms · Computer Science 2015-05-19 Manoj Gupta

The efficient and fair distribution of indivisible resources among agents is a common problem in the field of \emph{Multi-Agent-Systems}. We consider a graph-based version of this problem called Reachable Assignments, introduced by Gourves,…

Multiagent Systems · Computer Science 2020-05-06 Luis Müller , Matthias Bentert

In this paper we focus on the following constrained reachability problem over edge-labeled graphs like RDF -- "given source node x, destination node y, and a sequence of edge labels (a, b, c, d), is there a path between the two nodes such…

Databases · Computer Science 2012-03-14 Medha Atre , Vineet Chaoji , Mohammed J. Zaki

A disk graph is an intersection graph of disks in the Euclidean plane, where the disks correspond to the vertices of the graph and a pair of vertices are adjacent if and only if their corresponding disks intersect. The problem of…

Computational Geometry · Computer Science 2023-03-15 Jared Espenant , J. Mark Keil , Debajyoti Mondal

A temporal graph $\mathcal{G}=(G,\lambda)$ can be represented by an underlying graph $G=(V,E)$ together with a function $\lambda$ that assigns to each edge $e\in E$ the set of time steps during which $e$ is present. The reachability graph…

Computational Complexity · Computer Science 2025-03-21 Thomas Erlebach , Othon Michail , Nils Morawietz

In this paper we present an efficient reachability oracle under single-edge or single-vertex failures for planar directed graphs. Specifically, we show that a planar digraph $G$ can be preprocessed in $O(n\log^2{n}/\log\log{n})$ time,…

Data Structures and Algorithms · Computer Science 2021-01-08 Giuseppe F. Italiano , Adam Karczmarz , Nikos Parotsidis

As one of the fundamental graph operations, reachability queries processing has been extensively studied during the past decades. Many approaches followed the line of designing 2-hop labels to make acceleration. Considering that the index…

Databases · Computer Science 2022-03-08 Junfeng Zhou , Xian Tang , Ming Du

A reachability oracle (or hop labeling) assigns each vertex v two sets of vertices: Lout(v) and Lin(v), such that u reaches v iff Lout(u) \cap Lin(v) \neq \emptyset. Despite their simplicity and elegance, reachability oracles have failed to…

Databases · Computer Science 2013-07-02 Ruoming Jin , Guan Wang

We initiate a systematic study of approximation schemes for fundamental optimization problems on disk graphs, a common generalization of both planar graphs and unit-disk graphs. Our main contribution is a general framework for designing…

Computational Geometry · Computer Science 2022-11-08 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

In this paper we present the first deterministic polynomial time algorithm for determining the existence of a Hamiltonian cycle and finding a Hamiltonian cycle in general graphs. Our algorithm can also solve the Hamiltonian path problem in…

Data Structures and Algorithms · Computer Science 2022-07-12 Aimin Hou

Accessibility, defined as travel impedance between spatially dispersed opportunities for activity, is one of the main determinants of public transport use. In-depth understanding of its properties is crucial for optimal public transport…

Physics and Society · Physics 2026-03-24 Tina Šfiligoj , Aljoša Peperko , Oded Cats