Skip to main content
SpringerLink
Log in

Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges

  • Conference paper
Membrane Computing (CMC 2013)

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

Included in the following conference series:

  • 685 Accesses

Abstract

We resume computational complexity aspects of several models of membrane systems, namely P systems with active membranes, P systems with proteins on membranes and tissue P systems both with membrane separation and membrane division. A sequence of common issues is studied in relation to these P system models, and 16 open problems are stated in the text.

We question the role of families of P systems and their necessity to solve computationally hard problems in polynomial time. For each P system model we focus on conditions guaranteeing the polynomial equivalence of families of P systems and Turing machines. The ability of P systems to solve NP/co-NP-complete problems in polynomial time (trading space for time) is a very popular issue. Interesting characterizations of the borderline between tractability and intractability, i.e., P/NP, have been recently shown. Similarly important, although less popular, is the relation between NP/co-NP and further classes as PP, the polynomial hierarchy PH and PSPACE. Several models of P systems has been shown to characterize the class PSPACE which itself characterizes parallel computations with an unlimited number of processors but a limited propagation of data between them.

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

Access this chapter

Log in via an institution
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alhazov, A., Leporati, A., Mauri, G., Porreca, A., Zandron, C.: The computational power of exponential-space P systems with active membranes. In: Martínez-del-Amor, M., Păun, G., Pérez-Hurtado, I., Romero-Campero, F. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, pp. 35–60. Fénix Editora, Sevilla (2012)

    Google Scholar 

  2. Alhazov, A., Martín-Vide, C., Pan, L.: Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundamenta Informaticae 58(2), 67–77 (2003)

    MathSciNet  Google Scholar 

  3. Alhazov, A., Pérez-Jiménez, M.J.: Uniform solution of QSAT using polarizationless active membranes. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol. 4664, pp. 122–133. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. 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 

  5. Bernardini, F., Gheorghe, M.: Cell communication in tissue P systems and cell division in population P systems. Soft Computing 9(9), 640–649 (2005)

    Article  MATH  Google Scholar 

  6. Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS, vol. 3082, pp. 257–278. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.): CMC 2012. LNCS, vol. 7762. Springer, Heidelberg (2013)

    MATH  Google Scholar 

  8. Díaz-Pernil, D., Pérez-Jiménez, M.J., Romero-Jiménez, Á.: Efficient simulation of tissue-like p systems by transition cell-like p systems. Natural Computing 8(4), 797–806 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  9. Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2007. LNCS, vol. 4860. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  10. Freund, R., Păun, G., Pérez-Jiménez, M.: Tissue P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  11. Gutiérrez-Escudero, R., Pérez-Jiménez, M., Rius-Font, M.: Characterizing tractability by tissue-like P systems. In: Păun, et al. (eds.) [36], pp. 289–300

    Google Scholar 

  12. Krishna, S., 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 

  13. Krishna, S.N.: On the computational power of flip-flop proteins on membranes. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 695–704. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Lakshmanan, K., Rama, R.: The computational efficiency of insertion deletion tissue P systems. In: Subramanian, K., Rangarajan, K., Mukund, M. (eds.) Formal Models, Languages and Applications, pp. 235–245. World Scientific (2006)

    Google Scholar 

  15. van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, vol. A: Algorithms and Complexity. Elsevier, Amsterdam (1990)

    MATH  Google Scholar 

  16. Leporati, A.: Computational complexity of P systems with active membranes. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013, vol. 8340, pp. 19–32. Springer, Heidelberg (2014)

    Google Scholar 

  17. Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M., Zandron, C.: Complexity aspects of polarizationless membrane systems. Natural Computing 8(4), 703–717 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  18. Macías-Ramos, L.F., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rius-Font, M., Valencia-Cabrera, L.: The efficiency of tissue P systems with cell separation relies on the environment. In: Csuhaj-Varjú, et al. (eds.) [7], pp. 243–256

    Google Scholar 

  19. 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. 573–679. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Martín Vide, C., Pazos, J., Păun, G., Rodríguez Patón, A.: Tissue P systems. Theoretical Computer Science 296, 295–326 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  21. Minsky, M.: Computation – Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  22. Murphy, N.: Uniformity Conditions for Membrane Systems: Uncovering Complexity Below P. National University of Ireland, Maynooth, PhD thesis (2010)

    Google Scholar 

  23. Murphy, N., Woods, D.: Active membrane systems without charges and using only symmetric elementary division characterise P. In: Eleftherakis, et al. (eds.) [9], pp. 367–384

    Google Scholar 

  24. Pan, L., Ishdorj, T.O.: P systems with active membranes and separation rules. Journal of Universal Computer Science 10(5), 630–649 (2004)

    MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  26. Pan, L., Pérez-Jiménez, M.J., Riscos, A., Rius, M.: New frontiers of the efficiency in tissue P systems. In: Pan, L., Paun, G., Song, T. (eds.) Preproceedings of Asian Conference on Membrane Computing, pp. 61–73. Huazhong University of Science and Technology, Wuhan, China (2012)

    Google Scholar 

  27. Păun, A., Rodríguez-Patón, A.: On flip-flop membrane systems with proteins. In: Eleftherakis, et al. (eds.) [9], pp. 414–427

    Google Scholar 

  28. Pérez-Jiménez, M.: A computational complexity theory in membrane computing. In: Păun, et al. (eds.) [36], pp. 125–148

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  30. Pérez-Jiménez, M., Sosík, P.: Improving the efficiency of tissue P systems with cell separation. In: Martínez-del-Amor, M., Păun, G., Pérez-Hurtado, I., Romero-Campero, F. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, pp. 105–140. Fénix Editora, Sevilla (2012)

    Google Scholar 

  31. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P systems with elementary active membranes: Beyond NP and coNP. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 338–347. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  32. 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 (2012)

    Google Scholar 

  33. Păun, A., Popa, B.: P systems with proteins on membranes. Fundamenta Informaticae 72(4), 467–483 (2006)

    MATH  MathSciNet  Google Scholar 

  34. Păun, A., Popa, B.: P systems with proteins on membranes and membrane division. In: Ibarra, O.H., Dang, Z. (eds.) DLT 2006. LNCS, vol. 4036, pp. 292–303. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

    Article  MATH  Google Scholar 

  36. Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.): WMC 2009. LNCS, vol. 5957. Springer, Heidelberg (2010)

    Google Scholar 

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

    MATH  Google Scholar 

  38. Păun, G.: P systems with active membranes: attacking NP-complete problems. J. Automata, Languages and Combinatorics 6(1), 75–90 (2001)

    MATH  Google Scholar 

  39. Sosík, P.: Limits of the power of tissue P systems with cell division. In: Csuhaj-Varjú, et al. (eds.) [7], pp. 390–403

    Google Scholar 

  40. Sosík, P., Cienciala, L.: Tissue P systems with cell separation: Upper bound by PSPACE. In: Dediu, A.-H., Martín-Vide, C., Truthe, B. (eds.) TPNC 2012. LNCS, vol. 7505, pp. 201–215. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  41. Sosík, P., Rodríguez-Patón, A.: Membrane computing and complexity theory: A characterization of PSPACE. J. Comput. System Sci. 73(1), 137–152 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  42. Sosík, P.: Selected topics in computational complexity of membrane systems. In: Kelemen, J., Kelemenová, A. (eds.) Păun Festschrift. LNCS, vol. 6610, pp. 125–137. Springer, Heidelberg (2011)

    Google Scholar 

  43. Sosík, P., Păun, A., Rodríguez-Patón, A.: P systems with proteins on membranes characterize pspace. Theoretical Computer Science 488, 78–95 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  44. Valsecchi, A., Porreca, A., Leporati, A., Mauri, G., Zandron, C.: An efficient simulation of polynomial-space turing machines by P systems with active membranes. In: Păun, et al. (eds.) [36], pp. 461–478

    Google Scholar 

  45. Zandron, C., Ferretti, C., Mauri, G.: Solving NP-complete problems using P systems with active membranes. In: Antoniou, I., Calude, C., Dinneen, M. (eds.) UMC, pp. 289–301. Springer, Heidelberg (2001)

    Google Scholar 

  46. Zandron, C., Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M.: On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution. Fundam. Inform. 87(1), 79–91 (2008)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Institute of the IT4Innovations Centre of Excellence, Faculty of Philosophy and Science, Silesian University in Opava, 74601, Opava, Czech Republic

    Petr Sosík

Authors
  1. Petr Sosík
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, 5 Academiei Str, MD 2028, Chişinău, Republic of Moldova

    Artiom Alhazov  & Yurii Rogozhin  & 

  2. Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, 5 Academiei Str., MD 2028, Chişinău, Republic of Moldova

    Svetlana Cojocaru

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

    Marian Gheorghe

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

    Grzegorz Rozenberg

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

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sosík, P. (2014). Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2013. Lecture Notes in Computer Science, vol 8340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54239-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54239-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54238-1

  • Online ISBN: 978-3-642-54239-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation