Advertisement

Efficient 1-Bit-Communication Cellular Algorithms

  • Hiroshi Umeo
  • Koshi Michisaka
  • Naoki Kamikawa
  • Yuichi Kinugasa
Conference paper

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    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).Google Scholar
  2. [2]
    R. Balzer: An 8-state minimal time solution to the firing squad synchronization problem. Information and Control, vol. 10(1967), pp. 22–42.CrossRefGoogle Scholar
  3. [3]
    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.MATHMathSciNetGoogle Scholar
  4. [4]
    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).MATHCrossRefGoogle Scholar
  5. [5]
    E. Goto: A minimal time solution of the firing squad problem. Dittoed course notes for Applied Mathematics 298, Harvard University, (1962), pp. 52–59.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    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).Google Scholar
  8. [8]
    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).MathSciNetGoogle Scholar
  9. [9]
    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).MathSciNetGoogle Scholar
  10. [10]
    J. Mazoyer: A six-state minimal time solution to the firing squad synchronization problem. Theoretical Computer Science, vol. 50(1987), pp. 183–238.MATHMathSciNetCrossRefGoogle Scholar
  11. [11]
    J. Mazoyer: On optimal solutions to the firing squad synchronization problem. Theoretical Computer Science, vol. 168(1996), pp. 367–404.MATHMathSciNetCrossRefGoogle Scholar
  12. [12]
    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.Google Scholar
  13. [13]
    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).Google Scholar
  14. [14]
    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.Google Scholar
  15. [15]
    I. Shinahr: Two-and three-dimensional firing squad synchronization problems. Information and Control, vol. 24(1974), pp. 163–180.MATHMathSciNetCrossRefGoogle Scholar
  16. [16]
    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.MathSciNetCrossRefGoogle Scholar
  17. [17]
    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.MathSciNetCrossRefGoogle Scholar
  18. [18]
    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).MATHMathSciNetCrossRefGoogle Scholar
  19. [19]
    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.MathSciNetGoogle Scholar
  20. [20]
    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.Google Scholar
  21. [21]
    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).Google Scholar
  22. [22]
    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.Google Scholar
  23. [23]
    R. Vollmar: On two modified problems of synchronization in cellular automata. Acta Cybernetica, Vol.3, No.4, pp. 293–300, (1978).MathSciNetGoogle Scholar
  24. [24]
    R. Vollmar: Algorithmen in Zellelarautomaten. Teubner, p. 192, Stuttgart, (1979).Google Scholar
  25. [25]
    A. Waksman: An optimum solution to the firing squad synchronization problem. Information and Control, vol. 9(1966), pp. 66–78.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Hiroshi Umeo
    • 1
  • Koshi Michisaka
    • 2
  • Naoki Kamikawa
    • 3
  • Yuichi Kinugasa
    • 1
  1. 1.Univ. of Osaka Eletcro-CommunicationJapan
  2. 2.Internet Initiative JapanJapan
  3. 3.Noristu KokiJapan

Personalised recommendations