On the Computational Complexity of Finite Cellular Automata

@article{Sutner1995OnTC,
  title={On the Computational Complexity of Finite Cellular Automata},
  author={Klaus Sutner},
  journal={J. Comput. Syst. Sci.},
  year={1995},
  volume={50},
  pages={87}
}
  • Klaus Sutner
  • Published 1995
  • Computer Science, Mathematics
  • J. Comput. Syst. Sci.
We study the computational complexity of several problems with the evolution of configurations on finite cellular automata. In many cases, the problems turn out to be complete in their respective classes. For example, the problem of deciding whether a configuration has a predecessor is shown to be NLOG-complete for one-dimensional cellular automata. The problem is NP-complete for all dimensions higher than one. Similarly, the question whether a target configuration occurs in the orbit of a… Expand
Computational classification of cellular automata
  • Klaus Sutner
  • Mathematics, Computer Science
  • Int. J. Gen. Syst.
  • 2012
TLDR
It is seen that a large variety of properties relating to the short-term evolution of configurations are decidable in principle, but questions related to the long-term Evolution are typically undecidable. Expand
Computing aggregate properties of preimages for 2D cellular automata.
  • R. Beer
  • Computer Science, Physics
  • Chaos
  • 2017
TLDR
The incremental aggregation algorithm is demonstrated on two problems from the two-dimensional binary Game of Life cellular automaton: precursor count distributions and higher-order mean field theory coefficients. Expand
A brief history of cellular automata
TLDR
A history of cellular automata from their beginnings with von Neumann to the present day is traced, mainly on topics closer to computer science and mathematics rather than physics, biology or other applications. Expand
Computational complexity of finite asynchronous cellular automata
TLDR
This paper is concerned with two big classes of problems: reachability and preimage existence; both an existential and a universal version are considered and the following results are proved. Expand
On the Complexity of the Stability Problem of Binary Freezing Totalistic Cellular Automata
TLDR
This paper studies the family of two-state Totalistic Freezing Cellular Automata defined over the triangular and square grids with von Neumann neighborhoods and exploits the properties of the automata in each group to show that the Stability problem is in $\text{NC}$. Expand
Reachability Problem in Non-uniform Cellular Automata
TLDR
An algorithm which decides whether or not a configuration of a given (non-uniform) cellular automaton is reachable from another configuration is reported. Expand
Constrained Eden
  • S. Seif
  • Computer Science
  • Complex Syst.
  • 2009
TLDR
C-EDEN(CA) is a finitary variant of the Garden of Eden problem, providing the first examples of NP-complete problems associated with cellular automata over a twoelement alphabet. Expand
Constrained Eden
Let CA be a one-dimensional cellular automaton. A computational complexity problem, the Constrained Eden problem, denoted C-EDEN(CA), is introduced. C-EDEN(CA) is a finitary variant of the Garden ofExpand
SAT-Based Analysis of Cellular Automata
TLDR
An encoding of the evolution of Cellular Automata into formulas in propositional logic is defined that can be used to test forward and inverse reachability problems for the original cellular Automata in a modular way. Expand
On the complexity of enumerating possible dynamics of sparsely connected Boolean network automata with simple update rules
TLDR
It is proved that counting the Fixed Point (FP) configurations and the predecessor and ancestor configurations in two classes of network automata, called Sequential and Synchronous Dynamical Systems (SDSs and SyDSs, respectively), are computationally intractable problems. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 17 REFERENCES
Computation theory of cellular automata
Self-organizing behaviour in cellular automata is discussed as a computational process. Formal language theory is used to extend dynamical systems theory descriptions of cellular automata. The setsExpand
The Constructibility of a Configuration in a Cellular automaton
  • Takeo Yaku
  • Computer Science, Mathematics
  • J. Comput. Syst. Sci.
  • 1973
TLDR
A configuration is said to be with finite support if the states of all but fintely many cells in the array are quiescent and it is recursively unsolvable when d>=2, for a configuration c with finiteSupport in a d-dimensional cellular automaton. Expand
Classifying circular cellular automata
We introduce a hierarchy of linear cellular automata based on their limiting behavior on spatially periodic configurations. We show that it is undecidable to which class in the hierarchy a cellularExpand
Algebraic properties of cellular automata
Cellular automata are discrete dynamical systems, of simple construction but complex and varied behaviour. Algebraic techniques are used to give an extensive analysis of the global properties of aExpand
On the predictability of coupled automata: an allegory about chaos
The authors show a sharp dichotomy between systems of identical automata with symmetric global control whose behavior is easy to predict and those whose behavior is hard to predict. The divisionExpand
De Bruijn Graphs and Linear Cellular Automata
TLDR
Every recursive configuration that has a predecessor on a linear CA already has a recursive pr edecessor, and it is shown that it is in genera l impossible to comput e such a predecessor effect ively. Expand
Classifying the Computational Complexity of Problems
TLDR
A branch of computational complexity theory is described which attempts to expose more structure within the decidable side of the boundary by placing upper bounds on the amounts of computational resources which are needed to solve the problem. Expand
Space-Bounded Reducibility among Combinatorial Problems
  • N. Jones
  • Computer Science, Mathematics
  • J. Comput. Syst. Sci.
  • 1975
TLDR
Two versions of the polynomial time-reducibility of Cook and Karp are defined, by means of Turing machines and by bounded-quantifier formulas, and they are shown to be complete for nondeterministic (deterministic) log n space. Expand
The monotone and planar circuit value problems are log space complete for P
TLDR
It is shown that Ladner's simulation of Turing mac]hines by boolean circuits seems to require an "adequate" set of gates, such as AND and NOT, but the same simulation is possible with monotone circuits using AND and OR gates only. Expand
Undecidability of CA Classification Schemes
TLDR
It is shown that it is undecidable to which class a given cellula r automaton belongs, even when choosing only between the two simp lest classes. Expand
...
1
2
...