Abstract
We prove that P systems with active membranes operating under minimal parallelism are able to solve NP-complete and PP-complete problems in linear time and exponential space when using different types of rules. We also prove that these systems can simulate register machines.
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
Ciobanu, G., Pan, L., Păun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117–130 (2007)
Freund, R., Verlan, S.: A Formal Framework for Static (Tissue) P Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 271–284. Springer, Heidelberg (2007)
Frisco, P.: Computing with Cells. Advances in Membrane Computing. Oxford University Press (2009)
Ishdorj, T.-O.: Power and efficiency of minimal parallelism in polarizationless P systems. J. Autom. Lang. Comb. 11, 299–320 (2006)
Van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science. Elsevier and MIT Press (1990)
Mauri, G., Leporati, A., Porreca, A.E., Zandron, C.: Recent complexity-theoretic results on P systems with active membranes (2011) (submitted)
Minsky, M.L.: Computation: Finite and Infinite Machines. Automatic Computation. Prentice-Hall (1967)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley Pub. Co. (1994)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 1(61), 108–143 (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Computationally hard problems addressed through P systems. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, pp. 313–346. Springer, Heidelberg (2006)
Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P Systems with Elementary Active Membranes: Beyond NP and coNP. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 338–347. Springer, Heidelberg (2010)
Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Elementary active membranes have the power of counting. International Journal of Natural Computing Research (IJNCR) 2(3), 35–48 (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
Frisco, P., Govan, G. (2012). P Systems with Active Membranes Operating under Minimal Parallelism. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-28024-5_12
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)