English
Related papers

Related papers: A Note on Fault Tolerant Reachability for Directed…

200 papers

Motivated by the increasing need to understand the algorithmic foundations of distributed large-scale graph computations, we study a number of fundamental graph problems in a message-passing model for distributed computing where $k \geq 2$…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-07-07 Gopal Pandurangan , Peter Robinson , Michele Scquizzato

Temporal networks are a class of time-varying networks, which change their topology according to a given time-ordered sequence of static networks (known as subsystems). This paper investigates the reachability and controllability of…

Systems and Control · Electrical Eng. & Systems 2024-05-27 Yuan Zhang , Yuanqing Xia , Long Wang

A mixed dominating set for a graph $G = (V,E)$ is a set $S\subseteq V \cup E$ such that every element $x \in (V \cup E) \backslash S$ is either adjacent or incident to an element of $S$. The mixed domination number of a graph $G$, denoted…

Discrete Mathematics · Computer Science 2023-06-22 M. Rajaati , M. R. Hooshmandasl , M. J. Dinneen , A. Shakiba

The directed graph reachability problem takes as input an $n$-vertex directed graph $G=(V,E)$, and two distinguished vertices $s$ and $t$. The problem is to determine whether there exists a path from $s$ to $t$ in $G$. This is a canonical…

Data Structures and Algorithms · Computer Science 2019-09-23 Ryo Ashida , Kotaro Nakagawa

Given an $n$-vertex $m$-edge digraph $G = (V,E)$ and a set $S \subseteq V$, $|S| = n^{\sigma}$ (for some $0 < \sigma \le 1$) of designated sources, the $S \times V$-direachability problem is to compute for every $s \in S$, the set of all…

Data Structures and Algorithms · Computer Science 2024-01-15 Michael Elkin , Chhaya Trehan

Let $G$ be a directed graph with $n$ vertices and $m$ edges, and let $s \in V(G)$ be a designated source vertex. We consider the problem of single source reachability (SSR) from $s$ in presence of failures of edges (or vertices). Formally,…

Data Structures and Algorithms · Computer Science 2019-04-18 Daniel Lokshtanov , Pranabendu Misra , Saket Saurabh , Meirav Zehavi

We consider a new problem of designing a network with small $s$-$t$ effective resistance. In this problem, we are given an undirected graph $G=(V,E)$, two designated vertices $s,t \in V$, and a budget $k$. The goal is to choose a subgraph…

Data Structures and Algorithms · Computer Science 2019-04-09 Pak Hay Chan , Lap Chi Lau , Aaron Schild , Sam Chiu-wai Wong , Hong Zhou

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…

Data Structures and Algorithms · Computer Science 2020-11-30 Maximilian Probst Gutenberg

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

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

Computational Complexity · Computer Science 2021-07-06 Sujoy Bhore , Rahul Jain

We study the NP-hard problem of approximating a Minimum Routing Cost Spanning Tree in the message passing model with limited bandwidth (CONGEST model). In this problem one tries to find a spanning tree of a graph $G$ over $n$ nodes that…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-06-06 Alexandra Hochuli , Stephan Holzer , Roger Wattenhofer

The paper presents fault-tolerant (FT) labeling schemes for general graphs, as well as, improved FT routing schemes. For a given $n$-vertex graph $G$ and a bound $f$ on the number of faults, an $f$-FT connectivity labeling scheme is a…

Data Structures and Algorithms · Computer Science 2021-06-02 Michal Dory , Merav Parter

A locating-dominating set in a graph G is a subset of vertices representing "detectors" which can locate an "intruder" given that each detector covers its closed neighborhood and can distinguish its own location from its neighbors. We…

Combinatorics · Mathematics 2022-09-13 Devin Jean , Suk Seo

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…

Data Structures and Algorithms · Computer Science 2023-10-04 Michael Dinitz , Ama Koranteng , Guy Kortsarz , Zeev Nutov

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…

Logic in Computer Science · Computer Science 2020-10-16 Michael Blondin , Christoph Haase , Philip Offtermatt

The network unreliability problem asks for the probability that a given undirected graph gets disconnected when every edge independently fails with a given probability $p$. Valiant (1979) showed that this problem is \#P-hard; therefore, the…

Data Structures and Algorithms · Computer Science 2025-04-01 Ruoxu Cen , Jason Li , Debmalya Panigrahi

The question to enumerate all inclusion-minimal connected dominating sets in a graph of order $n$ in time significantly less than $2^n$ is an open question that was asked in many places. We answer this question affirmatively, by providing…

Computational Complexity · Computer Science 2022-05-03 Faisal Abu-Khzam , Henning Fernau , Benjamin Gras , Mathieu Liedloff , Kevin Mann

We consider the fundamental problems of determining the rooted and global edge and vertex connectivities (and computing the corresponding cuts) in directed graphs. For rooted (and hence also global) edge connectivity with small integer…

Data Structures and Algorithms · Computer Science 2021-04-16 Chandra Chekuri , Kent Quanrud

In the study of deterministic distributed algorithms it is commonly assumed that each node has a unique $O(\log n)$-bit identifier. We prove that for a general class of graph problems, local algorithms (constant-time distributed algorithms)…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-24 Mika Göös , Juho Hirvonen , Jukka Suomela

A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The…

Discrete Mathematics · Computer Science 2022-08-31 Fernanda Couto , Luís Cunha , Diego Ferraz