Skip to main content
SpringerLink
Log in

P systems with proteins: a new frontier when membrane division disappears

  • Regular Paper
  • Published:
Journal of Membrane Computing Aims and scope Submit manuscript

Abstract

P systems with active membranes are usually defined as devices hierarchically structured that evolve through rewriting rules. These rules take the inspiration on the chemical reactions that happen within a cell and the role of both the inner and the plasma membranes as a “filter”, letting components pass or not. Classically, these systems are non-cooperative, that is, the left-hand side of the rules has at most one object. Using polarizations, dissolution or cooperation, these systems have been proved to have enough power to efficiently solve computationally hard problems, obtaining new complexity frontiers with respect to their non-cooperative counterparts. In this paper, division rules are interchanged by separation rules. While the first ones produce two new membranes and two new objects, duplicating the objects within the original one, separation rules distribute the objects of the original membrane into the two new created membranes, so no new objects are created in this way. To obtain new objects, a rule of the type \([ \, a \rightarrow a^{2} \, ]\) would be needed to accomplish that feature that seems to be necessary to obtain efficient solutions to NP-complete problems. Here, we present the limits when using separation rules instead of division rules.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. Let us note that \(\varGamma _0\), \(\varGamma _1\), \(P_0\) and \(P_1\) are usually omitted when separation rules are not used.

References

  1. Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P. Molecular biology of the cell. 4th ed. New York: Garland Science; 2002.

    Google Scholar 

  2. Alhazov A, Freund R, Ivanov S. Extended spiking neural P systems with states. In: Graciani C, Orellana-Martín D, Riscos-Núñez A, Romero-Jiménez Á, Valencia-Cabrera L, editors. Proceedings of the fourteenth brainstorming week on membrane computing, Seville , 2016. p. 43–58. Report RGNC 01/2016, Fénix Editora, 2016.

  3. Alhazov A, Freund R. Variants of small universal P systems with catalysts. Fundam Inform. 2015;138(1–2):227–50.

    MathSciNet  MATH  Google Scholar 

  4. Bahi JM, Bienia W, Côté N, Guyeux C. Is protein folding problem really a NP-complete one? First investigations, (2013). arXiv:1306.1372.

  5. Brijder R, Cavaliere M, Riscos-Núñez A, Rozenberg G, Sburlan D. Membrane systems with proteins embedded in membranes. Theor Comput Sci. 2008;404(1–2):26–39.

    Article  MathSciNet  MATH  Google Scholar 

  6. Cardona M, Colomer MA, Pérez-Jiménez MJ, Sanuy D,Margalida A. Modeling ecosystems using P systems: The bearded vulture, a case study. Membrane Computing, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 2008;5391(2009):137–56.

  7. Cormen TH, Leiserson CE, Rivest RL. An introduction to algorithms. Cambridge: The MIT Press; 1994.

    MATH  Google Scholar 

  8. Frisco P, Gheorghe M, Pérez-Jiménez MJ. Applications of Membrane Computing in Systems and Synthetic Biology. Emergence, Complexity and Computation (Series ISSN 2194-7287), Volume 7. Springer International Publishing, eBook ISBN: 978-3-319-03191-0, Hardcover ISBN: 978-3-319-03190-3, 2014, XVII + 266 pages (https://doi.org/10.1007/978-3-319-03191-0).

  9. Gutiérrez-Naranjo MÁ, Pérez-Jiménez MJ, Riscos-Núñez A, Romero-Campero FJ. Characterizing tractability by cell-like membrane systems. In: Subramanian KG, Rangarajan K, Mukund M, editors. Formal models, languages and applications, World Scientific, Series in Machine Perception and Artificial Intelligence 66, chapter 9; Singapore: 2006. p. 137-154.

  10. Gutiérrez-Naranjo MÁ, Pérez-Jiménez MJ, Riscos-Núñez A, Romero-Campero FJ. On the power of dissolution in P systems with active membranes. In: Freund R, Păun Gh, Rozenberg Gr, Salomaa A, editors. Membrane computing. Vienna: 6th International Workshop, WMC 2005; 2005 Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3850, 224-240; 2006.

  11. Ionescu M, Păun Gh, Yokomori T. Spiking beural P systems. Fundam inform. 2006;71(2–3):279–308.

    MATH  Google Scholar 

  12. Leporati A, Manzoni L, Mauri G, Porreca AE, Zandron C. Open problems in membrane computing and how not to solve them. Bull Int Membr Comput Soc. 2018;5:69–76.

    MATH  Google Scholar 

  13. Macías-Ramos LF, Song B, Valencia-Cabrera L, Pan L, Pérez-Jiménez MJ. Membrane fission: a computational complexity perspective. Complexity. 2016;21(6):321–34.

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  15. Pan L, Ishdorj T-O. P systems with active membranes and separation rules. J Univ Comput Sci. 2004;10(5):630–49.

    MathSciNet  Google Scholar 

  16. Pan L, Păun Gh, Pérez-Jiménez MJ, Song T. Bio-inspired Computing: Theories and Applications. Communications in Computer and Information Science (Series ISSN 1865-0929), Volume 472, Springer-Verlag Berlin Heidelberg, Print ISBN: 978-3-662-45048-2, Online ISBN: 978-3-662-45049-9, 2014, p. XX + 672 (https://doi.org/10.1007/978-3-662-45049-9).

  17. Păun A, Popa B. P systems with proteins on membranes and membrane division. Developments in language theory, DLT, lecture notes in computer science, vol. 4036. Berlin, Heidelberg: Springer; 2006. p. 292–303.

    MATH  Google Scholar 

  18. Păun Gh. A Dozen of (Meta/Mega?) research topics. Bull Int Membr Comput Soc. 2017;4:107–12.

    Google Scholar 

  19. Păun Gh. Computing with membranes. J Comput Syst Sci. 2000;61(1):108–43 and Turku Center for CS-TUCS Report No. 208, 1998.

    Article  MathSciNet  MATH  Google Scholar 

  20. Peng H, Wang J, Ming J, Shi P, Pérez-Jiménez MJ, Yu W, Tao Ch. Fault diagnosis of power systems using intuitionistic fuzzy spiking neural P systems. IEEE transactions on smart grid. 2017;9(5):4777–84. https://doi.org/10.1109/TSG.2017.2670602 (in press).

    Article  Google Scholar 

  21. Pérez-Jiménez MJ, Riscos-Núñez A, Romero-Jiménez Á, Woods D. Complexity: Membrane division, membrane creation. In: Păun Gh, Rozenberg G, A. Salomaa, editors. The Oxford handbook of membrane computing, vol. 12. Oxford: Oxford University Press; 2009. p. 302–36.

    Google Scholar 

  22. Pérez-Jiménez MJ, Romero-Jiménez Á, Sancho-Caparrini F. Complexity classes in models of cellular computing with membranes. Nat Comput. 2003;2(3):265–85. https://doi.org/10.1023/A:1025449224520.

    Article  MathSciNet  MATH  Google Scholar 

  23. Romero-Campero FJ, Pérez-Jiménez MJ. A model of the quorum sensing system in vibrio Fischeri using P systems. Artif Life. 2008;14(1):95–109. https://doi.org/10.1162/artl.2008.14.1.95.

    Article  Google Scholar 

  24. Song B, Pérez-Jiménez MJ, Pan L. An efficient time-free solution to QSAT problem using P systems with proteins on membranes. Inform Comput. 2017;256:287–99.

    Article  MathSciNet  MATH  Google Scholar 

  25. Sosík P. Attacking hard problems beyond NP: a survey. Bull Intern Membr Comput Soc. 2017;4:89–106.

    Google Scholar 

  26. Sosík P. The power of catalysts and priorities in membrane systems. Grammars. 2003;6(1):13–24.

    Article  MathSciNet  MATH  Google Scholar 

  27. Sosík P, Freund R. P Systems without priorities are computationally universal. In Gh. Păun, Gr. Rozenberg, A. Salomaa, C. Zandron editors. Membrane Computing. Internat. Workshop, WMC-CdeA 2002, Curteă de Argeș, Romania, August 2002, Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003. p. 400–409.

  28. Sosík P, Păun A, Rodríguez-Patón A. P systems with proteins on membranes characterize PSPACE. Theor Comput Sci. 2013;488:78–95.

    Article  MathSciNet  MATH  Google Scholar 

  29. Valencia-Cabrera L, Orellana-Martín D, Riscos-Núñez A, Pérez-Jiménez MJ. Minimal cooperation in polarizationless P systems with active membranes. In C. Graciani, Gh. Păun, D. Orellana-Martín, A. Riscos-Núñez, L. Valencia-Cabrera (eds.) Proceedings of the Fourteenth Brainstorming Week on Membrane Computing, 1-5 February, Sevilla, Spain, 2016. p. 327-356.

  30. Valencia-Cabrera L, Orellana-Martín D, Martínez-del-Amor MÁ, Pérez-Jiménez MJ, Riscos-Núñez A. Polarizationless P systems with active membranes: computational complexity aspects. J Autom Lang Comb. 2016;21(1–2):107–23.

    MathSciNet  MATH  Google Scholar 

  31. Valencia-Cabrera L, Song B, Macías-Ramos LF, Pan L, Riscos-Núñez A, Pérez-Jiménez MJ. Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation. Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, Seville, 2015. Report RGNC 01/2015, Fénix Editora; 2015. p. 325–370.

  32. Valencia-Cabrera L, Song B, Macías-Ramos LF, Pan L, Riscos-Núñez A, Pérez-Jiménez MJ. Minimal cooperation in P systems with symport/antiport: A complexity approach. In: Macías LF, Păun Gh, Riscos A, Valencia L, editors. Proceedings of the thirteenth brainstorming week on membrane computing. Sevilla: Fénix Editora; 2015.

  33. Zandron C, Ferretti C, Mauri G. Solving NP-complete problems using P systems with active membranes. In: Antoniou I, Calude CS, Dinneen MJ, editors. Unconventional models of computation, UMC’2K. London: Springer; 2001. p. 289–301.

    Chapter  Google Scholar 

  34. G. Zhang, M.J. Pérez-Jiménez, M. Gheorghe. Real-life applications with Membrane Computing. Emergence, Complexity and Computation (Series ISSN 2194-7287), Volume 25. Springer International Publishing, Online ISBN: 978-3-319-55989-6, Print ISBN: 978-3-319-55987-2, 2017, p. X + 367 (https://doi.org/10.1007/978-3-319-55989-6).

Download references

Acknowledgements

This work is supported by the research project TIN2017-89842-P, cofinanced by Ministerio de Economía, Industria y Competitividad (MINECO) of Spain, through the Agencia Estatal de Investigación (AEI), and by Fondo Europeo de Desarrollo Regional (FEDER) of the European Union. The authors also acknowledge the Grants No 61320106005 of the National Natural Science Foundation of China.

Author information

Authors and Affiliations

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

    David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez & Mario J. Pérez-Jiménez

Authors
  1. David Orellana-Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis Valencia-Cabrera
    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. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Orellana-Martín.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Orellana-Martín, D., Valencia-Cabrera, L., Riscos-Núñez, A. et al. P systems with proteins: a new frontier when membrane division disappears. J Membr Comput 1, 29–39 (2019). https://doi.org/10.1007/s41965-018-00003-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s41965-018-00003-w

Keywords

Search

Navigation