Asynchronous simulation of Boolean networks by monotone Boolean networks

Abstract : We prove that the fully asynchronous dynamics of a Boolean network f : {0, 1}^n → {0, 1}^n without negative loop can be simulated, in a very specific way, by a monotone Boolean network with 2n components. We then use this result to prove that, for every even n, there exists a monotone Boolean network f : {0, 1}^n → {0, 1}^n , an initial configuration x and a fixed point y of f such that: (i) y can be reached from x with a fully asynchronous updating strategy, and (ii) all such strategies contains at least 2^{n/2} updates. This contrasts with the following known property: if f : {0, 1}^n → {0, 1}^n is monotone, then, for every initial configuration x, there exists a fixed point y such that y can be reached from x with a fully asynchronous strategy that contains at most n updates.
Type de document :
Communication dans un congrès
Fourth International Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models, During the 12th International Conference on Cellular Automata for Research and Industry (ACRI 2016), Sep 2016, Fez, Morocco. 9863, pp.182--191, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-44365-2_18>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01341136
Contributeur : Adrien Richard <>
Soumis le : lundi 4 juillet 2016 - 11:13:05
Dernière modification le : jeudi 23 février 2017 - 09:43:25

Fichier

2016-06-16__embedding_in_monot...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené. Asynchronous simulation of Boolean networks by monotone Boolean networks. Fourth International Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models, During the 12th International Conference on Cellular Automata for Research and Industry (ACRI 2016), Sep 2016, Fez, Morocco. 9863, pp.182--191, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-44365-2_18>. <hal-01341136>

Partager

Métriques

Consultations de
la notice

114

Téléchargements du document

30