群体协议中规模计数研究综述

群体协议模型描述了一个由 $n$ 个匿名智能体组成的网络，这些智能体无法控制与谁交互。智能体通过随机两两交互共同解决某些计算问题，每个智能体在看到另一智能体状态后更新自身状态。当受限于所有反应均有两个反应物和两个产物且所有速率常数均为 1 时，它们等价于描述抽象化学反应（如 $A+B \rightarrow C+D$）的化学反应网络模型。计数问题是指设计一种协议，使得 $n$ 个均从同一状态出发的智能体最终收敛到这样的状态：每个智能体在其状态中编码出群体规模 $n$ 的精确或近似描述。在本综述中，我们描述计数问题近期的算法进展。