Contributions à la théorie des graphes temporels et aux problèmes de mobilité

Contributions to temporal graph theory and mobility-related problems

• Auteur / Autrice : Jason Schoeters
• Direction : Arnaud Casteigts
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 29/03/2021
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale Mathématiques et informatique (Talence, Gironde ; 1991-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire bordelais de recherche en informatique
• Jury : Président / Présidente : Nicolas Hanusse
• Jury : Examinateurs / Examinatrices : Arnaud Casteigts, Paola Flocchini, Rolf Niedermeier, Éric Sanlaville, Ralf Klasing, Quentin Bramas
• Jury : Rapporteurs / Rapporteuses : Paola Flocchini, Rolf Niedermeier, Éric Sanlaville
• DOI : 10.70675/aed19d84z7902z4c1ez9289z9c2452a8e7a4

Mots clés

Mots clés contrôlés

Graphes dynamiques

Spanneurs

Algorithmes

Mots clés libres

Théorie des graphes temporels

Algorithmique

Planification de mouvement

Temporal graph theory

Algorithms

Motion planning

Résumé

Dans cette thèse, nous nous intéressons à des questions de recherche qui concernent respectivement les graphes temporels, la mobilité, ainsi que l’interaction entre les deux. Le problème que nous considérons sur les graphes temporels est motivé par une question ouverte depuis 20 ans, à savoir quelle est la définition analogique d’un arbre couvrant dans les graphes temporels. Notre principal résultat dans ce sujet est de montrer que, même si des spanners peu denses n’existent pas dans les graphes temporels en général, ces spanners existent cependant dans des cas particuliers significatifs. À l’autre bout du champ des réseaux dynamiques, nous étudions la conception des mouvements physiques, en considérant un modèle d’accélération discret appelé racetrack dans le contexte du problème du voyageur de commerce (TSP). Les questions de conception de mouvement d’une part, et de graphes temporels d’autre part, sont en forte interaction lorsque l’on considère l’exécution d’algorithmes distribués dans un scénario MANET. Dans ce contexte, la troisième contribution consiste en un progiciel proposant des modèles de mobilité qui induisent des propriétés de graphe temporel dans le réseau de communication résultant.

In this thesis, we are interested in research questions that pertain respectively to temporal graphs, to mobility, as well as to the interaction between the two. The problem we consider on temporal graphs is motivated by a 20-year old open question, namely what the analog definition of a spanning tree in temporal graphs is. Our main result in this topic is to show that, even though sparse spanners do not exist in general temporal graphs, sparse spanners exist in significant particular cases. On the other end of the field of dynamic networks, we study the design of physical movements, which led us to consider a discrete model of acceleration called racetrack and to revisit the traveling salesperson problem (TSP). The questions of movement design on one hand, and temporal graphs on the other, end up being in strong interaction when considering the execution of distributed algorithms in a MANET scenario. In this context, the third contribution consists of a software package proposing mobility models that induce temporal graph properties in the resulting communication network.