Skip to main content
SpringerLink
Log in

P Systems with Evolutional Communication and Separation Rules

  • Conference paper
  • First Online:
Machines, Computations, and Universality (MCU 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13419))

Included in the following conference series:

Abstract

In the framework of membrane computing, several interesting results concerning frontiers of efficiency between the complexity classes P and NP have been found by using different ingredients. One of the main characteristics of cell-like membrane systems is their rooted tree-like structure, where a natural parent-children membrane relationship exists, and objects can travel through the membranes. Separation rules are used as a method to obtain an exponential workspace in terms of membranes in polynomial time. Inspired by cell meiosis, objects from the original membrane are distributed between the two new membranes. In this work, P systems with evolutional symport/antiport rules and separation rules are used to give a solution to SAT, a well known NP-complete problem. One of the advantages of this solution is the use of the environment as a passive agent.

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 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.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

References

  1. Alhazov, A., Ivanov, S., Rogozhin, Y.: Polymorphic P systems. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 81–94. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-18123-8_9

    Chapter  Google Scholar 

  2. Cabarle, F.G.C., Zeng, X., Murphy, N., Song, T., Rodríguez-Patón, A., Liu, X.: Neural-like P systems with plasmids. Inf. Comput. 281, 104766 (2021). https://doi.org/10.1016/j.ic.2021.104766, https://www.sciencedirect.com/science/article/pii/S089054012100081X

  3. Cienciala, L., Ciencialová, L., Sosík, P.: P colonies with agent division. Inf. Sci. 589, 162–169 (2022). https://doi.org/10.1016/j.ins.2021.12.094

    Article  MATH  Google Scholar 

  4. Csuhaj-Varjú, E., Vaszil, G.: P systems with string objects and with communication by request. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 228–239. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77312-2_14

    Chapter  MATH  Google Scholar 

  5. Freund, R., Păun, G.H., Pérez-Jiménez, M.J.: Tissue P systems with channel states. Theor. Comput. Sci. 330(1), 101–116 (2005). https://doi.org/10.1016/j.tcs.2004.09.013, https://www.sciencedirect.com/science/article/pii/S0304397504006085,insightful Theory

  6. Freund, R., Sosík, P.: On the power of catalytic P systems with one catalyst. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 137–152. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-28475-0_10

    Chapter  Google Scholar 

  7. Gheorghe, M., Ipate, F.: A kernel P systems survey. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 1–9. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54239-8_1

    Chapter  Google Scholar 

  8. Hamshawi, Y., Bîlbîe, F.D., Păun, A., Malka, A., Piran, R.: P systems with protein rules. J. Franklin Inst. 359(8), 3779–3807 (2022). https://doi.org/10.1016/j.jfranklin.2022.02.017, https://www.sciencedirect.com/science/article/pii/S0016003222001247

  9. Krishna, S.N., Rama, R., Krithivasan, K.: P systems with picture objects. Acta Cybern. 15(1), 53–74 (2001)

    MathSciNet  MATH  Google Scholar 

  10. Martín-Vide, C., Păun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theor. Comput. Sci. 296(2), 295–326 (2003). https://doi.org/10.1016/S0304-3975(02)00659-X, https://www.sciencedirect.com/science/article/pii/S030439750200659X. Machines, Computations and Universality

  11. Orellana-Martín, D., Valencia-Cabrera, L., Song, B., Pan, L., Pérez-Jiménez, M.J.: Tuning frontiers of efficiency in tissue P systems with evolutional communication rules. Complex, 2021, 7120840:1–7120840:14 (2021). https://doi.org/10.1155/2021/7120840

  12. Orellana-Martín, D., Valencia-Cabrera, L., Pérez-Jiménez, M.J.: P systems with evolutional communication and division rules. Axioms, 10(4), 327 (2021). https://doi.org/10.3390/axioms10040327, https://www.mdpi.com/2075-1680/10/4/327

  13. Padan, E., Landau, M.: Sodium-proton (Na+/H+) antiporters: properties and roles in health and disease. In: Sigel, A., Sigel, H., Sigel, R.K.O. (eds.) The Alkali Metal Ions: Their Role for Life. MILS, vol. 16, pp. 391–458. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-21756-7_12

    Chapter  Google Scholar 

  14. Pan, L., Ishdorj, T.: P systems with active membranes and separation rules. J. Univers. Comput. Sci. 10(5), 630–649 (2004). https://doi.org/10.3217/jucs-010-05-0630

    Article  MathSciNet  Google Scholar 

  15. Pan, L., Song, B., Valencia-Cabrera, L., Pérez-Jiménez, M.J.: The computational complexity of tissue P systems with evolutional symport/antiport rules. Complex, 2018, 3745210:1–3745210:21 (2018). https://doi.org/10.1155/2018/3745210

  16. Pavel, A., Arsene, O., Buiu, C.: Enzymatic numerical P systems - a new class of membrane computing systems. In: 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), pp. 1331–1336 (2010). https://doi.org/10.1109/BICTA.2010.5645071

  17. Păun, Gh.: P systems with active membranes: attacking NP complete problems. J. Automata Lang. Comb. 6, 75–90 (1999)

    MathSciNet  MATH  Google Scholar 

  18. Păun, G.H.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000). https://doi.org/10.1006/jcss.1999.1693, https://www.sciencedirect.com/science/article/pii/S0022000099916938

  19. Păun, Gh.: Membrane Computing: An Introduction. Springer-Verlag, Berlin, Heidelberg (2002). https://doi.org/10.1007/978-3-642-56196-2

    Book  MATH  Google Scholar 

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

    Book  Google Scholar 

  21. Pérez-Jiménez, M.J., Riscos-Núñez, A., Rius-Font, M., Romero-Campero, F.J.: A polynomial alternative to unbounded environment for tissue p systems with cell division. Int. J. Comput. Math. 90(4), 760–775 (2013). https://doi.org/10.1080/00207160.2012.748898

    Article  MathSciNet  MATH  Google Scholar 

  22. Thomas, W.: Languages, automata, and logic. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 389–455. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59126-6_7

    Chapter  Google Scholar 

  23. Song, B., Zhang, C., Pan, L.: Tissue-like P systems with evolutional symport/antiport rules. Inf. Sci. 378, 177–193 (2017)

    Article  MathSciNet  Google Scholar 

  24. Sweety, F., Sasikala, K., Kalyani, T., Thomas, D.G.: Partial array-rewriting P systems and basic puzzle partial array grammars. In: AIP Conference Proceedings, vol. 2277, no. 1, p. 030003 (2020). https://doi.org/10.1063/5.0027078, https://aip.scitation.org/doi/abs/10.1063/5.0027078

Download references

Acknowledgements

This work was supported by the following research project: FEDER/Junta de Andalucía - Paidi 2020/ _Proyecto (P20_00486). D. Orellana-Martín acknowledges Contratación de Personal Investigador Doctor. (Convocatoria 2019) 43 Contratos Capital Humano Línea 2. Paidi 2020, supported by the European Social Fund and Junta de Andalucía.

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 & Mario J. Pérez-Jiménez

  2. SCORE Laboratory, I3US, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    David Orellana-Martín, Luis Valencia-Cabrera & 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. 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 .

Editor information

Editors and Affiliations

  1. Université d’Orléans, Orléans, France

    Jérôme Durand-Lose

  2. University of Debrecen, Debrecen, Hungary

    György Vaszil

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Orellana-Martín, D., Valencia-Cabrera, L., Pérez-Jiménez, M.J. (2022). P Systems with Evolutional Communication and Separation Rules. In: Durand-Lose, J., Vaszil, G. (eds) Machines, Computations, and Universality. MCU 2022. Lecture Notes in Computer Science, vol 13419. Springer, Cham. https://doi.org/10.1007/978-3-031-13502-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-13502-6_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-13501-9

  • Online ISBN: 978-3-031-13502-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation