The complexity of computing optimum labelings for temporal connectivity

Klobas, N.; Mertzios, G.B.; Molter, H.; Spirakis, P.G.

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 u to every other vertex v. 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 G, what is the smallest number |λ| of time-labels that we need to add to the edges of G such that the resulting temporal graph (G, λ) 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, λ). Second we consider the problem Min. Steiner Labeling (MSL), where the aim is now to have a temporal path between any pair of “important” vertices which lie in a subset R ⊆ V , which we call the terminals. This relaxed problem resembles the problem Steiner Tree in static (i.e., non-temporal) 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| of terminals. On the other hand we prove that (iii) although the age-unrestricted problem MSL remains NP-hard, it is in FPT with respect to the number |R| of terminals. That is, adding the age restriction, makes the above problems strictly harder (unless P=NP or W[1]=FPT).

Citation

Klobas, N., Mertzios, G., Molter, H., & Spirakis, P. (2022, August). The complexity of computing optimum labelings for temporal connectivity. Presented at 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Vienna, Austria

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
• Start Date: Aug 22, 2022
• End Date: Aug 26, 2022
• Acceptance Date: Jun 21, 2022
• Online Publication Date: Aug 22, 2022
• Publication Date: 2022
• Deposit Date: Jul 26, 2022
• Publicly Available Date: Apr 13, 2023
• Pages: 62:1-62:15
• Series Title: Leibniz International Proceedings in Informatics (LIPIcs)
• Series ISSN: 1868-8969
• DOI: https://doi.org/10.4230/lipics.mfcs.2022.62
• Public URL: https://durham-repository.worktribe.com/output/1137255