Self-stabilizing algorithms for graph parameters

Brahim Neggazi 1
1 GOAL - Graphes, AlgOrithmes et AppLications
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Résumé : Le concept d'auto-stabilisation a été introduit par Dijkstra en 1973. Un système distribué est auto-stabilisant s'il peut démarrer de n'importe quelle configuration initiale et retrouver une configuration légitime en un temps fini par lui-même et sans aucune intervention extérieure. La convergence est également garantie lorsque le système est affecté par des fautes transitoires, ce qui en fait une approche élégante, non masquante, pour la tolérance aux pannes. L'auto-stabilisation a été étudiée dans divers domaines des systèmes distribués tels que les problèmes de synchronisation de l'horloge, de la communication et les protocoles de routage. Vu l'importance des paramètres de graphes notamment pour l'organisation et l'optimisation des communications dans les réseaux et les systèmes distribués, plusieurs algorithmes auto-stabilisants pour des paramètres de graphe ont été proposés dans la littérature, tels que les algorithmes autostabilisants permettant de trouver les ensembles dominants minimaux, coloration des graphes, couplage maximal et arbres de recouvrement. Dans cette perspective, nous proposons, dans cette thèse, des algorithmes distribués et autostabilisants pour certains problèmes de graphes bien connus, en particulier pour les décompositions de graphes et les ensembles dominants qui n'ont pas encore été abordés avec le concept de l'autostabilisation. Les quatre problèmes majeurs considérés dans cette thèse sont: partitionnement en triangles, décomposition en p-étoiles, Monitoring des arêtes, fort ensemble dominant et indépendant. Ainsi, le point commun entre ces problèmes, est qu'ils sont tous considérés comme des variantes des problèmes de domination et de couplage dans les graphes et leur traitement se fait d'une manière auto-stabilisante
Type de document :
Thèse
Computational Geometry [cs.CG]. Université Claude Bernard - Lyon I, 2015. English. <NNT : 2015LYO10041>
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01303138
Contributeur : Abes Star <>
Soumis le : samedi 16 avril 2016 - 01:01:45
Dernière modification le : mercredi 20 avril 2016 - 09:57:42
Document(s) archivé(s) le : dimanche 17 juillet 2016 - 10:10:16

Fichier

TH2015NeggaziBrahim.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01303138, version 1

Collections

Citation

Brahim Neggazi. Self-stabilizing algorithms for graph parameters. Computational Geometry [cs.CG]. Université Claude Bernard - Lyon I, 2015. English. <NNT : 2015LYO10041>. <tel-01303138>

Partager

Métriques

Consultations de
la notice

166

Téléchargements du document

266