Vi studerar här dynamiken (och stabiliteten) i probabilistiska befolkningsprotokoll, via differentialekvationer metod. Vi tillhandahåller en ganska allmän modell och vi visar att den innehåller modellen av Angluin et. Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. [1], när det gäller mycket stora populationer. För den allmänna modellen ger vi ett tillräckligt villkor för stabilitet som kan kontrolleras i polynom tid. Vi studerar också två intressanta delfall: a) protokoll vars specifikationer (i våra termer) är konfigurationsoberoende. Vi visar att de alltid är stabila och att deras eventuella subbefolkning procent är faktiskt en Markov Chain stationär distribution. b) protokoll som har dynamik som liknar virusspridning. Vi visar att deras dynamik faktiskt liknar den välkända Replicator Dynamics av Evolutionary Games. Vi ger också ett tillräckligt villkor för stabilitet i detta fall.
I REF studerar författarna dynamiken och stabiliteten i (probabilistiska) populationsprotokoll via vanliga differentialekvationer.
The Dynamics of Probabilistic Population Protocols
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}