Communication Dans Un Congrès Année : 2025

Comment se rassembler (avec certitude) quand on est confus et désorienté

Résumé

Nous considérons le problème du rassemblement en temps fini et au même endroit, non connu à l’avance, d’un ensemble de robots déterministes semi-synchrones, partant d’une configuration initiale arbitraire qui peut même être bivalente (c’est-à-dire une configuration où les robots sont répartis également sur deux emplacements différents). Ce problème est connu pour être insoluble lorsque les robots sont oublieux, c’est-à-dire lorsqu’ils ne peuvent pas se souvenir de leurs actions passées. Nous présentons un algorithme de rassemblement déterministe où les robots peuvent retenir et communiquer un bit de mémoire. Ce bit peut être arbitrairement défini dans la configuration initiale. Notre solution est donc optimale en termes de mémoire et auto-stabilisante. Sa preuve de correction est formellement certifiée par l’assistant de preuve Coq en utilisant la bibliothèque Pactole.

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

Dates et versions

hal-05002153 , version 1 (14-04-2025)

Licence

Identifiants

  • HAL Id : hal-05002153 , version 1

Citer

François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, et al.. Comment se rassembler (avec certitude) quand on est confus et désorienté. ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France. ⟨hal-05002153⟩
955 Consultations
215 Téléchargements

Partager

  • More