English
Related papers

Related papers: Fast and Practical DAG Decomposition with Reachabi…

200 papers

The fully dynamic transitive closure problem asks to maintain reachability information in a directed graph between arbitrary pairs of vertices, while the graph undergoes a sequence of edge insertions and deletions. The problem has been…

Data Structures and Algorithms · Computer Science 2020-02-04 Kathrin Hanauer , Monika Henzinger , Christian Schulz

We define and study analogs of probabilistic tree embedding and tree cover for directed graphs. We define the notion of a DAG cover of a general directed graph $G$: a small collection $D_1,\dots D_g$ of DAGs so that for all pairs of…

Data Structures and Algorithms · Computer Science 2025-04-16 Sepehr Assadi , Gary Hoppenworth , Nicole Wein

Computing a minimum path cover (MPC) of a directed acyclic graph (DAG) is a fundamental problem with a myriad of applications, including reachability. Although it is known how to solve the problem by a simple reduction to minimum flow,…

Data Structures and Algorithms · Computer Science 2023-08-21 Manuel Cáceres , Brendan Mumey , Santeri Toivonen , Alexandru I. Tomescu

We present time-efficient distributed algorithms for decomposing graphs with large edge or vertex connectivity into multiple spanning or dominating trees, respectively. As their primary applications, these decompositions allow us to achieve…

Data Structures and Algorithms · Computer Science 2013-11-22 Keren Censor-Hillel , Mohsen Ghaffari , Fabian Kuhn

Learning a faithful directed acyclic graph (DAG) from samples of a joint distribution is a challenging combinatorial problem, owing to the intractable search space superexponential in the number of graph nodes. A recent breakthrough…

Machine Learning · Computer Science 2019-04-24 Yue Yu , Jie Chen , Tian Gao , Mo Yu

Aligning sequencing reads on graph representations of genomes is an important ingredient of pan-genomics. Such approaches typically find a set of local anchors that indicate plausible matches between substrings of a read to subpaths of the…

Data Structures and Algorithms · Computer Science 2018-01-30 Anna Kuosmanen , Topi Paavilainen , Travis Gagie , Rayan Chikhi , Alexandru I. Tomescu , Veli Mäkinen

Driven by many applications in graph analytics, the problem of computing $k$-edge connected components ($k$-ECCs) of a graph $G$ for a user-given $k$ has been extensively studied recently. In this paper, we investigate the problem of…

Data Structures and Algorithms · Computer Science 2017-11-29 Lijun Chang

Parallel real-time systems (e.g., autonomous driving systems) often contain functionalities with complex dependencies and execution uncertainties, leading to significant timing variability which can be represented as a probabilistic…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-08 Yiyang Gao , Shuai Zhao , Boyang Li , Xinwei Fang , Zhiyang Lin , Zhe Jiang , Nan Guan

Learning the structure of Directed Acyclic Graphs (DAGs) presents a significant challenge due to the vast combinatorial search space of possible graphs, which scales exponentially with the number of nodes. Recent advancements have redefined…

Machine Learning · Computer Science 2024-11-01 Klea Ziu , Slavomír Hanzely , Loka Li , Kun Zhang , Martin Takáč , Dmitry Kamzolov

In the k-Disjoint Shortest Paths problem, a set of terminal pairs of vertices $\{(s_i,t_i)\mid 1\le i\le k\}$ is given and we are asked to find paths $P_1,\ldots,P_k$ such that each path $P_i$ is a shortest path from $s_i$ to $t_i$ and…

Data Structures and Algorithms · Computer Science 2021-07-08 Saeed Akhoondian Amiri , Julian Wargalla

The feed-forward relationship naturally observed in time-dependent processes and in a diverse number of real systems -such as some food-webs and electronic and neural wiring- can be described in terms of so-called directed acyclic graphs…

Physics and Society · Physics 2015-05-19 Joaquín Goñi , Bernat Corominas-Murtra , Ricard V. Solé , Carlos Rodríguez-Caso

Bayesian causal discovery offers the power to quantify epistemic uncertainties among a broad range of structurally diverse causal theories potentially explaining the data, represented in forms of directed acyclic graphs (DAGs). However,…

Machine Learning · Computer Science 2024-08-30 Nu Hoang , Bao Duong , Thin Nguyen

There has been a growing interest in causal learning in recent years. Commonly used representations of causal structures, including Bayesian networks and structural equation models (SEM), take the form of directed acyclic graphs (DAGs). We…

Machine Learning · Computer Science 2025-11-20 Pavel Rytir , Ales Wodecki , Jakub Marecek

A temporal graph is a graph whose edges only appear at certain points in time. Reachability in these graphs is defined in terms of paths that traverse the edges in chronological order (temporal paths). This form of reachability is neither…

Computational Complexity · Computer Science 2024-07-01 Arnaud Casteigts , Nils Morawietz , Petra Wolf

To measure the tree-likeness of a directed acyclic graph (DAG), a new width parameter that considers the directions of the arcs was recently introduced: scanwidth. We present the first algorithm that efficiently computes the exact scanwidth…

Data Structures and Algorithms · Computer Science 2026-05-21 Niels Holtgrefe , Leo van Iersel , Mark Jones

We show that every directed graph $G$ with $n$ vertices and $m$ edges admits a directed acyclic graph (DAG) with $m^{1+o(1)}$ edges, called a DAG projection, that can either $(1+1/\text{polylog} (n))$-approximate distances between all pairs…

Data Structures and Algorithms · Computer Science 2026-04-07 Bernhard Haeupler , Yonggang Jiang , Thatchaphol Saranurak

In this work, we consider the following problem: given a digraph $G=(V,E)$, for each vertex $v$, we want to compute the number of vertices reachable from $v$. In other words, we want to compute the out-degree of each vertex in the…

Computational Complexity · Computer Science 2016-02-08 Michele Borassi

The scheduling and schedulability analysis of real-time directed acyclic graph (DAG) task systems have received much recent attention. The DAG model can accurately represent intra-task parallelim and precedence constraints existing in many…

Operating Systems · Computer Science 2018-08-02 Zheng Dong , Cong Liu

We show how to chain maximal exact matches (MEMs) between a query string $Q$ and a labeled directed acyclic graph (DAG) $G=(V,E)$ to solve the longest common subsequence (LCS) problem between $Q$ and $G$. We obtain our result via a new…

Data Structures and Algorithms · Computer Science 2023-07-06 Nicola Rizzo , Manuel Cáceres , Veli Mäkinen

Given a directed graph $G$, a transitive reduction $G^t$ of $G$ (first studied by Aho, Garey, Ullman [SICOMP `72]) is a minimal subgraph of $G$ that preserves the reachability relation between every two vertices in $G$. In this paper, we…

Data Structures and Algorithms · Computer Science 2025-04-28 Gramoz Goranci , Adam Karczmarz , Ali Momeni , Nikos Parotsidis