Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: The Complexity of Iterated Reversible Computation
(Submitted on 22 Dec 2021 (v1), last revised 18 Dec 2023 (this version, v5))
Abstract: We study a 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. These problems are characterized by the complexity class $\mathsf{FP}^{\mathsf{PSPACE}}$, and include natural $\mathsf{FP}^{\mathsf{PSPACE}}$-complete problems in circuit complexity, cellular automata, graph algorithms, and the dynamical systems described by piecewise-linear transformations.
Submission history
From: David Eppstein [view email][v1] Wed, 22 Dec 2021 01:16:18 GMT (483kb,D)
[v2] Mon, 7 Feb 2022 01:26:59 GMT (692kb,D)
[v3] Sun, 21 Aug 2022 19:02:18 GMT (691kb,D)
[v4] Thu, 21 Sep 2023 04:39:26 GMT (894kb,D)
[v5] Mon, 18 Dec 2023 19:24:59 GMT (917kb,D)
Link back to: arXiv, form interface, contact.