Running Time Analysis of Broadcast Consensus Protocols
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