Sequentialization and Procedural Complexity in Automata Networks

Abstract : In this article we consider finite automata networks (ANs) with two kinds of update schedules: the parallel one (all automata are updated all together) and the sequential ones (the automata are updated periodically one at a time according to a total order w). The cost of sequentialization of a given AN h is the number of additional automata required to simulate h by a sequential AN with the same alphabet. We construct, for any n and q, an AN h of size n and alphabet size q whose cost of sequentialization is at least n/3. We also show that, if q ≥ 4, we can find one whose cost is at least n/2 − log q (n). We prove that n/2 + log q (n/2 + 1) is an upper bound for the cost of sequentialization of any AN h of size n and alphabet size q. Finally, we exhibit the exact relation between the cost of sequentialization of h and its procedural complexity with unlimited memory and prove that its cost of sequentialization is less than or equal to the pathwidth of its interaction graph.
Type de document :
Communication dans un congrès
MFCS2018, Aug 2018, Liverpool, France
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01718527
Contributeur : Florian Bridoux <>
Soumis le : mardi 27 février 2018 - 14:40:33
Dernière modification le : vendredi 4 mai 2018 - 23:10:42
Document(s) archivé(s) le : lundi 28 mai 2018 - 16:09:11

Fichiers

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01718527, version 1
  • ARXIV : 1803.00438

Collections

Citation

Florian Bridoux. Sequentialization and Procedural Complexity in Automata Networks. MFCS2018, Aug 2018, Liverpool, France. 〈hal-01718527〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

43