Skip to main content
Springer Nature Link
Log in

P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P

  • Conference paper
Unconventional Computation (UC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3699))

Included in the following conference series:

Abstract

We study the computational efficiency of recognizer P systems with active membranes without polarizations and without dissolution. The main result of the paper is the following: the polynomial computational complexity class associated with the class of recognizer P systems is equal to the standard complexity class P.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alhazov, A., Freund, R., Păun, G.: P systems with active membranes and two polarizations. In: Păun, G., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/04, pp. 20–35 (2004)

    Google Scholar 

  2. Garey, M.R., Johnson, D.S.: Computers and Intractability. A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York (1979)

    MATH  Google Scholar 

  3. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A fast P system for finding a balanced 2-partition. Soft Computing (in press)

    Google Scholar 

  4. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Romero-Campero, F.J.: Solving SAT with membrane creation. In: Barry Cooper, S., Lowe, B., Torenvliet, L. (eds.) CiE 2005: New Computational Paradigms, Amsterdan, Report ILLC X-2005-01, University of Amsterdam, pp. 82–91 (2005)

    Google Scholar 

  5. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Romero-Campero, F.J.: A linear solution for QSAT with Membrane Creation (2005) (submitted)

    Google Scholar 

  6. Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Computing 20(3), 295–305 (2002)

    Article  MATH  Google Scholar 

  7. Păun, G.: Computing with membranes: Attacking NP–complete problems. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds.) Unconventional Models of Computation, pp. 94–115 (2000)

    Google Scholar 

  8. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  9. Păun, G., Pérez-Jiménez, M.J.: Recent computing models inspired from biology: DNA and membrane computing. Theoria 18(46), 72–84 (2003)

    Google Scholar 

  10. Păun, G.: Further open problems in membrane computing. In: Păun, G., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/04, University of Seville, pp. 354–365 (2004)

    Google Scholar 

  11. Pérez–Jiménez, M.J.: An approach to computational complexity in Membrane Computing. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 85–109. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Pérez–Jiménez, M.J., Riscos–Núñez, A.: A linear time solution to 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. 250–268. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving the Subset-Sum problem by active membranes. New Generation Computing (in press)

    Google Scholar 

  14. Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear 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. 250–268. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Pérez-Jiménez, M.J., Romero-Campero, F.J.: Solving the BIN PACKING problem by recognizer P systems with active membranes. In: Păun, G., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/04, University of Seville, pp. 414–430 (2004)

    Google Scholar 

  16. 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., Vaszil, G. (eds.) Proceedings of the 5th Workshop on Descriptional Complexity of Formal Systems, DCFS 2003, pp. 284–294 (2003)

    Google Scholar 

  17. Sosik, P.: The computational power of cell division. Natural Computing 2(3), 287–298 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  18. Spears, W.M.: Evolutionary Algorithms. The role of mutation and recombination. Natural Computing Series. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  19. ISI web page, http://esi-topics.com/erf/october2003.html

  20. P systems web page, http://psystems.disco.unimib.it/

Download references

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez & Francisco J. Romero-Campero

Authors
  1. Miguel A. Gutiérrez-Naranjo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Agustín Riscos-Núñez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francisco J. Romero-Campero
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Auckland, New Zealand

    Cristian S. Calude

  2. Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand

    Michael J. Dinneen

  3. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  4. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes, 41012, Sevilla, Spain

    Mario J. Pérez-Jímenez

  5. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A., Romero-Campero, F.J. (2005). P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P. In: Calude, C.S., Dinneen, M.J., Păun, G., Pérez-Jímenez, M.J., Rozenberg, G. (eds) Unconventional Computation. UC 2005. Lecture Notes in Computer Science, vol 3699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560319_11

Download citation

  • DOI: https://doi.org/10.1007/11560319_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29100-8

  • Online ISBN: 978-3-540-32022-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics