Améliorations de requêtes de chemin dans les graphes : expression, évaluation et satisfiabilité de coût minimal
Auteur / Autrice : | Ciro Morais Medeiros |
Direction : | Mírian Halfeld Ferrari Alves, Martin Musicante |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 30/08/2022 |
Etablissement(s) : | Orléans en cotutelle avec Universidade federal do Rio Grande do Norte (Natal, Brésil) |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) |
Jury : | Président / Présidente : Nicolas Travers |
Examinateurs / Examinatrices : Mathieu Liedloff, Farouk Toumani, Elizabeth Goldbarg | |
Rapporteurs / Rapporteuses : Carmem Satie Hara, Nora Reyes |
Mots clés
Résumé
Nous traitons trois problèmes liés aux requêtes de chemin en graphes. La plupart des langages de requête en graphes actuels prennent en charge les requêtes de chemins réguliers. Cependant, certaines applications telles que l’analyse du code source et la génétique nécessitent des requêtes de chemins hors-contexte. Les requêtes de chemins hors-contexte utilisent des langages hors-contexte. Il n’y a pas de notation standard pour les langages hors-contexte plus simple que les grammaires hors-contexte. L’évaluation d’une requête de chemins hors-contexte est plus complexe qu’une requête de chemins réguliers. Encore, dans certaines applications, on souhaite avoir le graphe minimum qui préserve les réponses à une requête de chemins donnée. Pour résoudre chacun de ces problèmes, nous : (1) développons une notation alternative pour exprimer des langages hors-contexte ; (2) développons et expérimentons un algorithme d’évaluation de requête de chemins hors-contexte ; et (3) formalisons le problème de minimisation de graphes contrainte par un langage formel,pour lequel nous développons des solutions pour les cas où le langage formel est régulier ou hors-contexte.