Skip to main content
SpringerLink
Log in

On the Efficiency of P Systems with Active Membranes and Two Polarizations

  • Conference paper
Membrane Computing (WMC 2004)

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

Included in the following conference series:

Abstract

We present an algorithm for deterministically deciding SAT in linear time by P systems with active membranes using only two polarizations and rules of types (a), (c), and (e). Moreover, various restrictions on the general form of the rules are considered: global, non-renaming, independent of the polarization, preserving it, changing it, producing two membranes with different polarizations, having exactly one or two objects in (each membrane of) the right-hand side, thus improving results from [1]. Several problems related to different combinations of these restrictions are formulated, too.

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., Freund, R., Păun, G.: P systems with active membranes and two polarizations. In: Păun, G., Riscos-Núñez, A., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Second Brainstorming Week on Membrane Computing, TR 01/2004, University of Seville, Seville, pp. 20–36 (2004)

    Google Scholar 

  2. Alhazov, A., Pan, L.: Polarizationless P systems with active membranes. Grammars 7(1) (2004)

    Google Scholar 

  3. Alhazov, A., Pan, L., Păun, G.: Trading polarizations for labels in P systems with active membranes. Acta Informaticae (2003) (accepted)

    Google Scholar 

  4. Alhazov, A., Martín-Vide, C., Pan, L.: Solving graph problems by P systems with restricted elementary active nembranes. In: Jonoska, N., Păun, G., Rozenberg, G. (eds.) Aspects of Molecular Computing. LNCS, vol. 2950, pp. 1–22. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

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

  6. Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)

    Google Scholar 

  7. Freund, R., Martín-Vide, C., Păun, G.: From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science 312, 143–188 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  8. Freund, R., Păun, G.: Deterministic P systems (2004) (Submitted)

    Google Scholar 

  9. Gutierrez-Narajano, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving numerical NP-complete problems using P systems with active membranes: the partition problem and beyond. In: EMCC Workshop, Vienna (2003)

    Google Scholar 

  10. Krishna, S.N., Rama, R.: A variant of P systems with active membranes: solving NP-complete problems. Romanian J. of Information Science and Technology 2(4), 357–367 (1999)

    Google Scholar 

  11. Madhu, M., Krithivasan, K.: Improved results about the universality of P systems. Bulletin of the EATCS 76, 162–168 (2002)

    MathSciNet  Google Scholar 

  12. Obtułowicz, A.: Deterministic P systems for solving SAT problem. Romanian J. of Information Science and Technology 4(1-2), 195–202 (2001)

    Google Scholar 

  13. Obtułowicz, A.: On P systems with active membranes solving integer factorizing problem in a polynomial time. In: Calude, C.S., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 267–286. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  14. Păun, A.: On P systems with global rules. In: Jonoska, N., Seeman, N.C. (eds.) Proc. 7th Intern. Meeting on DNA Based Computers, Tampa, pp. 43–52 (2001)

    Google Scholar 

  15. Păun, G.: Computing with Membranes: An Introduction. Springer, Berlin (2002)

    Google Scholar 

  16. Paun, G.: Computing with Membranes - A Variant: P systems with polarized membranes. Intern. J. of Foundations of Computer Science 11(1), 167–182 (2000)

    Article  MathSciNet  Google Scholar 

  17. Pérez-Jiménez, M., Romero Jiménez, A., Sancho Caparrini, F.: Teoria de la complejidad en modelos de computacion celular con membranas. Kronos Editorial, Seville (2002)

    Google Scholar 

  18. Jiménez, M.J.P., Jiménez, A.R., Caparrini, F.S.: Solving VALIDITY problem by active membranes with input. In: Cavaliere, M., Martín-Vide, C., Păun, G. (eds.) Proc. Brainstorming Week on Membrane Computing, Rovira i Virgili Univ. Tech. Rep. 26/03, Tarragona, pp. 279–290 (2003)

    Google Scholar 

  19. Salomaa, A., Rozenberg, G. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)

    MATH  Google Scholar 

  20. Sosík, P.: Solving a PSPACE-complete problem by P systems with active membranes. In: Cavaliere, M., Martín-Vide, C., Păun, G. (eds.) Proc. Brainstorming Week on Membrane Computing, Rovira i Virgili Univ. Tech. Rep. 26/03, Tarragona, pp. 305–312 (2003)

    Google Scholar 

  21. Zandron, C., Ferretti, C., Mauri, G.: Solving NP-complete problems using P systems with active membranes. In: Antoniou, I., Calude, C.S., Dinneen, M.J. (eds.) Unconventional Models of Computation, pp. 289–301. Springer, London (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Group on Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tàrraco 1, 43005, Tarragona, Spain

    Artiom Alhazov

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

    Artiom Alhazov

  3. Faculty of Informatics, Vienna University of Technology, Favoritenstr. 9, A-1040, Wien, Austria

    Rudolf Freund

Authors
  1. Artiom Alhazov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Complex Systems and Artificial Intelligence Research Center, University of Milan–Bicocca, Italy

    Giancarlo Mauri

  2. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  3. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes, 41012, Sevilla, Spain

    Mario J. Pérez-Jiménez

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

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alhazov, A., Freund, R. (2005). On the Efficiency of P Systems with Active Membranes and Two Polarizations. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2004. Lecture Notes in Computer Science, vol 3365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31837-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31837-8_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25080-7

  • Online ISBN: 978-3-540-31837-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation