Skip to main content
Erschienen in: Natural Computing 4/2009

01.12.2009

Efficient simulation of tissue-like P systems by transition cell-like P systems

verfasst von: Daniel Díaz-Pernil, Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez

Erschienen in: Natural Computing | Ausgabe 4/2009

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In the framework of P systems, it is known that the construction of exponential number of objects in polynomial time is not enough to efficiently solve NP-complete problems. Nonetheless, it could be sufficient to create an exponential number of membranes in polynomial time. Working with P systems whose membrane structure does not increase in size, it is known that it is not possible to solve computationally hard problems (unless P = NP), basically due to the impossibility of constructing exponential number of membranes, in polynomial time, using only evolution, communication and dissolution rules. In this paper we show how a family of recognizer tissue P systems with symport/antiport rules which solves a decision problem can be efficiently simulated by a family of basic recognizer P systems solving the same problem. This simulation allows us to transfer the result about the limitations in computational power, from the model of basic cell-like P systems to this kind of tissue-like P systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
An informal overview can be found in Păun and Pérez-Jiménez (2003) and further bibliography at P system http://​ppage.​psystems.​eu/​.
 
2
This method of communication for P systems was introduced in Păun and Păun (2002).
 
Literatur
Zurück zum Zitat Díaz-Pernil D (2008) Sistemas celulares de tejidos: Formalización y eficiencia computacional. PhD Thesis, University of Sevilla Díaz-Pernil D (2008) Sistemas celulares de tejidos: Formalización y eficiencia computacional. PhD Thesis, University of Sevilla
Zurück zum Zitat Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núnez A, Romero-Campero FJ, Romero-Jiménez A (2006) Characterizing tractability by cell-like membrane systems. In: Subramanian KG, Rangarajan K, Mukund M (eds) Formal models, languages and applications. World scientific, series in machine perception and artificial intelligence, vol 66, chapter 9, pp 137–154 Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núnez A, Romero-Campero FJ, Romero-Jiménez A (2006) Characterizing tractability by cell-like membrane systems. In: Subramanian KG, Rangarajan K, Mukund M (eds) Formal models, languages and applications. World scientific, series in machine perception and artificial intelligence, vol 66, chapter 9, pp 137–154
Zurück zum Zitat Martín-Vide C, Pazos J, Păun Gh, Rodríguez Patón A (2003) Tissue P systems. Theor Comput Sci 296:295–326MATHCrossRef Martín-Vide C, Pazos J, Păun Gh, Rodríguez Patón A (2003) Tissue P systems. Theor Comput Sci 296:295–326MATHCrossRef
Zurück zum Zitat Păun Gh (2002) Membrane computing. An introduction. Springer-Verlag, BerlinMATH Păun Gh (2002) Membrane computing. An introduction. Springer-Verlag, BerlinMATH
Zurück zum Zitat Păun A, Păun Gh (2002) The power of communication: P systems with symport/antiport. New Generat Comput 20(3):295–305MATHCrossRef Păun A, Păun Gh (2002) The power of communication: P systems with symport/antiport. New Generat Comput 20(3):295–305MATHCrossRef
Zurück zum Zitat Păun Gh, Pérez-Jiménez MJ (2003) Recent computing models inspired from biology: DNA and membrane computing. Theoria 18(46):72–84 Păun Gh, Pérez-Jiménez MJ (2003) Recent computing models inspired from biology: DNA and membrane computing. Theoria 18(46):72–84
Zurück zum Zitat Păun Gh, Pérez-Jiménez MJ, Riscos-Núnez A (2004) Tissue P systems with cell division. In: Păun Gh, Riscos-Núnez A, Romero-Jiménez A, Sancho-Caparrini F (eds) Second brainstorming week on membrane computing, Sevilla, Report RGNC 01/2004, pp 380–386 Păun Gh, Pérez-Jiménez MJ, Riscos-Núnez A (2004) Tissue P systems with cell division. In: Păun Gh, Riscos-Núnez A, Romero-Jiménez A, Sancho-Caparrini F (eds) Second brainstorming week on membrane computing, Sevilla, Report RGNC 01/2004, pp 380–386
Zurück zum Zitat Pérez-Jiménez MJ, Romero-Jiménez A, Sancho-Caparrini F (2003) Complexity classes in cellular computing with membranes. Nat Comput 2(3):265–285MATHCrossRefMathSciNet Pérez-Jiménez MJ, Romero-Jiménez A, Sancho-Caparrini F (2003) Complexity classes in cellular computing with membranes. Nat Comput 2(3):265–285MATHCrossRefMathSciNet
Metadaten
Titel
Efficient simulation of tissue-like P systems by transition cell-like P systems
verfasst von
Daniel Díaz-Pernil
Mario J. Pérez-Jiménez
Álvaro Romero-Jiménez
Publikationsdatum
01.12.2009
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 4/2009
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-008-9102-z

Weitere Artikel der Ausgabe 4/2009

Natural Computing 4/2009 Zur Ausgabe