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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Araya, Takumi, Sudo, Yuichi
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910876423946240
author Araya, Takumi
Sudo, Yuichi
author_facet Araya, Takumi
Sudo, Yuichi
contents 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 chosen uniformly at random to have an interaction, changing the states of the two agents. The collision detection problem involves each agent starting with an input integer between $1$ and $n$, where $n$ is the number of agents, and requires those agents to determine whether there are any duplicate input values among all agents. Specifically, the goal is for all agents to output false if all input values are distinct, and true otherwise. In this paper, we present an algorithm that requires a polynomial number of states per agent and solves the collision detection problem with probability one in sub-linear parallel time, both with high probability and in expectation. To the best of our knowledge, this algorithm is the first to solve the collision detection problem using a polynomial number of states within sublinear parallel time, affirmatively answering the question raised by Burman, Chen, Chen, Doty, Nowak, Severson, and Xu [PODC 2021] for the first time.
format Preprint
id arxiv_https___arxiv_org_abs_2411_09957
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Sublinear-time Collision Detection with a Polynomial Number of States in Population Protocols
Araya, Takumi
Sudo, Yuichi
Distributed, Parallel, and Cluster Computing
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 chosen uniformly at random to have an interaction, changing the states of the two agents. The collision detection problem involves each agent starting with an input integer between $1$ and $n$, where $n$ is the number of agents, and requires those agents to determine whether there are any duplicate input values among all agents. Specifically, the goal is for all agents to output false if all input values are distinct, and true otherwise. In this paper, we present an algorithm that requires a polynomial number of states per agent and solves the collision detection problem with probability one in sub-linear parallel time, both with high probability and in expectation. To the best of our knowledge, this algorithm is the first to solve the collision detection problem using a polynomial number of states within sublinear parallel time, affirmatively answering the question raised by Burman, Chen, Chen, Doty, Nowak, Severson, and Xu [PODC 2021] for the first time.
title Sublinear-time Collision Detection with a Polynomial Number of States in Population Protocols
topic Distributed, Parallel, and Cluster Computing
url https://arxiv.org/abs/2411.09957