Abstract
The P systems are a class of distributed parallel computing devices of a biochemical type. In this note, we show that by using membrane separation to obtain exponential workspace, SAT problem can be solved in linear time in a uniform and confluent way by active P systems without polarizations. This improves some results already obtained by A. Alhazov, T.-O. Isdorj. A universality result related to membrane separation is also obtained.
Similar content being viewed by others
References
Alhazov A, Ishdorj T-O (2004) Membrane operations in P systems with active membranes. In: Păun Gh, Riscos-Núñez A, Romero-Jiménez A, Sancho-Capparini F (eds) Second Brainstorming Week on Membrane Computing, Sevilla, 2-7 February 2004, Research Group on Natural Computing TR 01/2004, University of Seville, 37–44
Alhazov A, Pan L, Păun Gh (submitted) Trading polarizations for labels in P systems with active membranes
Dassow J, Păun Gh (1989) Regulated rewriting in formal language theory, Springer, Berlin
Păun Gh (2000) Computing with membranes. Journal of Computer and System Sciences 61(1):108–143
Păun Gh (2002) Membrane computing: An introduction, Springer, Berlin Heidelberg New York
Pérez-Jiménez MJ, Romero-Jiménez A, Sancho-Caparrini F (2003) Complexity classes in models of cellular computing with membranes. Natural Computing 2(3):265–285
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Prof. Zhang Kemin for his 70th birthday
Rights and permissions
About this article
Cite this article
Pan, L., Alhazov, A. & Isdorj, TO. Further remarks on P systems with active membranes, separation, merging, and release rules. Soft Comput 9, 686–690 (2005). https://doi.org/10.1007/s00500-004-0399-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-004-0399-y