Skip to main content

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

  • Conference paper

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

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.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Authors

Editor information

Editors and Affiliations

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