,
Rares-Ioan Mateiu
,
Alexandru Popa
Creative Commons Attribution 4.0 International license
We consider a variant of the Vertex Cover problem on temporal graphs, called Minimum Timeline Cover (k-MinTimelineCover). Temporal graphs are used to model complex systems, describing how edges (relations) change in a discrete time domain. The k-MinTimelineCover problem has been introduced in complex data summarization and synthesis jobs. Given a temporal graph G, k-MinTimelineCover asks to define k activity intervals for each vertex, such that each temporal edge is covered by at least one active interval. The objective function is the minimization of the sum of interval lengths. k-MinTimelineCover is NP-hard and even hard to approximate within any factor for k > 1. While the literature has mainly focused on the cases k = 1, in this contribution we consider the case k > 1. We first present an ILP formulation that is able to solve the problem on moderate size instances. Then we develop an efficient heuristic, based on local search which is built on top of the solution of an existing literature method. Finally, we present an experimental evaluation of our algorithms on synthetic data sets, that shows in particular that our heuristic has a consistent improvement on the state-of-the art method.
@InProceedings{dondi_et_al:LIPIcs.TIME.2025.8,
author = {Dondi, Riccardo and Mateiu, Rares-Ioan and Popa, Alexandru},
title = {{Heuristics for Covering the Timeline in Temporal Graphs}},
booktitle = {32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)},
pages = {8:1--8:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-401-7},
ISSN = {1868-8969},
year = {2025},
volume = {355},
editor = {Vidal, Thierry and Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2025.8},
URN = {urn:nbn:de:0030-drops-244542},
doi = {10.4230/LIPIcs.TIME.2025.8},
annote = {Keywords: Temporal Networks, Activity Timeline, Vertex Cover, Heuristic, Dynamic Programming}
}