摘要:What can be computed by a network of n randomized finite state machines communicating under the stone age model (a generalization of the beeping model's communication scheme)? The inherent linear upper bound on the total space of the network implies that its global computational power is not larger than that of a randomized linear space Turing machine, but is this tight? The reported reseach answers this question affirmatively for bounded degree networks by introducing a stone age algorithm (operating under the most restrictive form of the model) that given a designated I/O node, constructs a tour in the network that enables the simulation of the Turing machine's tape. To construct the tour, it is first shown how to 2-hop color the network concurrently with building a spanning tree with high probability.
关键词:beeping communication; finite state machine; stone age model; distributed network complexity