Alistarh, Dan, Gelashvili, Rati and Vojnovic, Milan ORCID: 0000-0003-1382-022X (2015) Fast and exact majority in population protocols. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing - PODC '15. ACM Press, New York, NY, pp. 47-56. ISBN 9781450336178
Full text not available from this repository.Abstract
Population protocols, roughly defined as systems consisting of large numbers of simple identical agents, interacting at random and updating their state following simple rules, are an important research topic at the intersection of distributed computing and biology. One of the fundamental tasks that a population protocol may solve is majority: each node starts in one of two states; the goal is for all nodes to reach a correct consensus on which of the two states was initially the majority. Despite considerable research effort, known protocols for this problem are either exact but slow (taking linear parallel time to converge), or fast but approximate (with non-zero probability of error). In this paper, we show that this trade-off between precision and speed is not inherent. We present a new protocol called Average and Conquer (AVC) that solves majority exactly in expected parallel convergence time O(log n/(sε) + log n log s), where n is the number of nodes, ε n is the initial node advantage of the majority state, and s = Ω(log n log log n) is the number of states the protocol employs. This shows that the majority problem can be solved exactly in time poly-logarithmic in n, provided that the memory per node is s = Ω(1/ε + log n log{1/ε). On the negative side, we establish a lower bound of Ω(1/ε) on the expected parallel convergence time for the case of four memory states per node, and a lower bound of Ω(log n) parallel time for protocols using any number of memory states per node.
Item Type: | Book Section |
---|---|
Official URL: | http://www.podc.org/podc2015/proceedings/ |
Additional Information: | © 2015 The Authors |
Divisions: | Statistics |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Date Deposited: | 23 Nov 2017 12:09 |
Last Modified: | 01 Oct 2024 03:58 |
URI: | http://eprints.lse.ac.uk/id/eprint/85706 |
Actions (login required)
View Item |