# 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} }

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

#### Topics from this paper

#### 75 Citations

Computational classification of cellular automata

- Mathematics, Computer Science
- Int. J. Gen. Syst.
- 2012

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.

- Computer Science, Physics
- Chaos
- 2017

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

- Computer Science
- CSUR
- 2000

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

- Computer Science
- Theor. Comput. Sci.
- 2017

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

- Mathematics, Computer Science
- Inf. Comput.
- 2020

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

- Mathematics, Computer Science
- Inf. Sci.
- 2021

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

- Computer Science
- Complex Syst.
- 2009

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

- 2009

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 of… Expand

SAT-Based Analysis of Cellular Automata

- Computer Science
- ACRI
- 2004

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

- Computer Science, Mathematics
- Automata
- 2010

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

#### References

SHOWING 1-10 OF 17 REFERENCES

Computation theory of cellular automata

- Mathematics
- 1984

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 sets… Expand

The Constructibility of a Configuration in a Cellular automaton

- Computer Science, Mathematics
- J. Comput. Syst. Sci.
- 1973

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

- Mathematics
- 1991

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 cellular… Expand

Algebraic properties of cellular automata

- Mathematics
- 1984

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 a… Expand

On the predictability of coupled automata: an allegory about chaos

- Mathematics, Computer Science
- Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science
- 1990

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 division… Expand

De Bruijn Graphs and Linear Cellular Automata

- Mathematics, Computer Science
- Complex Syst.
- 1991

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

- Mathematics, Computer Science
- J. Symb. Log.
- 1987

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

- Computer Science, Mathematics
- J. Comput. Syst. Sci.
- 1975

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

- Computer Science, Mathematics
- SIGA
- 1977

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

- Computer Science, Mathematics
- Complex Syst.
- 1988

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