Abstract:Dynamic networks are a complex subject. Not only do they inherit the complexity of static networks (as a particular case); they are also sensitive to definitional subtleties that are a frequent source of confusion and incomparability of results in the literature. In this paper, we take a step back and examine three such aspects in more details, exploring their impact in a systematic way; namely, whether the temporal paths are required to be strict (i.e., the times along a path must increasing, not just be non-decreasing), whether the time labeling is proper (two adjacent edges cannot be present at the same time) and whether the time labeling is simple (an edge can have only one presence time). In particular, we investigate how different combinations of these features impact the expressivity of the graph in terms of reachability. Our results imply a hierarchy of expressivity for the resulting settings, shedding light on the loss of generality that one is making when considering either combination. Some settings are more general than expected; in particular, proper temporal graphs turn out to be as expressive as general temporal graphs where non-strict paths are allowed. Also, we show that the simplest setting, that of happy temporal graphs (i.e., both proper and simple) remains expressive enough to emulate the reachability of general temporal graphs in a certain (restricted but useful) sense. Furthermore, this setting is advocated as a target of choice for proving negative results. We illustrates this by strengthening two known results to happy graphs (namely, the inexistence of sparse spanners, and the hardness of computing temporal components). Overall, we hope that this article can be seen as a guide for choosing between different settings of temporal graphs, while being aware of the way these choices affect generality.

On packing time-respecting arborescences

On arborescence packing augmentation in hypergraphs

Packing mixed hyperarborescences

Matroid-reachability-based decomposition into arborescences

Regular packing of rooted hyperforests with root constraints in hypergraphs

Reconfiguration of the Union of Arborescences

Precedence-Constrained Arborescences

Minimal spanning arborescence

Augmenting a hypergraph to have a matroid-based $(f,g)$-bounded $(α,β)$-limited packing of rooted hypertrees

Leafy Spanning Arborescences in DAGs

How heavy independent sets help to find arborescences with many leaves in DAGs

Simple, strict, proper, happy: A study of reachability in temporal graphs

In search of the lost tree: Hardness and relaxation of spanning trees in temporal graphs

Tree-Packing Revisited: Faster Fully Dynamic Min-Cut and Arboricity

Packing tree degree sequences

A Proof of the Tree Packing Conjecture

Packing minor-closed families of graphs into complete graphs

A Note on the Complexity of Maximizing Temporal Reachability via Edge Temporalisation of Directed Graphs

On the existence of a cherry-picking sequence