当群体规模趋于无穷时群体协议的收敛性
分布式、并行与集群计算
2009-07-20 v1
摘要
群体协议已被引入作为由非常有限的移动代理组成的传感器网络的模型，这些代理无法控制自身的运动。群体协议对应于一组匿名代理，由有限自动机建模，它们通过使用某些规则更新状态来相互交互以执行计算。在几种假设下，特别是在仅限于有限规模群体时，已经研究了它们的计算能力。特别是，原始模型中稳定可计算的谓词已被刻画为 Presburger 算术中可定义的谓词。我们从数学上研究了当群体规模趋于无穷时群体协议的收敛性。我们通过给出一般结果来做到这一点，并通过一个特定群体协议的示例加以说明，甚至获得了其渐近展开。这个例子特别表明，当考虑大规模群体假设时，这些协议似乎具有相当不同的计算能力。
引用
@article{arxiv.0907.3118,
title = {On the Convergence of Population Protocols When Population Goes to Infinity},
author = {Olivier Bournez and Philippe Chassaing and Johanne Cohen and Lucas Gerin and Xavier Koegler},
journal= {arXiv preprint arXiv:0907.3118},
year = {2009}
}
备注
Submitted to Applied Mathematics and Computation. 2009