Summary
We propose several efficient algorithms for a large scale of cellular automata having 1-bit inter-cell communications (CA1-bit). A 1-bit inter-cell communication model studied in this paper is a new class of cellular automata (CA) whose inter-cell communication is restricted to 1-bit. We call the model 1-bit CA in short. The number of internal states of the 1-bit CA is assumed to be finite in a usual way. The next state of each cell is determined by the present state of itself and two binary 1-bit inputs from its left and right neighbor cells. Thus the 1-bit CA can be thought to be one of the most powerless and simplest models in a variety of CAs.
We study a sequence generation problem, a firing squad synchronization problem and an early bird problem, all of which are known as the classical and fundamental problems in cellular automata.
First we consider the sequence generation problem. It is shown that there exists a 1-state CA1-bit that can generate in real-time a context-sensitive sequence such that {2n|n = 1, 2, 3, …}. Prime sequence can also be generated in real-time by CA1-bit with 34 states. Secondary, we study the firing squad synchronization problem on two-dimensional CA1-bit. We give a two-dimensional CA1-bit which can synchronize any n × n square and m × n rectangular arrays in 2n − 1 and m + n + max(m, n) steps, respectively. In addition, we propose a generalized synchronization algorithm that operates in linear steps on two-dimensional rectangular arrays with the general located at an arbitrary position of the array. The time complexities for the first two algorithms developed are one to two steps larger than optimum ones proposed for O(1)-bit communication model. In the last, we give a 1-bit implementation for an early bird problem. It is shown that there exists a 12-state CA1-bit that solves the early bird problem in linear time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Arisawa: On the generation of integer series by the one-dimensional iterative arrays of finite state machines (in Japanese). The Trans.of IECE 71/8, Vol. 54-C, No.8, pp. 759–766, (1971).
R. Balzer: An 8-state minimal time solution to the firing squad synchronization problem. Information and Control, vol. 10(1967), pp. 22–42.
H. K. Büning: The early bird problem is unsolvable in a one-dimensional cellular space with 4 states. Acta Cybernetica, vol. 6(1983), pp. 23–31.
P. C. Fischer: Generation of primes by a one-dimensional real-time iterative array. J. of ACM, Vol., 12, No.3, pp. 388–394, (1965).
E. Goto: A minimal time solution of the firing squad problem. Dittoed course notes for Applied Mathematics 298, Harvard University, (1962), pp. 52–59.
M. Hisaoka, H. Yamada, M. Maeda, T. Worsch, and H. Umeo: A design of firing squad synchronization algorithms for a multi-general problem and their implementations (in Japanese). Technical Report of IEICE NLP2002-133(2003), 103–108.
I. Korec: Real-time generation of primes by a one-dimensional cellular automaton with 11 states. Proc. of 22nd Intern. Symp. on MFCS '97, Lecture Notes in Computer Science, 1295, pp. 358–367, (1997).
T. Legendi and E. Katona: A 5-state solution of the early bird problem in a one-dimensional cellular space. Acta Cybernetica, Vol.5, No.2, pp. 173–179, (1981).
T. Legendi and E. Katona: A solution of the early bird problem in an n-dimensional cellular space. Acta Cybernetica, Vol.7, No.1, pp. 81–87, (1984).
J. Mazoyer: A six-state minimal time solution to the firing squad synchronization problem. Theoretical Computer Science, vol. 50(1987), pp. 183–238.
J. Mazoyer: On optimal solutions to the firing squad synchronization problem. Theoretical Computer Science, vol. 168(1996), pp. 367–404.
E. F. Moore: The firing squad synchronization problem. in Sequential Machines, Selected Papers (E. F. Moore ed.), Addison-Wesley, Reading MA., (1964), pp. 213–214.
J. Nishimura, T. Sogabe and H. Umeo: A Design of Optimum-Time Firing Squad Synchronization Algorithm on 1-Bit Cellular Automaton. Proc. of The 8th International Symposium on Artificial Life and Robotics, pp. 381–386, (2003).
P. Rosenstiehl, J. R. Fiksel, and A. Holliger: Intelligent graphs: Networks of finite automata capable of solving graph problems. in Graph Theory and Computing (R. C. Read ed.), (1972), Academic Press, New York, pp.219–265.
I. Shinahr: Two-and three-dimensional firing squad synchronization problems. Information and Control, vol. 24(1974), pp. 163–180.
H. Szwerinski: Time-optimum solution of the firing-squadsynchronization-problem for n-dimensional rectangles with the general at an arbitrary position. Theoretical Computer Science, vol. 19(1982), pp. 305–320.
S. L. Torre, M. Napoli and M. Parente: A compositional approach to synchronize two dimensional networks of processors. Theoretical Informatics and Applications, 34 (2000) pp. 549–564.
H. Umeo: Linear-time recognition of connectivity of binary images on 1-bit inter-cell communication cellular automaton. Parallel Computing, 27, pp. 587–599, (2001).
H. Umeo and N. Kamikawa: A design of real-time non-regular sequence generation algorithms and their implementations on cellular automata with 1-bit inter-cell communications. Fundamenta Informaticae, 52 (2002) 255–275.
H. Umeo and N. Kamikawa: An infinite prime sequence can be generated in real-time by 1-bit inter-cell communication cellular automaton. Pre-proc. of The 6th International Conference on Developments in Language Theory, Univ. of Kyoto Sangyo, (2002), pp.372–382.
H. Umeo, M. Maeda and N. Fujiwara: An efficient mapping scheme for embedding any one-dimensional firing squad synchronization algorithm onto two-dimensional arrays. Proc. of the 5th International Conference on Cellular Automata for Research and Industry, LNCS 2493, Springer-Verlag, pp.69–81 (2000).
H. Umeo, M. Hisaoka, K. Michisaka, K. Nishioka and Masashi Maeda: Some new generalized synchronization algorithms and their implementations for large scale cellular automata. Proc. of The Third International Conference on Unconventional Models of Computation (C. S. Calude, M. J. Dinneen and F. Pepper Eds.), 2002, pp.276–286.
R. Vollmar: On two modified problems of synchronization in cellular automata. Acta Cybernetica, Vol.3, No.4, pp. 293–300, (1978).
R. Vollmar: Algorithmen in Zellelarautomaten. Teubner, p. 192, Stuttgart, (1979).
A. Waksman: An optimum solution to the firing squad synchronization problem. Information and Control, vol. 9(1966), pp. 66–78.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Umeo, H., Michisaka, K., Kamikawa, N., Kinugasa, Y. (2005). Efficient 1-Bit-Communication Cellular Algorithms. In: Bock, H.G., Phu, H.X., Kostina, E., Rannacher, R. (eds) Modeling, Simulation and Optimization of Complex Processes. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-27170-8_38
Download citation
DOI: https://doi.org/10.1007/3-540-27170-8_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23027-4
Online ISBN: 978-3-540-27170-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)