Population protocols, games, and large populations

Résumé : Le modèle des population protocols a été proposé pour capturer les spécificités de réseaux opportunistes constitués d’une population d’agents mobiles à la mémoire limitée capables de communications sans fil par paires. L’objet de cette thèse est d’étendre la compréhension et l’analyse des population protocols ainsi que leur liens avec d’autres modèles de dynamiques de populations. La première contribution de cette thèse est l’étude de la traduction en terme de protocoles de population de la dynamique d’une population d’agents jouant à un jeu de manière répétée les uns contre les autres et adaptant leur stratégie selon le comportement de PAVLOV. Nous montrons que les protocoles issus de tels jeux sont aussi puissants que les protocoles de population généraux. La deuxième contribution consiste à étudier des hypothèse de symétrie dans les jeux et dans les transitions d’un protocole de population, pour montrer que, si les protocoles de population symétriques sont équivalents aux protocoles généraux, les jeux symétriques sont, eux, significativement moins puissants. La troisième contribution est de montrer comment étudier le comportement d’une protocole de population lorsque la taille de la population tend vers l’infini en approchant la dynamique résultante à l’aide d’une équation différentielle ordinaire et de définir un calcul par grande population comme la convergence de cette équation différentielle vers un équilibre stable. La quatrième et dernière contribution de la thèse est la caractérisation des nombres calculables en ce sens comme étant très exactement les réels algébriques des [0; 1].
Type de document :
Thèse
Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01274140
Contributeur : Laurent Viennot <>
Soumis le : lundi 15 février 2016 - 14:38:48
Dernière modification le : jeudi 15 novembre 2018 - 20:27:23
Document(s) archivé(s) le : lundi 16 mai 2016 - 10:15:12

Identifiants

  • HAL Id : tel-01274140, version 1

Collections

Citation

Xavier Koegler. Population protocols, games, and large populations. Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English. 〈tel-01274140〉

Partager

Métriques

Consultations de la notice

222

Téléchargements de fichiers

120