Communication Dans Un Congrès Année : 2025

Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées

Résumé

Le point Weber, aussi appelé médian géométrique, a toujours eu mauvaise réputation dans les travaux sur les robots mobiles. La raison invoquée est qu’il n’est pas constructible, mais tout le monde sait que la vraie raison est qu’il offre une solution triviale au problème du regroupement, supprimant ainsi la possibilité de publier des protocoles compliqués dans des journaux réputés. Est-ce cependant vraiment le cas ? Maintenant que les protocoles compliqués sont publiés, nous montrons qu’en fait, le point Weber, bien que non constructible par un robot muni d’un compas et d’une règle, n’est pas une solution triviale (une destination inconditionnelle). Dans cet article, nous présentons un protocole non trivial utilisant le point Weber pour regrouper un nombre quelconque de robots ne se trouvant pas initialement dans une configuration impossible à résoudre (bivalente) pour un modèle d’exécution asynchrone (sans hypothèses d’ordonnancement des cycles ni sur l’achèvement des déplacements) et non rigide (les déplacements peuvent être interrompus). Le point Weber et ses propriétés, ainsi que la correction de notre protocole sont prouvés en Coq, grâce à la bibliothèque PACTOLE.

Fichier principal
Vignette du fichier
Gathering_Async-1.pdf (194.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05002157 , version 1 (13-04-2025)

Licence

Identifiants

  • HAL Id : hal-05002157 , version 1

Citer

Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, et al.. Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées. ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France. ⟨hal-05002157⟩
405 Consultations
115 Téléchargements

Partager

  • More