Génération aléatoire d'automates et analyse d'algorithmes de minimisation

Résumé : Cette thèse porte sur la génération aléatoire uniforme des automates finis et l'analyse des algorithmes de minimisation qui s'y appliquent. La génération aléatoire permet de conduire une étude expérimentale sur les propriétésde l'objet engendré et sur les méthodes algorithmiques qui s'y appliquent. Il s'agit également d'un outil de recherche, qui permet de faciliter l'étude théorique du comportement moyen des algorithmes. L'analyse en moyenne des algorithmes s'inscrit dans la suite des travaux précurseurs de Donald Knuth. Le schéma classique en analyse d'algorithmes consiste à étudier le pire des cas, qui n'est souvent pas représentatif du comportement de l'algorithme en pratique. D'un point de vue théorique, on définit ce qui se produit "souvent'' en fixant une loi de probabilitésur les entrées de l'algorithme. L'analyse en moyenne consiste alors à estimer des ressources utiliséespour cette distribution de probabilité. Dans ce cadre, j'ai travaillé sur des algorithmes de génération aléatoire d'automatesdéterministes accessibles (complets ou non). Ces algorithmes sont basés sur de la combinatoirebijective, qui permet d'utiliser un procédé générique : les générateurs de Boltzmann. J'ai ensuite implanté ces méthodes dans deux logiciels : REGAL et PREGA. Je me suis intéressé à l'analyse en moyenne des algorithmes de minimisation d'automateset j'ai obtenu des résultats qui montrent le cas moyen des algorithmes de Moore et Hopcroft est bien meilleur que le pire des cas
Type de document :
Thèse
Informatique [cs]. Université Paris-Est, 2010. Français. <NNT : 2010PEST1016>
Liste complète des métadonnées

https://pastel.archives-ouvertes.fr/tel-00587637
Contributeur : Abes Star <>
Soumis le : jeudi 21 avril 2011 - 09:04:06
Dernière modification le : vendredi 27 mars 2015 - 16:02:23
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 17:01:00

Fichier

TH2010PEST1016_incomplete.PDF
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00587637, version 1

Citation

Julien David. Génération aléatoire d'automates et analyse d'algorithmes de minimisation. Informatique [cs]. Université Paris-Est, 2010. Français. <NNT : 2010PEST1016>. <tel-00587637>

Partager

Métriques

Consultations de
la notice

484

Téléchargements du document

134