Skip to main content
SpringerLink
Log in

Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing

  • Chapter
  • First Online:
Enjoying Natural Computing

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

  • 468 Accesses

Abstract

Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature has been exploited to elaborate (theoretical) efficient solutions to \(\mathbf{NP}\)-complete, or even harder, problems. A thorough review of the existent solutions shows the utilization of common techniques and procedures. The abstraction of the latter into design patterns can serve to ease and accelerate the construction of efficient solutions to new hard problems.

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 EPUB and 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

Notes

  1. 1.

    Software design pattern, https://en.wikipedia.org/w/index.php?title=Software_design_pattern&oldid=834346932 (last visited May 10, 2018).

References

  1. Fortnow, L., Homer, S.: A short history of computational complexity. Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS) 80, 95–133 (2003)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

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

    Google Scholar 

  5. Păun, Gh.: P systems with active membranes: attacking NP-complete problems. J. Autom. Lang. Comb. 6(1), 75–90 (2001)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  7. Pérez-Jiménez, M.J., Riscos-Núñez, A., Romero-Jiménez, Á., Woods, D.: Complexity: membrane division, membrane creation. In: Păun et al. [4], chap. 12, pp. 302–336

    Google Scholar 

  8. Garey, M.R., Johnson, D.S.: Computers and Intractability. A Guide to the Theory of NP-Completeness. W. H. Freeman, New York (1979)

    MATH  Google Scholar 

  9. Gutiérrez-Naranjo, M.Á., Pérez-Jiménez, M.J., Romero-Campero, F.J.: A uniform solution to SAT using membrane creation. Theor. Comput. Sci. 371(1–2), 54–61 (2007). https://doi.org/10.1016/j.tcs.2006.10.013

    Article  MathSciNet  MATH  Google Scholar 

  10. Pan, L., Ishdorj, T.O.: 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 

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

    MathSciNet  MATH  Google Scholar 

  12. Valencia-Cabrera, L., Orellana-Martín, D., Martínez-del Amor, M.Á., Riscos-Núñez, A., Pérez-Jiménez, M.J.: Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation. Theor. Comput. Sci. 701, 226–234 (2017). https://doi.org/10.1016/j.tcs.2017.04.015

    Article  MathSciNet  MATH  Google Scholar 

  13. Valencia-Cabrera, L., Orellana-Martín, D., Martínez-del Amor, M.Á., Riscos-Núñez, A., Pérez-Jiménez, M.J.: From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency. Theor. Comput. Sci. 736, 15–24 (2018). https://doi.org/10.1016/j.tcs.2017.12.012

    Article  MathSciNet  MATH  Google Scholar 

  14. Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: Elementary active membranes have the power of counting. Int. J. Nat. Comput. Res. 2(3), 35–48 (2011). https://doi.org/10.4018/jncr.2011070104

    Article  Google Scholar 

  15. Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: The counting power of P systems with antimatter. Theor. Comput. Sci. 701, 161–173 (2017). https://doi.org/10.1016/j.tcs.2017.03.045

    Article  MathSciNet  MATH  Google Scholar 

  16. 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). https://doi.org/10.1007/978-3-540-74593-8_11

    Chapter  Google Scholar 

  17. Sosík, P.: The computational power of cell division in P systems: beating down parallel computers? Nat. Comput. 2(3), 287–298 (2003). https://doi.org/10.1023/A:1025401325428

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The authors are very grateful to Mario J. Pérez-Jiménez for his unconditional support, unlimited generosity, patience and enthusiasm, and particularly for his skillful advising and guiding as their “scientific father”.

The authors also acknowledge the support from 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.

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

    Álvaro Romero-Jiménez & David Orellana-Martín

Authors
  1. Álvaro Romero-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Orellana-Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Álvaro Romero-Jiménez .

Editor information

Editors and Affiliations

  1. University of Seville, Sevilla, Spain

    Carmen Graciani

  2. University of Seville, Sevilla, Spain

    Agustín Riscos-Núñez

  3. Romanian Academy, Bucharest, Romania

    Gheorghe Păun

  4. Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Romero-Jiménez, Á., Orellana-Martín, D. (2018). Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing. In: Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G., Salomaa, A. (eds) Enjoying Natural Computing. Lecture Notes in Computer Science(), vol 11270. Springer, Cham. https://doi.org/10.1007/978-3-030-00265-7_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00265-7_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00264-0

  • Online ISBN: 978-3-030-00265-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation