Introducing a Space Complexity Measure for P Systems
Keywords:membrane computing, complexity theory.
We define space complexity classes in the framework of membrane computing, giving some initial results about their mutual relations and their connection with time complexity classes, and identifying some potentially interesting problems which require further research.
A. Alhazov, C. MartÃn-Vide, L. Pan, Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes, Fundamenta Informaticae, vol. 58(2), pp. 67-77, 2003.
A. Alhazov, M. J. PÃ©rez-JimÃ©nez, Uniform Solution of QSAT Using Polarizationless Active Mem-branes, in: J. Durand-Lose, M. Margenstern, eds., Machines, Computations, and Universality,5th International Conference, MCU 2007, OrlÃ©ans, France, Lecture Notes in Computer Science,vol. 4664, pp. 122-133, Springer, 2007.
M. A. GutiÃ©rrez-Naranjo, M. J. PÃ©rez-JimÃ©nez, A. Riscos-Nú-ez, F. J. Romero-Campero, P Systems with Active Membranes, without Polarizations and without Dissolution: A Characterizationof P, in: C. Calude, M. J. Dinneen, G. Paun, M. J. PÃ©rez-JimÃ©nez, G. Rozenberg, eds., Uncon-ventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, Lecture Notes inComputer Science, vol. 3699, pp. 105-116, Springer, 2005. https://doi.org/10.1007/11560319_11
A. Leporati, C. Ferretti, G. Mauri, M. J. PÃ©rez-JimÃ©nez, C. Zandron, Complexity Aspects of Po-larizationless Membrane Systems, Natural Computing, Special issue devoted to IWINAC 2007, toappear.
G. Paun, P-Systems with Active Membranes: Attacking NP Complete Problems, in: I. Antoniou,C. Calude, M. J. Dinneen, eds., Unconventional Models of Computation, 2nd International Confer-ence, UMC'2K, Brussels, Belgium, Springer, 2001.
G. Paun, Membrane Computing. An Introduction, Springer-Verlag, 2002.
M. J. PÃ©rez-JimÃ©nez, Ã. Romero JimÃ©nez, F. Sancho-Caparrini, Complexity Classes in Models ofCellular Computing with Membranes, Natural Computing, vol. 2(3), pp. 265-285, 2003. https://doi.org/10.1023/A:1025449224520
M. J. PÃ©rez-JimÃ©nez, Ã. Romero-JimÃ©nez, F. Sancho-Caparrini, The P versus NP Problem throughCellular Computing with Membranes, in: N. Jonoska, G. Paun, G. Rozenberg, eds., Aspects ofMolecular Computing, Lecture Notes in Computer Science, vol. 2950, pp. 338-352, Springer, 2004. https://doi.org/10.1007/978-3-540-24635-0_26
A. E. Porreca, G. Mauri, C. Zandron, Complexity Classes for Membrane Systems, RAIRO Theoret-ical Informatics and Applications, vol. 40(2), pp. 141-162, 2006. https://doi.org/10.1051/ita:2006001
P. SosÃk: The Computational Power of Cell Division in P Systems: Beating Down Parallel Computers?, Natural Computing, vol. 2(3), pp. 287-298, 2003. https://doi.org/10.1023/A:1025401325428
C. Zandron, C. Ferretti, G. Mauri, Solving NP-Complete Problems Using P Systems with ActiveMembranes, in: I. Antoniou, C. Calude, M. J. Dinneen, eds., Unconventional Models of Computation, 2nd International Conference, UMC'2K, Brussel, Belgium, Springer, 2001.
C. Zandron, A. Leporati, C. Ferretti, G. Mauri, M. J. PÃ©rez-JimÃ©nez, On the Computational Efficiency of Polarizationless Recognizer P systems with Strong Division and Dissolution, FundamentaInformaticae, vol. 87(1), pp. 79-91, 2008.
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.