🤖 AI Summary
This paper investigates vertex connectivity and cut-set robustness in temporal graphs based on time-respecting paths, aiming to delineate the applicability boundary of Menger’s theorem in the temporal setting. We systematically analyze the relationship between maximum numbers of internally vertex-disjoint (or temporally vertex-disjoint) time-respecting paths and minimum cut sizes across multiple modeling variants: strict vs. non-strict time-monotonicity, directed vs. undirected graphs, and vertex-disjointness vs. temporal vertex-disjointness. Our key contributions are threefold: (i) We prove that Menger-type duality holds *only* for $k^*=1$ in the non-strict model and *never* in the strict model; (ii) We establish NP-completeness for deciding $k$-connectivity when $k geq 3$, while providing polynomial-time algorithms for $k leq 2$; (iii) We design an XP algorithm for general $k$ and deliver a precise complexity characterization across all parameter regimes.
📝 Abstract
A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its lifetime $ au$. Walks are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Paths are temporal walks where each vertex is not traversed twice. A temporal vertex is a pair $(u,i)$ where $u$ is a vertex and $iin[ au]$ a timestep. In this paper we focus on the questions: (i) are there at least $k$ paths from a single source $s$ to a single target $t$, no two of which internally intersect on a temporal vertex? (ii) are there at most $h$ temporal vertices whose removal disconnects $s$ from $t$? Let $k^*$ be the maximum value $k$ for which the answer to (i) is YES, and let $h^*$ be the minimum value $h$ for which the answer to (ii) is YES. In static graphs, $k^*$ and $h^*$ are equal by Menger's Theorem and this is a crucial property to solve efficiently both (i) and (ii). In temporal graphs such equality has been investigated only focusing on disjoint walks rather than disjoint paths. We prove that, when dealing with non-strictly increasing temporal paths, $k^*$ is equal to $h^*$ if and only if $k^*$ is 1. We show that this implies a dichotomy for (i), which turns out to be polynomial-time solvable when $kle 2$, and NP-complete for $kge 3$. In contrast, we also prove that Menger's version does not hold in the strictly increasing model and give hardness results also for this case. Finally, we give hardness results and an XP algorithm for (ii).
