Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Computational Complexity of Multi-player Evolutionarily Stable Strategies Kapitel lesen Erstes Kapitel lesen

2021 | OriginalPaper | Buchkapitel

On the Computational Complexity of Reaction Systems, Revisited

verfasst von : Markus Holzer, Christian Rauch

Erschienen in: Computer Science – Theory and Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We study the computational complexity of some important problems on reaction systems (RSs), a biologically motivated model introduced by Ehrenfeucht and Rozenberg in [7], that were overseen in the literature. To this end we focus on the complexity of (i) equivalence and multi-step simulation properties, (ii) special structural and behavioural RS properties such as, e.g., isotonicity, antitonicity, etc., and minimality with respect to reactant and/or inhibitor sets, and (iii) threshold properties. The complexities vary from deterministic polynomial time solvability to coNP- and PSPACE-completeness. Finally, as a side result on the complexity of threshold problems we improve the previously known threshold values for the no-concurrency, the comparability, and the redundancy property studied in [2].

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Limitations of Sums of Bounded Read Formulas and ABPs
Nächstes Kapitel Average-Case Rigidity Lower Bounds
Fußnoten
1
If the RS has to be strict the threshold for TOT is \((2^n-1)(3^n-3\cdot 2^n+2^{\lceil \frac{n}{2}\rceil }+2^{\lfloor \frac{n}{2}\rfloor })+1\), see [2].
 
Literatur
1.
Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fund. Inform. 131(3–4), 299–312 (2014)MathSciNetMATH
2.
Dennunzio, A., Formenti, E., Manzoni, L.: Reaction systems and extremal combinatorics properties. Theoret. Comput. Sci. 598, 138–149 (2015)MathSciNetCrossRef
3.
Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Complexity of the dynamics of reaction systems. Inform. Comput. 267, 96–109 (2019)MathSciNetCrossRef
4.
5.
Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of life and death for reaction systems. Internat. J. Found. Comput. Sci. 21(3), 345–356 (2010)MathSciNetCrossRef
6.
7.
Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theoret. Comput. Sci. 410, 310–322 (2009)MathSciNetCrossRef
8.
Manzoni, L., Poças, D., Porreca, A.E.: Simple reaction systems and their classification. Internat. J. Found. Comput. Sci. 25(4), 441–457 (2014)MathSciNetCrossRef
9.
10.
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Boston (1994)
11.
Salomaa, A.: Functions and sequences generated by reaction systems. Theoret. Comput. Sci. 466, 87–96 (2012)MathSciNetCrossRef
12.
Salomaa, A.: Functional constructions between reaction systems and propositional logic. Internat. J. Found. Comput. Sci. 24(1), 147–159 (2013)MathSciNetCrossRef
13.
14.
Savitch, W.J.: Relationships between nondeterministic and deterministic tape complexities. J. Comput. System Sci. 4(2), 177–192 (1970)MathSciNetCrossRef
15.
Teh, W.C., Atanasiu, A.: Minimal reaction system revisited and reaction system rank. Internat. J. Found. Comput. Sci. 28(3), 247–261 (2017)MathSciNetCrossRef
Metadaten
Titel
On the Computational Complexity of Reaction Systems, Revisited
verfasst von
Markus Holzer
Christian Rauch
Copyright-Jahr
2021
Buch
Computer Science – Theory and Applications

Print ISBN: 978-3-030-79415-6

Electronic ISBN: 978-3-030-79416-3

Copyright-Jahr: 2021

DOI
https://doi.org/10.1007/978-3-030-79416-3_10

Premium Partner

    Bildnachweise