Constructions d'algorithmes pour les graphes structurés par des méthodes algébriques et logiques

par Mohamed Hédi Mosbah

Thèse de doctorat en Informat.

Sous la direction de Bruno Courcelle.

Soutenue en 1992

à Bordeaux 1 .

    mots clés mots clés


  • Résumé

    Ce travail definit, au moyen de la logique monadique du second-ordre et d'homomorphismes de semi-anneaux, des fonctions calculables efficacement, sur les graphes structures en arbres, de largeur arborescente bornee. Nous obtenons, ainsi, des algorithmes polynomiaux et meme lineaires pour plusieurs problemes, dont beaucoup sont np-complets, lorsqu'ils sont restreints aux graphes structures en arbres, de largeur bornee. Cette approche est etendue a d'autres fonctions telles que le diametre, et est appliquee aux grammaires de graphes probabilistes. Nous presentons, en particulier, des methodes pour calculer la valeur moyenne d'une fonction, de la classe consideree, sur une grammaire de graphes probabiliste

  • Titre traduit

    Algebraic and logical methods for the construction of algorithms on tree-decomposable graphs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [10], 151 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 92.B-710
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 92.B-710
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.