Running Time Analysis of Broadcast Consensus Protocols

01/11/2021
โˆ™
by   Philipp Czerner, et al.
โˆ™
0
โˆ™

Broadcast consensus protocols (BCPs) are a model of computation, in which anonymous, identical, finite-state agents compute by sending/receiving global broadcasts. BCPs are known to compute all number predicates in ๐–ญ๐–ซ=๐–ญ๐–ฒ๐–ฏ๐– ๐–ข๐–ค(log n) where n is the number of agents. They can be considered an extension of the well-established model of population protocols. This paper investigates execution time characteristics of BCPs. We show that every predicate computable by population protocols is computable by a BCP with expected ๐’ช(n log n) interactions, which is asymptotically optimal. We further show that every log-space, randomized Turing machine can be simulated by a BCP with ๐’ช(n log n ยท T) interactions in expectation, where T is the expected runtime of the Turing machine. This allows us to characterise polynomial-time BCPs as computing exactly the number predicates in ๐–น๐–ฏ๐–ซ, i.e. predicates decidable by log-space bounded randomised Turing machine with zero-error in expected polynomial time where the input is encoded as unary.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset