Quelques analyses de complexité en moyenne sur les algorithmes de multi-filtrage, d'unification et de requête multiple

Some average case analyses of multi-pattern match : unification and composed queries algorithms

• Auteur / Autrice : Luc Albert
• Direction : Philippe Flajolet
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 11

Mots clés

Mots clés contrôlés

Variables (mathématiques)

Algorithmes

Mots clés libres

Modèle d'étude

Multiensemble

Analyse automatique

Résumé

L'objet de cette these est l'etude de la performance des algorithmes fondamentaux que sont le multi-filtrage dans les generateurs de systemes experts, les algorithmes d'unification de termes du premier ordre en programmation logique et les algorithmes de requetes multiples dans les bases de donnees. Notre approche est celle de la complexite en moyenne. En effet ces algorithmes ont en general une variation importante de complexite entre le cas le meilleur et le cas le pire. Nous effectuons notre analyse a l'aide principalement de la theorie combinatoire des series generatrices et de l'analyse asymptotique complexe pour l'approximation de leurs coefficients. Ceci nous permet d'obtenir des resultats avec differents modeles d'etude (notamment pour la distribution des donnees) et de confirmer, voire de proposer, des optimisations pour ces algorithmes. L'usage d'un outil de calcul formel a ete indispensable pour mener a bien nos calculs. Nous avons confronte a l'experimentation ces resultats theoriques sur un generateur de systemes experts temps reel et developpe un analyseur automatique de performance en moyenne pour systemes de regles de production