Comparaison de modèles combinatoires et probabilistes : deux exemples en analyse d'algorithmes
FR |
EN
Auteur / Autrice : | Claire Mathieu |
Direction : | Claude Puech |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1988 |
Etablissement(s) : | Paris 11 |
Partenaire(s) de recherche : | autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) |
Mots clés
FR
Résumé
FR
Dans la première partie de cette thèse, la vérification de propriétés booléennes monotones de variables booléennes dans un environnement avec erreurs est étudiée. La deuxième partie concerne surtout le calcul de la taille maximale moyenne de structures de données dynamiques