Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria. (arXiv:2206.06594v1 [cs.CL])

Bournez, Fraigniaud, and Koegler defined a number in [0,1] as computable by
their Large-Population Protocol (LPP) model, if the proportion of agents in a
set of marked states converges to said number over time as the population grows
to infinity. The notion, however, restricts the ordinary differential equations
(ODEs) associated with an LPP to have only finitely many equilibria. This
restriction places an intrinsic limitation on the model. As a result, a number
is computable by an LPP if and …

arxiv computing equilibria numbers population