Parameterised temporal exploration problems

We study the fixed-parameter tractability of the problem of deciding whether a given temporal graph admits a temporal walk that visits all vertices (temporal exploration) or, in some variants, a certain subset of the vertices. In the strict variant, edges must be traversed in strictly increasing tim...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer and system sciences Jg. 135; S. 73 - 88
Hauptverfasser: Erlebach, Thomas, Spooner, Jakob T.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.08.2023
Schlagworte:
Fixed-parameter tractability
Parameterised complexity
Temporal graphs
Temporal graphs
Fixed-parameter tractability
Parameterised complexity
ISSN:0022-0000, 1090-2724
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study the fixed-parameter tractability of the problem of deciding whether a given temporal graph admits a temporal walk that visits all vertices (temporal exploration) or, in some variants, a certain subset of the vertices. In the strict variant, edges must be traversed in strictly increasing timesteps; in the non-strict variant, any number of edges can be traversed in each timestep. For both variants, we give FPT algorithms for finding a temporal walk that visits a given set X of vertices, parameterised by |X|, and for finding a temporal walk that visits at least k distinct vertices, parameterised by k. We also show W[2]-hardness for a set version of temporal exploration. For the non-strict variant, we give an FPT algorithm for temporal exploration parameterised by the lifetime, and show that temporal exploration can be solved in polynomial time if the graph in each timestep has at most two connected components.
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2023.01.003