Computing maximum matchings in temporal graphs

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

doi:10.1016/j.jcss.2023.04.005

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Book1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 58 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Parity Games on Temporal Graphs

Austin,

Bose,

Totzke

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time.We consider the complexity of solving $$\omega $$ ω -regular games played on temporal graphs where the edge availability is ultimately periodic and fixed a priori.We show that solving parity games on temporal graphs is decidable in $$\textsf{PSPACE}$$ PSPACE , only assuming the edge predicate itself is in $$\textsf{PSPACE}$$ PSPACE . A matching lower bound already holds for what we call punctual reachability games on static graphs, where one player wants to reach the target at a given, binary encoded, point in time. We further study syntactic restrictions that imply more efficient procedures. In particular, if the edge predicate is in and is monotonically increasing for one player and decreasing for the other, then the complexity of solving games is only polynomially increased compared to static graphs.

show abstract