English
Related papers

Related papers: All-Pairs 2-Reachability in $\mathcal{O}(n^{\omega…

200 papers

For a given collection G of directed graphs we define the join-reachability graph of G, denoted by J(G), as the directed graph that, for any pair of vertices a and b, contains a path from a to b if and only if such a path exists in all…

Data Structures and Algorithms · Computer Science 2010-12-23 Loukas Georgiadis , Stavros D. Nikolopoulos , Leonidas Palios

Network reconstruction consists in determining the unobserved pairwise couplings between $N$ nodes given only observational data on the resulting behavior that is conditioned on those couplings -- typically a time-series or independent…

Data Structures and Algorithms · Computer Science 2024-05-08 Tiago P. Peixoto

We say that a vertex $v$ in a connected graph $G$ is decisive if the numbers of walks from $v$ of each length determine the graph $G$ rooted at $v$ up to isomorphism among all connected rooted graphs with the same number of vertices. On the…

Discrete Mathematics · Computer Science 2024-10-24 Frank Fuhlbrück , Johannes Köbler , Oleg Verbitsky , Maksim Zhukovskii

When solving the Hamiltonian path problem it seems natural to be given additional precedence constraints for the order in which the vertices are visited. For example one could decide whether a Hamiltonian path exists for a fixed starting…

Discrete Mathematics · Computer Science 2025-02-28 Jesse Beisegel , Fabienne Ratajczak , Robert Scheffler

Given a weighted $n$-vertex graph $G$ with integer edge-weights taken from a range $[-M,M]$, we show that the minimum-weight simple path visiting $k$ vertices can be found in time $\tilde{O}(2^k \poly(k) M n^\omega) = O^*(2^k M)$. If the…

Data Structures and Algorithms · Computer Science 2013-07-10 Avinatan Hassidim , Orgad Keller , Moshe Lewenstein , Liam Roditty

A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed…

Programming Languages · Computer Science 2019-10-02 Krishnendu Chatterjee , Bhavya Choudhary , Andreas Pavlogiannis

We examine the possibility of approximating Maximum Vertex-Disjoint Shortest Paths. In this problem, the input is an edge-weighted (directed or undirected) $n$-vertex graph $G$ along with $k$ terminal pairs…

Data Structures and Algorithms · Computer Science 2025-04-23 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach

We study the complexity of the problem DETECTION PAIR. A detection pair of a graph $G$ is a pair $(W,L)$ of sets of detectors with $W\subseteq V(G)$, the watchers, and $L\subseteq V(G)$, the listeners, such that for every pair $u,v$ of…

Data Structures and Algorithms · Computer Science 2018-01-31 Florent Foucaud , Ralf Klasing

In the field of topological data analysis, persistence modules are used to express geometrical features of data sets. The matching distance $d_\mathcal{M}$ measures the difference between $2$-parameter persistence modules by taking the…

Algebraic Topology · Mathematics 2023-12-08 Håvard Bakke Bjerkevik , Michael Kerber

Our interest is in paths between pairs of vertices that go through at least one of a subset of the vertices known as beer vertices. Such a path is called a beer path, and the beer distance between two vertices is the length of the shortest…

Data Structures and Algorithms · Computer Science 2022-09-30 Rathish Das , Meng He , Eitan Kondratovsky , J. Ian Munro , Anurag Murty Naredla , Kaiyu Wu

A graph on $2k$ vertices is path-pairable if for any pairing of the vertices the pairs can be joined by edge-disjoint paths. The so far known families of path-pairable graphs have diameter of length at most 3. In this paper we present an…

Combinatorics · Mathematics 2014-07-29 Gabor Meszaros

In 2-neighborhood bootstrap percolation on a graph G, an infection spreads according to the following deterministic rule: infected vertices of G remain infected forever and in consecutive rounds healthy vertices with at least 2 already…

Computational Complexity · Computer Science 2015-08-31 Thiago Braga Marcilon , Rudini Menezes Sampaio

In this paper, we study the (weighted) bichromatic two-center problem on graphs. The input consists of a graph $G$ of $n$ (weighted) vertices and $m$ edges, and a set $\mathcal{P}$ of pairs of distinct vertices, where no vertex appears in…

Data Structures and Algorithms · Computer Science 2025-12-10 Qi Sun , Jingru Zhang

In this paper we study the problem of maintaining the strongly connected components of a graph in the presence of failures. In particular, we show that given a directed graph $G=(V,E)$ with $n=|V|$ and $m=|E|$, and an integer value $k\geq…

Data Structures and Algorithms · Computer Science 2017-04-25 Surender Baswana , Keerti Choudhary , Liam Roditty

The problem of finding a path between two points while avoiding obstacles is critical in robotic path planning. We focus on the feasibility problem: determining whether such a path exists. We model the robot as a query-specific rectangular…

Computational Geometry · Computer Science 2025-04-16 Alex Fan , Alicia Li , Arul Kolla , Jason Gonzalez

Reachability and shortest path problems are NL-complete for general graphs. They are known to be in L for graphs of tree-width 2 [JT07]. However, for graphs of tree-width larger than 2, no bound better than NL is known. In this paper, we…

Computational Complexity · Computer Science 2010-02-03 Bireswar Das , Samir Datta , Prajakta Nimbhorkar

Let $P$ be a set of $n$ points in the plane, where each point $p\in P$ has a transmission radius $r(p)>0$. The transmission graph defined by $P$ and the given radii, denoted by $\mathcal{G}_{\mathrm{tr}}(P)$, is the directed graph whose…

Computational Geometry · Computer Science 2022-10-13 Mark de Berg

In this paper, we consider the question of computing sparse subgraphs for any input directed graph $G=(V,E)$ on $n$ vertices and $m$ edges, that preserves reachability and/or strong connectivity structures. We show $O(n+\min\{|{\cal…

Data Structures and Algorithms · Computer Science 2020-04-28 Diptarka Chakraborty , Keerti Choudhary

In this paper, we study the \textsf{Planar Disjoint Paths} problem: Given an undirected planar graph $G$ with $n$ vertices and a set $T$ of $k$ pairs $(s_i,t_i)_{i=1}^k$ of vertices, the goal is to find a set $\mathcal P$ of $k$ pairwise…

Data Structures and Algorithms · Computer Science 2022-11-09 Kyungjin Cho , Eunjin Oh , Seunghyeok Oh

Let $G$ be an intersection graph of $n$ geometric objects in the plane. We show that a maximum matching in $G$ can be found in $O(\rho^{3\omega/2}n^{\omega/2})$ time with high probability, where $\rho$ is the density of the geometric…

Computational Geometry · Computer Science 2024-05-02 Édouard Bonnet , Sergio Cabello , Wolfgang Mulzer