English
Related papers

Related papers: Algorithms and complexity for path covers of tempo…

200 papers

We introduce the TemporallyEdgeDisjointScheduleCompletion (TEDSC) problem in which we need to cover a set of temporal edge demands $D$ by routing $k$ temporal walks through a directed static graph while remaining temporally edge disjoint.…

Data Structures and Algorithms · Computer Science 2026-05-07 Michelle Döring , Niklas Mohrin , George Skretas

A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and…

Data Structures and Algorithms · Computer Science 2021-07-14 Manuel Cáceres , Massimo Cairo , Brendan Mumey , Romeo Rizzi , Alexandru I. Tomescu

A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its (discretized) lifetime $\tau$. In this setting, we ask that walks respect the temporal aspect by defining $\textit{temporal…

Discrete Mathematics · Computer Science 2025-10-15 Allen Ibiapina , Raul Lopes , Andrea Marino , Ana Silva

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

The dicycle transversal number t(D) of a digraph D is the minimum size of a dicycle transversal of D, i. e. a set T of vertices of D such that D-T is acyclic. We study the following problem: Given a digraph D, decide if there is a dicycle B…

Combinatorics · Mathematics 2011-06-30 Jørgen Bang-Jensen , Matthias Kriesell , Alessandro Maddaloni , Sven Simonsen

Reachability questions are one of the most fundamental algorithmic primitives in temporal graphs -- graphs whose edge set changes over discrete time steps. A core problem here is the NP-hard Short Restless Temporal Path: given a temporal…

Data Structures and Algorithms · Computer Science 2022-03-31 Philipp Zschoche

We present an algorithm to compute path homology for simple digraphs, and use it to topologically analyze various small digraphs en route to an analysis of complex temporal networks which exhibit such digraphs as underlying motifs. The…

Social and Information Networks · Computer Science 2021-01-15 Samir Chowdhury , Steve Huntsman , Matvey Yutin

In this paper we study the fixed-parameter tractability of the problem of deciding whether a given temporal graph admits a temporal walk that visits all vertices (temporal exploration) or, in some problem variants, a certain subset of the…

Data Structures and Algorithms · Computer Science 2022-12-06 Thomas Erlebach , Jakob T. Spooner

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

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes…

Discrete Mathematics · Computer Science 2021-05-27 Arnaud Casteigts , Anne-Sophie Himmel , Hendrik Molter , Philipp Zschoche

Given a graph $G$, and terminal vertices $s$ and $t$, the TRACKING PATHS problem asks to compute a minimum number of vertices to be marked as trackers, such that the sequence of trackers encountered in each s-t path is unique. TRACKING…

Data Structures and Algorithms · Computer Science 2020-02-19 Pratibha Choudhary

In a directed graph $D$ on vertex set $v_1,\dots ,v_n$, a \emph{forward arc} is an arc $v_iv_j$ where $i<j$. A pair $v_i,v_j$ is \emph{forward connected} if there is a directed path from $v_i$ to $v_j$ consisting of forward arcs. In the…

Combinatorics · Mathematics 2024-01-12 Stéphane Bessy , Stéphan Thomassé , Laurent Viennot

In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal…

Computational Complexity · Computer Science 2025-03-05 Davi de Andrade , Júlio Araújo , Allen Ibiapina , Andrea Marino , Jason Schoeters , Ana Silva

Temporal graphs have edge sets that change over discrete time steps. Such graphs are temporally connected (TC) if all pairs of vertices can reach each other using paths that traverse the edges in a time-respecting way (temporal paths).…

Data Structures and Algorithms · Computer Science 2026-04-28 Arnaud Casteigts , Hendrik Molter , Meirav Zehavi

This paper deals with the recoverable robust shortest path problem under the interval uncertainty representation. The problem is known to be strongly NP-hard and not approximable in general digraphs. Polynomial time algorithms for the…

Data Structures and Algorithms · Computer Science 2023-09-07 Marcel Jackiewicz , Adam Kasperski , Pawel Zielinski

In this paper, we study the complexity of the periodic temporal graph realization problem with respect to upper bounds on the fastest path durations among its vertices. This constraint with respect to upper bounds appears naturally in…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

The canonical tree-decomposition theorem, given by Robertson and Seymour in their seminal graph minors series, turns out to be one of the most important tool in structural and algorithmic graph theory. In this paper, we provide the…

Discrete Mathematics · Computer Science 2020-09-29 Archontia C. Giannopoulou , Ken-ichi Kawarabayashi , Stephan Kreutzer , O-joung Kwon

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

We address the problem of testing whether a given dynamic graph is temporally connected, {\it i.e} a temporal path (also called a {\em journey}) exists between all pairs of vertices. We consider a discrete version of the problem, where the…

Data Structures and Algorithms · Computer Science 2014-08-06 Matthieu Barjon , Arnaud Casteigts , Serge Chaumette , Colette Johnen , Yessin M. Neggaz

We consider a variant of the path cover problem, namely, the $k$-fixed-endpoint path cover problem, or kPC for short, on interval graphs. Given a graph $G$ and a subset $\mathcal{T}$ of $k$ vertices of $V(G)$, a $k$-fixed-endpoint path…

Data Structures and Algorithms · Computer Science 2008-12-18 Katerina Asdre , Stavros D. Nikolopoulos