Remarks on the cellular automaton global synchronisation problem – deterministic vs. stochastic models
Résumé
In the global synchronisation problem, one is asked to find a cellular automaton which has the property that every initial condition evolves into a homogeneous blinking state. We study this simple inverse problem for the case of one-dimensional binary or multi-state systems with periodic boundary conditions. The examination of the problem raises two paradoxical observations: (a) despite the apparent simplicity of finding rules with good statistical results, there exist no perfect deterministic solutions to this problem, and (b) if we allow the use of randomness in the local rule, constructing " perfect " stochastic solutions is easy. To go further on the deterministic case, experimental work is carried out with SAT solvers to find the rules that achieve the synchronisation of the largest sets of initial conditions. For the stochastic case, we give some rules for which the mean time of synchronisation varies quadratically with the number of cells and ask if this result can be improved.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...