Abstract
The paper deals with the vivid area of computing with membranes (P systems). We improve here two recent results about the socalled P systems with active membranes. First, we show that the Hamiltonian Path Problem can be solved in polynomial time by P systems with active membranes where the membranes are only divided into two new membranes (a result of this type was obtained by Krishna and Rama, [4], but making use of the possibility of dividing a membrane in an arbitrary number of new membranes). We also show that HPP can be solved in polynomial time also by a variant of P systems, with the possibility of dividing non-elementary membranes under the influence of objects present in them. Then, we show that membrane division (and even membrane dissolving) is not necessary in order to show that such systems are computationally complete.
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
L. M. Adleman, Molecular computation of solutions to combinatorial problems, Science, 226 (1994), 1021–1024.
J. Dassow, Gh. Păun, On the power of membrane computing, Journal of Universal Computer Science, 5, 2 (1999),33–49.
R. Freund, Generalized P systems, Fundamentals of Computation Theory, FCT’99, Iaşi, 1999, (G. Ciobanu, Gh. Păun, eds.), LNCS 1684, Springer, 1999,281–292.
S. N. Krishna, R. Rama, A variant of P systems with active membranes: Solving NP-complete problems, Romanian J. of Information Science and Technology, 2, 4 (1999), 357–367.
C. Martin-Vide, V. Mitrana, P systems with valuation, submitted, 2000.
Gh. Păun, Computing with membranes, J. of Computer and System Sciences, 61 (2000).
Gh. Păun, P systems with active membranes: Attacking NP complete problems, J. of Automata, Languages and Combinatorics, to appear.
Gh. Păun, G. Rozenberg, A. Salomaa, Membrane computing with external output, Fundamenta Informaticae, 41, 3 (2000),259–266.
Gh. Păun, Y. Suzuki, H. Tanaka, T. Yokomori, On the power of membrane division in P systems, Proc. Conf. on Words, Languages, and Combinatorics, Kyoto, 2000.
G. Rozenberg, A. Salomaa, eds., Handbook ofPormal Languages, Springer-Verlag, Berlin, 1997.
Y. Suzuki, H. Tanaka, On a liSP implementation of a class of P systems, Romanian J. of Information Science and Technology, 3,2 (2000).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London
About this paper
Cite this paper
Păun, A. (2001). On P Systems with Active Membranes. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds) Unconventional Models of Computation, UMC’2K. Discrete Mathematics and Theoretical Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-0313-4_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0313-4_15
Publisher Name: Springer, London
Print ISBN: 978-1-85233-415-4
Online ISBN: 978-1-4471-0313-4
eBook Packages: Springer Book Archive