A design of generalized minimum-state-change FSSP algorithms and their implementations
- 46 Downloads
The firing squad synchronization problem (FSSP) on cellular automata has been studied extensively for more than 50 years, and a rich variety of FSSP algorithms has been proposed. Here we consider the FSSP from a view point of state-change complexity that models the energy consumption of SRAM-type storage with which cellular automata might be built. In the present paper, we propose minimum-state-change generalized FSSP (GFSSP) algorithms for synchronizing any one-dimensional (1D) cellular automaton, where the initial synchronization operation is started by any cell in the array. First, we construct two minimum-time, minimum-state-change GFSSP implementations on finite state automata: one is based on Goto’s algorithm, known as the first minimum-time FSSP algorithm that was reconstructed again recently in Umeo et al. (A new reconstruction and the first implementation of Goto’s FSSP algorithm, 2017), and the other is based on Gerken’s (Diplomarbeit, Institut für Theoretische Informatik, Technische Universität Braunschweig, pp 1–50, 1987) one. These implementations are optimal not only in time but also in the state-change complexity. The implementations of the minimum-time GFSSP algorithms are the first ones having the minimum-state-change complexity. In addition, we also present a six-state 145-rule non-minimum-time, minimum-state-change GFSSP implementation. The implemented GFSSP algorithm is the smallest one, known at present, in number of states of the finite state automaton.
KeywordsCellular automaton Firing squad synchronization problem FSSP State-change complexity
A part of this work is supported by JSPS 16K00026.
- Gerken H-D (1987) Über Synchronisationsprobleme bei Zellularautomaten. Diplomarbeit, Institut für Theoretische Informatik. Technische Universität BraunschweigGoogle Scholar
- Goto E (1962) A minimal time solution of the firing squad problem. Dittoed course notes for Applied Mathematics 298 (with an illustration in color). Harvard University, HarvardGoogle Scholar
- Moore EF (1964) The firing squad synchronization problem. In: Moore EF (ed) Sequential machines, selected papers. Addison-Wesley, Reading, pp 213–214Google Scholar
- Schmid H, Worsch T (2004) The firing squad synchronization problem with many generals for one-dimensional CA. In: Proceedings of IFIP World Congress, pp 111–124Google Scholar
- Umeo H (1996) A note on firing squad synchronization algorithms–a reconstruction of Goto’s first-in-the-world optimum-time firing squad synchronization algorithm. In: Kutrib M, Worsch T (eds) Proceedings of IFIP cellular automata workshop 1996. Schloss Rauischholzhausen, Giessen, p 65Google Scholar
- Umeo H (2004) A simple design of time-efficient firing squad synchronization algorithms with fault-tolerance. IEICE Trans Inf Syst E87–D(3):733–739Google Scholar
- Umeo H, Imai K (2016) A class of minimum-time, minimum-state-change generalized FSSP algorithms. In: El Yacoubi S et al (eds) Proceedings of ACRI 2016, LNCS, vol 9863. Springer, Heidelberg, pp 1–11Google Scholar
- Umeo H, Kamikawa N, Nishioka K, Akiguchi S (2010) Generalized firing squad synchronization protocols for one-dimensional cellular automata—a survey. Acta Phys Pol B Proc Suppl 3:267–289Google Scholar
- Umeo H, Maeda M, Sousa A, Taguchi K (2015a) A class of non-optimum-time \(3n\)-step FSSP algorithms—a survey. In: Proceedings of the 13th international conference on parallel computing technologies, PaCT 2015, LNCS, vol 9251. Springer, Heidelberg, pp 231–245Google Scholar
- Umeo H, Imai K, Sousa A (2015b) A generalized minimum-time, minimum-state-change FSSP algorithm. In: Proceedings of the 4th international conference on the theory and practise of natural computing, TPNC 2015, LNCS, vol 9477. Springer, Heidelberg, pp 161–173Google Scholar
- Umeo H, Hirota M, Nozaki Y, Imai K, Sogabe T (2017) A new reconstruction and the first implementation of Goto’s FSSP algorithm. Appl Math Comput. doi: 10.1016/j.amc.2017.05.015