We consider the symmetric consensus problem, a version of consensus adapted to population protocols, a model for large scale networks of resource-limited mobile sensors. After proving that consensus is impossible in the considered model, we look for oracles to circumvent this impossibility. An oracle is an external (to the system) module providing some information allowing to solve the problem. We define a class of oracles adapted to population protocols, and we prove that an oracle in this class, namely DejaV u, allows to obtain a solution. Finally, and this is the major contribution of the paper, we prove that DejaV u is the weakest oracle for solving the problem.
CITATION STYLE
Beauquier, J., Blanchard, P., Burman, J., & Kutten, S. (2015). The weakest oracle for symmetric consensus in population protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9536, pp. 41–56). Springer Verlag. https://doi.org/10.1007/978-3-319-28472-9_4
Mendeley helps you to discover research relevant for your work.