Abstract
In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of power represented by avoiding polarizations, we use bi-stable catalysts. Polarizationless systems with active membranes which use bi-stable catalysts are proven to be computationally complete and able to solve efficiently NP-complete problems. In this paper we present a solution to SAT in linear time. In order to illustrate the presented solution, we also provide a simulation with CLIPS.
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
Freund, R., Kari, L., Oswald, M., Sosik, P.: Computationally universal P systems without priorities: Two catalysts suffice. Theoretical Computer Sci. (to appear)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, G.: Computing with membranes. Journal of computer and Systems Sciences 61(1), 108–143 (2000)
Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A.: P systems with tables of rules. In: Păun, G., RiscosNúñez, A., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/04, pp. 366–380 (2004)
Păun, G., Yu, S.: On synchronization in P systems. Fundamenta Informaticae 38(4), 397–410 (1999)
Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Teoría de la Complejidad en modelos de computacion celular con membranas. Ed. Kronos, Sevilla (2002)
Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving the Subset-Sum problem by active membranes. New Generation Computing (in press)
Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear-time solution for the Knapsack problem using active membranes. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 140–152. Springer, Heidelberg (2004)
Pérez-Jiménez, M.J., Romero-Campero, F.J.: A CLIPS simulator for recognizer P systems with active membranes. In: Păun, G., Riscos-Núñez, A., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/04, pp. 387–413 (2004)
Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: A polynomial complexity class in P systems using membrane division. In: Csuhaj-Varjú, E., Kintala, C., Wotschke, D., Vaszyl, G. (eds.) Proceedings of the Fifth International Workshop on Descriptional Complexity of Formal Systems, pp. 284–294 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pérez-Jiménez, M.J., Romero-Campero, F.J. (2005). Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2004. Lecture Notes in Computer Science, vol 3365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31837-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-31837-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25080-7
Online ISBN: 978-3-540-31837-8
eBook Packages: Computer ScienceComputer Science (R0)