Complexity of Boolean automata networks under block-parallel update modes
Uloženo v:
| Název: | Complexity of Boolean automata networks under block-parallel update modes |
|---|---|
| Autoři: | Perrot, Kévin, Sené, Sylvain, Tapin, Léah |
| Přispěvatelé: | Kévin Perrot and Sylvain Sené and Léah Tapin, Sené, Sylvain |
| Publication Status: | Preprint |
| Informace o vydavateli: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024. |
| Rok vydání: | 2024 |
| Témata: | reductions and completeness, finite dynamical systems, Computer Science - Computational Complexity, Theory of computation → Distributed computing models, Theory of computation → Problems, [INFO] Computer Science [cs], ddc:004, block-parallel update schedule, Boolean networks, Computer Science - Discrete Mathematics |
| Popis: | Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply their local rule. A new family of update modes appeared recently, called block-parallel, which is dual to the well studied block-sequential. Although basic, it embeds the rich feature of update repetitions among a temporal updating period, allowing for atypical asymptotic behaviors. In this paper, we prove that it is able to breed complex computations, squashing almost all decision problems on the dynamics to the traditionally highest (for reachability questions) class PSPACE. Despite obtaining these complexity bounds for a broad set of local and global properties, we also highlight a surprising gap: bijectivity is still coNP. |
| Druh dokumentu: | Conference object Article |
| Popis souboru: | application/pdf |
| DOI: | 10.4230/lipics.sand.2024.19 |
| Přístupová URL adresa: | http://arxiv.org/abs/2402.06294 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2024.19 |
| Rights: | CC BY CC BY NC ND |
| Přístupové číslo: | edsair.arXiv.dedup...3060da6f41f1a40a08abdf9d5e9629d7 |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstrakt: | Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply their local rule. A new family of update modes appeared recently, called block-parallel, which is dual to the well studied block-sequential. Although basic, it embeds the rich feature of update repetitions among a temporal updating period, allowing for atypical asymptotic behaviors. In this paper, we prove that it is able to breed complex computations, squashing almost all decision problems on the dynamics to the traditionally highest (for reachability questions) class PSPACE. Despite obtaining these complexity bounds for a broad set of local and global properties, we also highlight a surprising gap: bijectivity is still coNP. |
|---|---|
| DOI: | 10.4230/lipics.sand.2024.19 |