Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Csikós, Mónika, Habib, Michel, Nguyen, Minh-Hang, Rabie, Mikaël, Viennot, Laurent
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866912034287779840
author Csikós, Mónika
Habib, Michel
Nguyen, Minh-Hang
Rabie, Mikaël
Viennot, Laurent
author_facet Csikós, Mónika
Habib, Michel
Nguyen, Minh-Hang
Rabie, Mikaël
Viennot, Laurent
contents In this paper, we study temporal graphs arising from mobility models, where vertices correspond to agents moving in space and edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents meets exactly once, we get a simple temporal clique where the edges are ordered according to meeting times. In order to characterize which temporal cliques can be obtained as such `mobility graphs', we introduce the notion of forbidden patterns in temporal graphs. Furthermore, using a classical result in combinatorics, we count the number of such mobility cliques for a given number of agents, and show that not every temporal clique resulting from the 1D model can be realized with agents moving with different constant speeds. For the analogous circular problem, where agents are moving along a circle, we provide a characterization via circular forbidden patterns. Our characterization in terms of forbidden patterns can be extended to the case where each edge appears at most once. We also study the problem where pairs of agents are allowed to cross each other several times, using an approach from automata theory. We observe that in this case, there is no finite set of forbidden patterns that characterize such temporal graphs and nevertheless give a linear-time algorithm to recognize temporal graphs arising from this model.
format Preprint
id arxiv_https___arxiv_org_abs_2302_07666
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor
Csikós, Mónika
Habib, Michel
Nguyen, Minh-Hang
Rabie, Mikaël
Viennot, Laurent
Data Structures and Algorithms
In this paper, we study temporal graphs arising from mobility models, where vertices correspond to agents moving in space and edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents meets exactly once, we get a simple temporal clique where the edges are ordered according to meeting times. In order to characterize which temporal cliques can be obtained as such `mobility graphs', we introduce the notion of forbidden patterns in temporal graphs. Furthermore, using a classical result in combinatorics, we count the number of such mobility cliques for a given number of agents, and show that not every temporal clique resulting from the 1D model can be realized with agents moving with different constant speeds. For the analogous circular problem, where agents are moving along a circle, we provide a characterization via circular forbidden patterns. Our characterization in terms of forbidden patterns can be extended to the case where each edge appears at most once. We also study the problem where pairs of agents are allowed to cross each other several times, using an approach from automata theory. We observe that in this case, there is no finite set of forbidden patterns that characterize such temporal graphs and nevertheless give a linear-time algorithm to recognize temporal graphs arising from this model.
title Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor
topic Data Structures and Algorithms
url https://arxiv.org/abs/2302.07666