Communication Complexity and Intrinsic Universality in Cellular Automata

Abstract : The notions of universality and completeness are central in the theories of computation and computational complexity. However, proving lower bounds and necessary conditions remains hard in most of the cases. In this article, we introduce necessary conditions for a cellular automaton to be "universal", according to a precise notion of simulation, related both to the dynamics of cellular automata and to their computational power. This notion of simulation relies on simple operations of space-time rescaling and it is intrinsic to the model of cellular automata. Intrinsinc universality, the derived notion, is stronger than Turing universality, but more uniform, and easier to define and study. Our approach builds upon the notion of communication complexity, which was primarily designed to study parallel programs, and thus is, as we show in this article, particulary well suited to the study of cellular automata: it allowed to show, by studying natural problems on the dynamics of cellular automata, that several classes of cellular automata, as well as many natural (elementary) examples, could not be intrinsically universal.
Type de document :
Pré-publication, Document de travail
2009
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00440186
Contributeur : Guillaume Theyssier <>
Soumis le : mercredi 15 septembre 2010 - 11:31:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:36
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 20:50:28

Fichiers

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

Identifiants

  • HAL Id : hal-00440186, version 4
  • ARXIV : 0912.1777

Collections

Citation

Eric Goles Chacc, Pierre-Etienne Meunier, Ivan Rapaport, Guillaume Theyssier. Communication Complexity and Intrinsic Universality in Cellular Automata. 2009. 〈hal-00440186v4〉

Partager

Métriques

Consultations de la notice

239

Téléchargements de fichiers

105