Skip to main content
Springer Nature Link
Log in

The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment

  • Conference paper
Membrane Computing (CMC 2012)

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

Included in the following conference series:

  • 778 Accesses

Abstract

The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements are available in an arbitrarily large amount of copies. These objects are shared in a distinguished place of the system, called the environment. This ability of having infinitely many copies of some objects has been widely exploited in the design of efficient solutions to computationally hard problems by means of tissue P systems.

This paper deals with computational aspects of tissue P systems with cell separation where there is no such environment as described above. The main result is that only tractable problems can be efficiently solved by using this kind of P systems. Bearing in mind that NP–complete problems can be efficiently solved by using tissue P systems without environment and with cell division, we deduce that in the framework of tissue P systems without environment, the kind of rules (separation versus division) provides a new frontier of the tractability of decision problems.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

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., Oswald, M.: Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 100–111. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Bernardini, F., Gheorghe, M.: Cell Communication in Tissue P Systems and Cell Division in Population P Systems. Soft Comput. 9(9), 640–649 (2005)

    Article  MATH  Google Scholar 

  3. Ciobanu, G., Păun, G., Pérez-Jiménez, M.J.: Applications of Membrane Computing. Natural Computing Series. Springer (2006)

    Google Scholar 

  4. Freund, R., Păun, G., Pérez-Jiménez, M.J.: Tissue P Systems with channel states. Theor. Comput. Sci. 330, 101–116 (2005)

    Article  MATH  Google Scholar 

  5. Díaz-Pernil, D., Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A uniform family of tissue P systems with cell division solving 3-COL in a linear time. Theor. Comput. Sci. 404(1-2), 76–87 (2008)

    Article  MATH  Google Scholar 

  6. Gutiérrez-Naranjo, M.A., Jesús Pérez-Jímenez, M., Romero-Campero, F.J.: A Linear Solution for QSAT with Membrane Creation. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 241–252. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Ito, M., Martín Vide, C., Păun, G.: A characterization of Parikh sets of ET0L laguages in terms of P systems. In: Ito, M., Păun, G., Yu, S. (eds.) Words, Semigroups and Transducers, pp. 239–254. World Scientific, Singapore (2001)

    Chapter  Google Scholar 

  8. Krishna, S.N., Lakshmanan, K., Rama, R.: Tissue P Systems with Contextual and Rewriting Rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 339–351. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Lakshmanan, K., Rama, R.: On the Power of Tissue P Systems with Insertion and Deletion Rules. In: Alhazov, A., Martín-Vide, C., Păun, G. (eds.) Preproceedings of the Workshop on Membrane Computing, Tarragona, Report RGML 28/03, pp. 304–318 (2003)

    Google Scholar 

  10. Martín-Vide, C., Pazos, J., Păun, G., Rodríguez-Patón, A.: A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. In: Ibarra, O.H., Zhang, L. (eds.) COCOON 2002. LNCS, vol. 2387, pp. 290–299. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Martín Vide, C., Pazos, J., Păun, G., Rodríguez Patón, A.: Tissue P systems. Theor. Comput. Sci. 296, 295–326 (2003)

    Article  MATH  Google Scholar 

  12. Pan, L., Ishdorj, T.-O.: P systems with active membranes and separation rules. J. Univers. Comput. Sci. 10(5), 630–649 (2004)

    MathSciNet  Google Scholar 

  13. Pan, L., Pérez-Jiménez, M.J.: Computational complexity of tissue–like P systems. J. Complexity 26(3), 296–315 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. Prakash, V.J.: On the Power of Tissue P Systems Working in the Maximal-One Mode. In: Alhazov, A., Martín-Vide, C., Păun, G. (eds.) Preproceedings of the Workshop on Membrane Computing, Tarragona, Report RGML 28/03, pp. 356–364 (2003)

    Google Scholar 

  15. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MATH  Google Scholar 

  16. Păun, G.: Attacking NP-complete problems. In: Antoniou, I., Calude, C., Dinneen, M.J. (eds.) Unconventional Models of Computation, UMC 2K, pp. 94–115. Springer (2000)

    Google Scholar 

  17. Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)

    Book  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  19. Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A.: Tissue P Systems with cell division. Int. J. Comput. Commun. 3(3), 295–303 (2008)

    Google Scholar 

  20. Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press (2009)

    Google Scholar 

  21. Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Natural Computing 2(3), 265–285 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  22. Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: A polynomial complexity class in P systems using membrane division. J. Autom. Lang. Combin. 11(4), 423–434 (2006)

    MATH  Google Scholar 

  23. Pérez-Jiménez, M.J., Sosík, P.: Improving the efficiency of tissue P systems with cell separation. In: García-Quismondo, M., et al. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. II, pp. 105–140. Fénix Editora, Sevilla

    Google Scholar 

  24. Pérez-Jiménez, M.J., Riscos-Núñez, A., Rius-Font, M., Romero-Campero, F.J.: The role of the environment in tissue P systems with cell division. In: García-Quismondo, M., et al. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. II, pp. 89–104. Fénix Editora, Sevilla

    Google Scholar 

  25. Porreca, A.E., Murphy, N., Pérez-Jiménez, M.J.: An optimal frontier of the efficiency of tissue P systems with cell division. In: García-Quismondo, M., et al. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. II, pp. 141–166. Fénix Editora, Sevilla

    Google Scholar 

  26. Zhang, X., Wang, S., Niu, Y., Pan, L.: Tissue P systems with cell separation: attacking the partition problem. Science China Information Sciences 54(2), 293–304 (2011)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Group on Natural Computing Department of Computer Science and Artificial Intelligence, University of Sevilla, Spain

    Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez & Luis Valencia-Cabrera

  2. Department of Applied Mathematics IV, Universitat Politècnica de Catalunya, Spain

    Miquel Rius-Font

Authors
  1. Luis F. Macías-Ramos
    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. Miquel Rius-Font
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Luis Valencia-Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Algorithms and Their Applications, Eötvös Loránd University, , ,, Pázmány Péter sétány 1/c, 1117, Budapest, Hungary

    Erzsébet Csuhaj-Varjú

  2. Department of Computer Science, University of Sheffield, 211 Portobello Street, S1 4DP, Sheffield, UK

    Marian Gheorghe

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

    Grzegorz Rozenberg

  4. Turku Centre for Computer Science (TUCS), Leminkaisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

  5. Department of Computer Science, University of Debrecen, Kassai út 26, 4028, Debrecen, Hungary

    György Vaszil

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Macías-Ramos, L.F., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rius-Font, M., Valencia-Cabrera, L. (2013). The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds) Membrane Computing. CMC 2012. Lecture Notes in Computer Science, vol 7762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36751-9_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36751-9_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36750-2

  • Online ISBN: 978-3-642-36751-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics