eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2021-01-25
33:1
33:16
10.4230/LIPIcs.OPODIS.2020.33
article
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs
Yasumi, Hiroto
1
Ooshita, Fukuhito
1
Inoue, Michiko
1
Tixeuil, Sébastien
2
Nara Institute of Science and Technology, Japan
Sorbonne Université, CNRS, LIP6, Paris, France
In this paper, we focus on the uniform bipartition problem in the population protocol model. This problem aims to divide a population into two groups of equal size. In particular, we consider the problem in the context of arbitrary communication graphs. As a result, we investigate the solvability of the uniform bipartition problem with arbitrary communication graphs when agents in the population have designated initial states, under various assumptions such as the existence of a base station, symmetry of the protocol, and fairness of the execution. When the problem is solvable, we present protocols for uniform bipartition. When global fairness is assumed, the space complexity of our solutions is tight.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol184-opodis2020/LIPIcs.OPODIS.2020.33/LIPIcs.OPODIS.2020.33.pdf
population protocol
uniform bipartition
distributed protocol