Loosely-stabilizing leader election with polylogarithmic convergence time

Y Sudo, F Ooshita, H Kakugawa, T Masuzawa… - Theoretical Computer …, 2020 - Elsevier
A loosely-stabilizing leader election protocol with polylogarithmic convergence time in the
population protocol model is presented in this paper. In the population protocol model …

Loosely-stabilizing leader election for arbitrary graphs in population protocol model

Y Sudo, F Ooshita, H Kakugawa… - … on Parallel and …, 2018 - ieeexplore.ieee.org
In the population protocol model [Angluin et al. 2006], it is impossible to design a self-
stabilizing leader election protocol without any knowledge of the exact number of nodes in …

Self-stabilizing population protocols with global knowledge

Y Sudo, M Shibata, J Nakamura, Y Kim… - … on Parallel and …, 2021 - ieeexplore.ieee.org
In the population protocol model, many problems cannot be solved in a self-stabilizing
manner. However, global knowledge, such as the number of nodes in a network, sometimes …

Constant-space population protocols for uniform bipartition

H Yasumi, F Ooshita, K Yamaguchi… - … on Principles of …, 2018 - drops.dagstuhl.de
In this paper, we consider a uniform bipartition problem in a population protocol model. The
goal of the uniform bipartition problem is to divide a population into two groups of the same …

Near-optimal leader election in population protocols on graphs

D Alistarh, J Rybicki, S Voitovych - … of the 2022 ACM Symposium on …, 2022 - dl.acm.org
In the stochastic population protocol model, we are given a connected graph with n nodes,
and in every time step, a scheduler samples an edge of the graph uniformly at random and …

Time-optimal self-stabilizing leader election on rings in population protocols

D Yokota, Y Sudo, T Masuzawa - IEICE Transactions on …, 2021 - search.ieice.org
We propose a self-stabilizing leader election protocol on directed rings in the model of
population protocols. Given an upper bound N on the population size n, the proposed …

Sublinear-time Collision Detection with a Polynomial Number of States in Population Protocols

T Araya, Y Sudo - arXiv preprint arXiv:2411.09957, 2024 - arxiv.org
This paper addresses the collision detection problem in population protocols. The network
consists of state machines called agents. At each time step, exactly one pair of agents is …

A population protocol for uniform k-partition under global fairness

H Yasumi, N Kitamura, F Ooshita, T Izumi… - International Journal of …, 2019 - jstage.jst.go.jp
In this paper, we consider a uniform k-partition problem in a population protocol model. The
uniform k-partition problem divides a population into k groups of the same size. For this …

A Near Time-optimal Population Protocol for Self-stabilizing Leader Election on Rings with a Poly-logarithmic Number of States

D Yokota, Y Sudo, F Ooshita, T Masuzawa - Proceedings of the 2023 …, 2023 - dl.acm.org
We propose a self-stabilizing leader election (SS-LE) protocol on ring networks in the
population protocol model. Given a rough knowledge ψ=⌈ log n⌉+ O (1) on the population …

The power of global knowledge on self-stabilizing population protocols

Y Sudo, M Shibata, J Nakamura, Y Kim… - … Colloquium on Structural …, 2020 - Springer
In the population protocol model, many problems cannot be solved in a self-stabilizing way.
However, global knowledge, such as the number of nodes in a network, sometimes allow us …