Abstract
We present an improved solution for the Firing Squad Synchronization Problem (FSSP) for digraph-structured P systems. We improve our previous FSSP algorithm by allowing the general to delegate a more central cell in the P system to send the final command to synchronize. With e being the eccentricity of the general and r denoting the radius of the underlying digraph, our new algorithm guarantees to synchronize all cells of the system, between e + 2r + 3 steps (for all trees structures and many digraphs) and up to 3e + 7 steps, in the worst case for any digraph. Empirical results show our new algorithm for tree-structured P systems yields at least 20% reduction in the number of steps needed to synchronize over the previous best-known algorithm.
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
Alhazov, A., Margenstern, M., Verlan, S.: Fast Synchronization in P Systems. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 118–128. Springer, Heidelberg (2009)
Balzer, R.: An 8-state minimal time solution to the firing squad synchronization problem. Information and Control 10(1), 22–42 (1967)
Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S.: How to synchronize the activity of all components of a P system? Int. J. Found. Comput. Sci. 19(5), 1183–1198 (2008)
Berthiaume, A., Bittner, T., Perkovic, L., Settle, A., Simon, J.: Bounding the firing synchronization problem on a ring. Theor. Comput. Sci. 320(2-3), 213–228 (2004)
Dinneen, M.J., Kim, Y.-B., Nicolescu, R.: Faster synchronization in P systems. Natural Computing, 1–9 (2011)
Goto, E.: A minimal time solution of the firing squad problem. In: Course Notes for Applied Mathematics, vol. 298, pp. 52–59. Harvard University (1962)
Grefenstette, J.J.: Network structure and the firing squad synchronization problem. J. Comput. Syst. Sci. 26(1), 139–152 (1983)
Hagberg, A.A., Schult, D.A., Swart, P.J.: Exploring network structure, dynamics, and function using NetworkX. In: Proceedings of the 7th Python in Science Conference (SciPy 2008), Pasadena, CA, USA, pp. 11–15 (August 2008)
Ionescu, M., Sburlan, D.: On P systems with promoters/inhibitors. J. UCS 10(5), 581–599 (2004)
Kobayashi, K.: The firing squad synchronization problem for a class of polyautomata networks. J. Comput. Syst. Sci. 17(3), 300–318 (1978)
Martín-Vide, C., Păun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theor. Comput. Sci. 296(2), 295–326 (2003)
Moore, E.F.: The firing squad synchronization problem. In: Moore, E. (ed.) Sequential Machines, Selected Papers, pp. 213–214. Addison-Wesley, Reading (1964)
Moore, F.R., Langdon, G.G.: A generalized firing squad problem. Information and Control 12(3), 212–220 (1968)
Nishitani, Y., Honda, N.: The firing squad synchronization problem for graphs. Theor. Comput. Sci. 14, 39–61 (1981)
Păun, G.: Membrane Computing: An Introduction. Springer-Verlag New York, Inc., Secaucus (2002)
Păun, G.: Introduction to membrane computing. In: Ciobanu, G., Pérez-Jiménez, M.J., Păun, G. (eds.) Applications of Membrane Computing. Natural Computing Series, pp. 1–42. Springer, Heidelberg (2006)
Schmid, H., Worsch, T.: The firing squad synchronization problem with many generals for one-dimensional CA. In: Lévy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) IFIP TCS, pp. 111–124. Kluwer (2004)
Stein, W.A., et al.: Sage Mathematics Software (Version 4.6). The Sage Development Team (2010), http://www.sagemath.org
Umeo, H., Kamikawa, N., Nishioka, K., Akiguchi, S.: Generalized firing squad synchronization protocols for one-dimensional cellular automata—a survey. Acta Physica Polonica B Proceedings Supplement 3(2), 267–289 (2010)
Waksman, A.: An optimum solution to the firing squad synchronization problem. Information and Control 9(1), 66–78 (1966)
Weisstein, E.W.: Prüfer code, from MathWorld—a Wolfram web resource, http://mathworld.wolfram.com/PrueferCode.html (accessed April 8, 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dinneen, M.J., Kim, YB., Nicolescu, R. (2012). An Adaptive Algorithm for P System Synchronization. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds) Membrane Computing. CMC 2011. Lecture Notes in Computer Science, vol 7184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28024-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-28024-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28023-8
Online ISBN: 978-3-642-28024-5
eBook Packages: Computer ScienceComputer Science (R0)