The Complexity of Iterated Reversible Computation

12/22/2021
βˆ™
by   David Eppstein, et al.
βˆ™
0
βˆ™

We define a complexity class 𝖨𝖑 as the class of functional problems reducible to computing f^(n)(x) for inputs n and x, where f is a polynomial-time bijection. As we prove, the definition is robust against variations in the type of reduction used in its definition, and in whether we require f to have a polynomial-time inverse or to be computible by a reversible logic circuit. We relate 𝖨𝖑 to other standard complexity classes, and demonstrate its applicability by finding natural 𝖨𝖑-complete problems in circuit complexity, cellular automata, graph algorithms, and the dynamical systems described by piecewise-linear transformations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
βˆ™ 02/14/2019

Complexity-Theoretic Aspects of Expanding Cellular Automata

The expanding cellular automata (XCA) variant of cellular automata is in...
research
βˆ™ 11/16/2020

Conjugacy of reversible cellular automata

We show that conjugacy of reversible cellular automata is undecidable, w...
research
βˆ™ 10/08/2017

Reversible Computation in Term Rewriting

Essentially, in a reversible programming language, for each forward comp...
research
βˆ™ 07/13/2019

Efficient methods to determine the reversibility of general 1D linear cellular automata in polynomial complexity

In this paper, we study reversibility of one-dimensional(1D) linear cell...
research
βˆ™ 12/07/2021

Computational complexity of problems for deterministic presentations of sofic shifts

Sofic shifts are symbolic dynamical systems defined by the set of bi-inf...
research
βˆ™ 08/28/2017

Relativized Separation of Reversible and Irreversible Space-Time Complexity Classes

Reversible computing can reduce the energy dissipation of computation, w...
research
βˆ™ 02/15/2019

Descriptive complexity for minimal time of cellular automata

Descriptive complexity may be useful to design programs in a natural dec...

Please sign up or login with your details

Forgot password? Click here to reset