English

The complexity of computing optimum labelings for temporal connectivity

Data Structures and Algorithms 2022-05-03 v2 Discrete Mathematics

Abstract

A graph is temporally connected if there exists a strict temporal path, i.e. a path whose edges have strictly increasing labels, from every vertex uu to every other vertex vv. In this paper we study temporal design problems for undirected temporally connected graphs. The basic setting of these optimization problems is as follows: given a connected undirected graph GG, what is the smallest number λ|\lambda| of time-labels that we need to add to the edges of GG such that the resulting temporal graph (G,λ)(G,\lambda) is temporally connected? As it turns out, this basic problem, called MINIMUM LABELING (ML), can be optimally solved in polynomial time. However, exploiting the temporal dimension, the problem becomes more interesting and meaningful in its following variations, which we investigate in this paper. First we consider the problem MIN. AGED LABELING (MAL) of temporally connecting the graph when we are given an upper-bound on the allowed age (i.e. maximum label) of the obtained temporal graph (G,λ)(G,\lambda). Second we consider the problem MIN. STEINER LABELING (MSL), where the aim is now to have a temporal path between any pair of "terminals" vertices which lie in a subset RVR\subseteq V. This relaxed problem resembles STEINER TREE in static graphs. However, due to the requirement of strictly increasing labels in a temporal path, STEINER TREE is not a special case of MSL. Finally we consider the age-restricted version of MSL, namely MIN. AGED STEINER LABELING (MASL). Our main results are threefold: we prove that (i) MAL becomes NP-complete on undirected graphs, while (ii) MASL becomes W[1]-hard with respect to the number R|R| of terminals. On the other hand we prove that (iii) although the age-unrestricted problem MSL is NP-hard, it is in FPT with respect to the number R|R| of terminals. That is, adding the age restriction, makes the above problems strictly harder.

Keywords

Cite

@article{arxiv.2202.05880,
  title  = {The complexity of computing optimum labelings for temporal connectivity},
  author = {Nina Klobas and George B. Mertzios and Hendrik Molter and Paul G. Spirakis},
  journal= {arXiv preprint arXiv:2202.05880},
  year   = {2022}
}

Comments

45 pages, 36 figures

R2 v1 2026-06-24T09:32:47.726Z