Abstract
We focus on a uniform partition problem in a population protocol model. The uniform partition problem aims to divide a population into k groups of the same size, where k is a given positive integer. In the case of k=2 (called uniform bipartition), a previous work clarified space complexity under various assumptions: 1) an initialized base station (BS) or no BS, 2) weak or global fairness, 3) designated or arbitrary initial states of agents, and 4) symmetric or asymmetric protocols, except for the setting that agents execute a protocol from arbitrary initial states under weak fairness in the model with an initialized base station. In this paper, we clarify the space complexity for this remaining setting. In this setting, we prove that P states are necessary and sufficient to realize asymmetric protocols, and that P+1 states are necessary and sufficient to realize symmetric protocols, where P is the known upper bound of the number of agents. From these results and the previous work, we have clarified the solvability of the uniform bipartition for each combination of assumptions. Additionally, we newly consider an assumption on a model of a noninitialized BS and clarify solvability and space complexity in the assumption. Moreover, the results in this paper can be applied to the case that k is an arbitrary integer (called uniform kpartition).
BibTeX  Entry
@InProceedings{yasumi_et_al:LIPIcs:2020:11794,
author = {Hiroto Yasumi and Fukuhito Ooshita and Michiko Inoue},
title = {{Uniform Partition in Population Protocol Model Under Weak Fairness}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {8:18:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959771337},
ISSN = {18688969},
year = {2020},
volume = {153},
editor = {Pascal Felber and Roy Friedman and Seth Gilbert and Avery Miller},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/11794},
URN = {urn:nbn:de:0030drops117947},
doi = {10.4230/LIPIcs.OPODIS.2019.8},
annote = {Keywords: population protocol, uniform kpartition, distributed protocol}
}
Keywords: 

population protocol, uniform kpartition, distributed protocol 
Collection: 

23rd International Conference on Principles of Distributed Systems (OPODIS 2019) 
Issue Date: 

2020 
Date of publication: 

11.02.2020 