Connexité dans les Réseaux et Schémas d’Étiquetage Compact d’Urgence
Auteur / Autrice : | Pierre Halftermeyer |
Direction : | Bruno Courcelle, Cyril Gavoille |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 22/09/2014 |
Etablissement(s) : | Bordeaux |
Ecole(s) doctorale(s) : | École doctorale de mathématiques et informatique (Talence, Gironde ; 1991-....) |
Partenaire(s) de recherche : | Etablissement d'accueil : Université Bordeaux-I (1971-2013) |
Laboratoire : Laboratoire bordelais de recherche en informatique | |
Jury : | Président / Présidente : Robert Cori |
Examinateurs / Examinatrices : Ioan Todinca | |
Rapporteurs / Rapporteuses : Patrice Ossona de Mendez, Laurent Viennot |
Mots clés
Résumé
L’objectif de cette thèse est d’attribuer à chaque sommet x d’un graphe G à n sommets une étiquette L(x) de taille compacte O(log n) bits afin de pouvoir :1. construire, à partir des étiquettes d’un ensemble de sommets en panne X C V (G), une structure de donnée S(X)2. décider, à partir de S(X) et des étiquettes L(u) et L(v), si les sommets u et v sont connectés dans le graphe G n X.Nous proposons une solution à ce problème pour la famille des graphes 3-connexes de genre g (via plusieurs résultats intermédiaires).— Les étiquettes sont de taille O(g log n) bits— Le temps de construction de la structure de donnée S(X) est O(Sort([X]; n)).— Le temps de décision est O(log log n). Ce temps est optimal.Nous étendons ce résultat à la famille des graphes excluant un mineur H fixé. Les étiquettes sont ici de taille O(polylog n) bits.