Skip to main content
Springer Nature Link
Log in

Computationally Hard Problems Addressed Through P Systems

  • Chapter
Applications of Membrane Computing

Part of the book series: Natural Computing Series ((NCS))

  • 973 Accesses

Abstract

In this chapter we present a general framework to provide efficient solutions to decision problems through families of cell-like membrane systems constructed in a semi-uniform way (associating with each instance of the problem one P system solving it) or a uniform way (all instances of a decision problem having the same size are processed by the same system). We also show a brief compendium of efficient semi-uniform and uniform solutions to hard problems in these systems, and we explicitly describe some of these solutions.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. A. Alhazov: P Systems with Active Membranes and Two Polarizations. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Report RGNC 01/04, Univ. of Sevilla, 2004 [27], 20–35.

    Google Scholar 

  2. A. Alhazov, T.-O. Ishdorj: Membrane Operations in P Systems with Active Membranes. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Report RGNC 01/04, Univ. of Sevilla, 2004 [27], 37–52.

    Google Scholar 

  3. A. Alhazov, C. Martín-Vide, L. Pan: Solving Graph Problems by P Systems with Restricted Elementary Active Membranes. In Aspects of Molecular Computing (N. Jonoska, Gh. Păun, G. Rozenberg, eds.), LNCS 2950, Springer, Berlin, 2004, 1–22.

    Google Scholar 

  4. J. Castellanos, Gh. Păun, A. Rodríguez-Patón: P Systems with Worm-Objects. IEEE 7th International Conference on String Processing and Information Retrieval, SPIRE 2000, La Coruña, Spain, 64–74.

    Google Scholar 

  5. A. Cordón-Franco, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F. Sancho-Caparrini: Implementing in Prolog an Effective Cellular Solution for the Knapsack Problem. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2004, Tarragona, Spain, July 2003, Revised Papers. LNCS 2933, Springer, Berlin, 2004 [14] 140–152.

    Google Scholar 

  6. E. Czeizler: Self-Activating P Systems. In Membrane Computing. International Workshop WMC-CdeA 2002, Curtea de Argeş, Romania, August 2002, Revised Papers (Gh. Păun, G. Rozenberg, A, Salomaa, C. Zandron, eds.), LNCS 2597, Springer, Berlin, 2003, 234–246.

    Chapter  Google Scholar 

  7. M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez: A Fast P System for Finding a Balanced 2-Partition. Soft Computing, 9,7 (2005).

    Google Scholar 

  8. T. Head, M. Yamamura, S. Gal: Aqueous Computing: Writing on Molecules. Proceedings of the Congress on Evolutionary Computation 1999, IEEE Service Center, Piscataway, NJ, 1999, 1006–1010.

    Chapter  Google Scholar 

  9. M. Ito, C. Martín-Vide, Gh. Păun: Characterization of Parikh Sets of ET0L Languages in Terms of P Systems. In Words, Semigroups, and Transducers (M. Ito, Gh. Păun, S. Yu, eds.), World Scientific, Singapore, 2001, 239–254.

    Google Scholar 

  10. S.N. Krishna, R. Rama: A Variant of P Systems with Active Membranes: Solving NP-Complete Problems. Romanian Journal of Information Science and Technology, 2,4 (1999), 357–367.

    Google Scholar 

  11. S.N. Krishna, R. Rama: P Systems with Replicated Rewriting. Journal of Automata, Languages and Combinatorics, 6,1 (2001), 345–350.

    MATH  Google Scholar 

  12. S.N. Krishna, R. Rama: Breaking DES Using P Systems. Theoretical Computer Science, 299,1–3 (2003), 495–508.

    Article  MATH  Google Scholar 

  13. M. Madhu, K. Kristhivasan: P Systems with Membrane Creation: Universality and Efficiency. In Proceedings of Third International Conference on Universal, Machines and Computations, Chişinău, Moldova, 2001 (M. Margenstern, Y. Rogozhin, eds.), LNCS 2055, Springer, Berlin, 2001, 276–287.

    Google Scholar 

  14. C. Martí-Vide, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2004, Tarragona, Spain, July 2003, Revised Papers. LNCS 2933, Springer, Berlin, 2004

    Google Scholar 

  15. A. Obtulowicz: Deterministic P Systems for Solving SAT Problem. Romanian Journal of Information Science and Technology, 4,1–2 (2001), 551–558.

    Google Scholar 

  16. A. Obtulowicz: On P Systems with Active Membranes: Solving the Integer Factorization Problem in a Polynomial Time. In Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds.), LNCS 2235, Springer, Berlin, 2001, 267–285.

    Google Scholar 

  17. A. Obtulowicz: Note on Some Recursive Family of P Systems with Active Membranes. Submitted, 2004.

    Google Scholar 

  18. L. Pan, A. Alhazov, T.-O. Ishdorj: Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Report RGNC 01/04, Univ. of Sevilla, 2004 [27], 316–324.

    Google Scholar 

  19. L. Pan, T.-O. Ishdorj: P Systems with Active Membranes and Separation Rules. Journal of Universal Computer Science, 10,5 (2004), 630–649.

    Google Scholar 

  20. L. Pan, C. Martín-Vide: Solving Multiset 0–1 Knapsack Problem by P Systems with Input and Active Membranes. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Report RGNC 01/04, Univ. of Sevilla, 2004 [27], 342–353.

    Google Scholar 

  21. A. Păun: On P Systems with Membrane Division. In Unconventional Models of Computation (I. Antoniou, C.S. Calude, M.J. Dinneen, eds.), Springer, London, 2000, 187–201.

    Google Scholar 

  22. Gh. Păun: Computing with Membranes. Journal of Computer and System Sciences, 61,1 (2000), 108–143, and Turku Center for Computer Science-TUCS Report Nr. 208, 1998.

    Article  Google Scholar 

  23. Gh. Păun: Computing with Membranes: Attacking NP-Complete Problems. In Unconventional Models of Computation (I. Antoniou, C.S. Calude, M.J. Dinneen, eds.), Springer, London, 2000, 94–115.

    Google Scholar 

  24. Gh. Păun: P systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics, 6,1 (2001), 75–90.

    Google Scholar 

  25. Gh. Păun: Membrane Computing. An Introduction. Springer, Berlin, 2002.

    Google Scholar 

  26. Gh. Păun, M.J. Pérez-Jiménez, A. Riscos-Núñez: P Systems with Tables of Rules. In Theory is Forever, Essays Dedicated to Arto Salomaa on the Ocassion of His 70th Birthday (J. Karhumaki, H. Maurer, Gh. Păun, G. Rozenberg, eds.), LNCS 3113, Springer, Berlin, 2004, 235–249.

    Google Scholar 

  27. Gh. Păun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, Report RGNC 01/04, Univ. of Sevilla, 2004.

    Google Scholar 

  28. Gh. Păun, G. Rozenberg: A Guide to Membrane Computing. Theoretical Computer Science, 287 (2002), 73–100.

    Article  Google Scholar 

  29. Gh. Păun, Y. Suzuki, H. Tanaka, T. Yokomori: On the Power of Membrane Division in P Systems. Theoretical Computer Science, 324,1 (2004), 61–85.

    Article  Google Scholar 

  30. M.J. Pérez-Jiménez, A. Riscos-Núñez: A Linear Time Solution to the Knapsack Problem Using Active Membranes. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2004, Tarragona, Spain, July 2003, Revised Papers. LNCS 2933, Springer, Berlin, 2004 [14], 250–268.

    Google Scholar 

  31. M.J. Pérez-Jiménez, A. Riscos-Núñez: Solving the Subset-Sum Problem by P Systems with Active Membranes. New Generation Computing, in press.

    Google Scholar 

  32. M.J. Pérez-Jiménez, F.J. Romero-Campero: An Efficient Family of P Systems for Packing Items Into Bins. Journal of Universal Computer Science, 10,5 (2004), 650–670.

    Google Scholar 

  33. M.J. Pérez-Jiménez, F.J. Romero-Campero: Attacking the Common Algorithmic Problem by Recognizer P Systems. In Pre-proceedings of the Machines, Computations and Universality, MCU’2004 (abstracts), September 21–26, 2004, Sankt Petesburg, p. 27.

    Google Scholar 

  34. M.J. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Teorí de la Complejidad en Modelos de Computación con Membranas. Ed. Kronos, Sevilla, 2002.

    Google Scholar 

  35. M.J. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Complexity Classes in Models of Cellular Computing with Membranes. Natural Computing, 2,3 (2003), 265–285.

    Article  MATH  Google Scholar 

  36. M.J. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Solving VALIDITY Problem by Active Membranes with Input. In Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003 (M. Cavaliere, C. Martín-Vide, Gh. Păun, eds.) Report GRLMC 26/03, 2003, 279–290.

    Google Scholar 

  37. A. Romero-Jiménez: Complexity and Universality in Cellular Computing Models. PhD. Thesis, University of Seville, Spain, 2003.

    Google Scholar 

  38. A. Romero-Jiménez, M.J. Pérez-Jiménez: Simulating Turing Machines by P Systems with External Output. Fundamenta Informaticae, 49,1–3 (2002), 273–287.

    MATH  Google Scholar 

  39. P. Sosik: The Computational Power of Cell Division. Natural Computing, 2,3 (2003), 287–298.

    Article  MATH  Google Scholar 

  40. C. Zandron, C. Ferreti, G. Mauri: Solving NP-Complete Problems Using P Systems with Active Membranes. In Unconventional Models of Computation, UMC’2K (I. Antoniou, C.S. Calude, M.J. Dinneen, eds.), Springer, London, 2000, 289–301.

    Google Scholar 

  41. C. Zandron, G. Mauri, C. Ferreti, Universality and Normal Forms on Membrane Systems. In Proceedings of International Workshop on Grammar Systems, 2000 (R. Freund, A. Kelemenova, eds.), Bad Ischl, Austria, July 2000, 61–74.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department Computer Science and Artificial Intelligence E.T.S. Ingeniería Informática, University of Seville, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Mario J. Pérez-Jiménez, Alvaro Romero-Jiménez & Fernando Sancho-Caparrini

Authors
  1. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alvaro Romero-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fernando Sancho-Caparrini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science of the Romanian Academy, Blvd. Copou 8, 700506, Iaşi, Romania

    Gabriel Ciobanu

  2. Research Group on Natural Computing Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes s/n, 41012, Seville, Spain

    Gheorghe Păun  & Mario J. Pérez-Jiménez  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F. (2006). Computationally Hard Problems Addressed Through P Systems. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds) Applications of Membrane Computing. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-29937-8_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-29937-8_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25017-3

  • Online ISBN: 978-3-540-29937-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics