Protocoles de population optimaux en espace

Le modèle des protocoles de population est un modèle distribué introduit par Angluin et al. en 2004. Il décrit une collection d'agents mobiles basiques et anonymes, interagissant par paires de manière asynchrone afin de réaliser un calcul. Les agents sont des machines à états finies identiques. Les interactions entre agents les font changer d'états. Les interactions sont choisies par un ordonnanceur considéré comme un adversaire, soumis à des conditions d'équité. Ce cadre peut être utilisé pour modéliser des réseaux de capteurs basiques et peu coûteux ou des machines se déplaçant de manière imprévisible et incontrôlée. Il a aussi été utilisé pour modéliser des dynamiques de populations dans d'autres domaines, comme la propagation de confiance et rumeurs dans les réseaux sociaux, les réactions chimiques ou les dynamiques de théorie des jeux.