TOPICS
Search

Computational Irreducibility


While many computations admit shortcuts that allow them to be performed more rapidly, others cannot be sped up. Computations that cannot be sped up by means of any shortcut are called computationally irreducible. The principle of computational irreducibility says that the only way to determine the answer to a computationally irreducible question is to perform, or simulate, the computation. Some irreducible computations can be sped up by performing them on faster hardware, as the principle refers only to computation time.

According to Wolfram (2002, p. 741), if the behavior of a system is obviously simple--and is say either repetitive or nested--then it will always be computationally reducible. But it follows from the principle of computational equivalence that in practically all other cases it will be computationally irreducible. Here, "practically all" refers to cases that arise naturally or from a simple rule system as opposed to cases that are constructed artificially such as the examples given by Wolfram (2002, p. 747).

Israeli and Goldenfeld (2004) have shown that some computationally irreducible elementary cellular automata have properties that are predictable, and so these properties are computationally reducible. In particular, these cellular automata can emulate reducible cellular automata by coarse-graining. One of those is rule 110, which is a universal cellular automaton.

However, as noted by Wolfram (2002, p. 745), "when the underlying rules are simple there is often still some superficial computational reducibility.... For example, in the rule 30 pattern on the right one can tell whether a cell at a given position has any chance of not being white just by doing a short computation that tests whether that position lies outside the center triangular region of the pattern. And in a class 4 cellular automaton such as rule 110 one can readily shortcut the process of evolution at least for a limited number of steps in places where there happen to be only a few well-separated localized structures present."

A version of computational irreducibility applied to multicomputation may be termed multicomputational irreducibility (Boyd 2022).


See also

Computation, Computational Reducibility, Mathematical Paradigm, Multicomputational Irreducibility, Principle of Computational Equivalence

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Boyd, J. "Multicomputational Irreducibility." Jun. 6, 2022. https://www.wolframphysics.org/bulletins/2022/06/multicomputational-irreducibility/.Israeli, N. and Goldenfeld, N. "Computational Irreducibility and the Predictability of Complex Physical Systems." Phys. Rev. Lett. 92, 074105, 2004.Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, pp. 737-750, 2002.

Referenced on Wolfram|Alpha

Computational Irreducibility

Cite this as:

Rowland, Todd. "Computational Irreducibility." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ComputationalIrreducibility.html

Subject classifications