Computing maximum matchings in temporal graphs

George B. Mertzios, Hendrik Molter, Rolf Niedermeier, Viktor Zamaraev, Philipp Zschoche

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph G, a temporal graph is represented by assigning a set of integer time-labels to every edge e of G, indicating the discrete time steps at which e is active. We introduce and study the complexity of a natural temporal extension of the classical graph problem MAXIMUM MATCHING, taking into account the dynamic nature of temporal graphs. In our problem, MAXIMUM TEMPORAL MATCHING, we are looking for the largest possible number of time-labeled edges (simply time-edges) (e,t) such that no vertex is matched more than once within any time window of Δ consecutive time slots, where Δ∈N is given. We prove strong computational hardness results for MAXIMUM TEMPORAL MATCHING, even for elementary cases, as well as fixed-parameter algorithms with respect to natural parameters and polynomial-time approximation algorithms.

Original languageEnglish
Pages (from-to)1-19
Number of pages19
JournalJournal of Computer and System Sciences
Volume137
DOIs
StatePublished - 1 Nov 2023

Keywords

  • APX-hardness
  • Approximation algorithms
  • Fixed-Parameter tractability
  • Independent set
  • Kernelization
  • Link streams
  • NP-hardness
  • Temporal line graphs

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Computing maximum matchings in temporal graphs'. Together they form a unique fingerprint.

Cite this