The Computer Journal Advance Access published online on March 28, 2009
The Computer Journal, doi:10.1093/comjnl/bxp019
Dynamic Neighbourhood Cellular Automata1
Department of Computer Science, Durham University, Durham DH1 3LE, UK
* Corresponding author: s.s.dantchev{at}durham.ac.uk
Received 31 October 2008; revised 27 February 2009
We propose a definition of cellular automaton in which each cell can change its neighbourhood during a computation. This is done locally by looking not farther than neighbours of neighbours and the number of links remains bounded by a constant throughout. We suggest that dynamic neighbourhood cellular automata can serve as a theoretical model in studying algorithmic and computational complexity issues of ubiquitous computations. We illustrate our approach by giving an optimal, logarithmic time solution of the Firing Squad Synchronization problem in this setting.
Key Words: cellular automata distributed algorithms syncronization firing squad problem
1 A preliminary version of this paper was presented at the bCS08Visions of Computer Science Conference, held on 22–24 September 2008.