The Complexity of Iterated Reversible Computation
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-t...
Gespeichert in:
| Veröffentlicht in: | TheoretiCS Jg. 2 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
TheoretiCS Foundation e.V
26.12.2023
|
| Schlagworte: | |
| ISSN: | 2751-4838, 2751-4838 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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. |
|---|---|
| AbstractList | 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. 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. |
| Author | Eppstein, David |
| Author_xml | – sequence: 1 givenname: David surname: Eppstein fullname: Eppstein, David |
| BookMark | eNpNkFtLw0AQhRepYK39Ab7lDyTO3pLdRyleCgVB6vOyl4lNSbtlN4r994ZW1KcZDsN35pxrMtnHPRJyS6ESNdPqbthgTDh0PleMVxQuyJQ1kpZCcTX5t1-Rec5bAGCaScHllND1BotF3B16_OqGYxHbYjlgsgOG4hU_MeXO9eeLj8EOXdzfkMvW9hnnP3NG3h4f1ovncvXytFzcr0pPJYVSeedGF8HQCcFVq2oVqGTKNYw1gEyhqi0NIBuHDQTlYXzSa81Ai8AZ5zOyPHNDtFtzSN3OpqOJtjMnIaZ3Y9MYuUdTa68tqGCRg_BSupFlWUuRNnWA2o4semb5FHNO2P7yKJhTheavQsP4KPNvdV9nFA |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.46298/theoretics.23.10 |
| DatabaseName | CrossRef DOAJ Open Access Full Text |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| EISSN | 2751-4838 |
| ExternalDocumentID | oai_doaj_org_article_69c9a08dae304c55b075a2f1e176d06a 10_46298_theoretics_23_10 |
| GroupedDBID | AAFWJ AAYXX ADQAK AFPKN ALMA_UNASSIGNED_HOLDINGS CITATION GROUPED_DOAJ M~E |
| ID | FETCH-LOGICAL-c1510-8cbb29242eb4438f868d1528b72270e28e86a1d057be70d8c0751c992094d3233 |
| IEDL.DBID | DOA |
| ISSN | 2751-4838 |
| IngestDate | Tue Oct 14 19:07:14 EDT 2025 Sat Nov 29 01:37:36 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | https://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c1510-8cbb29242eb4438f868d1528b72270e28e86a1d057be70d8c0751c992094d3233 |
| OpenAccessLink | https://doaj.org/article/69c9a08dae304c55b075a2f1e176d06a |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_69c9a08dae304c55b075a2f1e176d06a crossref_primary_10_46298_theoretics_23_10 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-12-26 |
| PublicationDateYYYYMMDD | 2023-12-26 |
| PublicationDate_xml | – month: 12 year: 2023 text: 2023-12-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationTitle | TheoretiCS |
| PublicationYear | 2023 |
| Publisher | TheoretiCS Foundation e.V |
| Publisher_xml | – name: TheoretiCS Foundation e.V |
| SSID | ssj0002925435 |
| Score | 2.2423596 |
| Snippet | 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... 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... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| SubjectTerms | 68q10, 68q15, 68q80 computer science - computational complexity f.1.1 nonlinear sciences - cellular automata and lattice gases |
| Title | The Complexity of Iterated Reversible Computation |
| URI | https://doaj.org/article/69c9a08dae304c55b075a2f1e176d06a |
| Volume | 2 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2751-4838 dateEnd: 20241231 omitProxy: false ssIdentifier: ssj0002925435 issn: 2751-4838 databaseCode: DOA dateStart: 20220101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2751-4838 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002925435 issn: 2751-4838 databaseCode: M~E dateStart: 20220101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEA5SPHgRRcX6Yg-ehLSb5yZHlRYFLSIKvS15LQjSSh9CL_52J0mte_PiZQ8hLMkMyfcNmfkGoUsrjVQABFhyIzAX1mJLWcCCWCe4pdz4JOL6UI1GajzWT61WXzEnLMsDZ8P1pXbalMqbAIG3E8ICxhnakEAq6UuZqBGwnlYwFe9gqmORt8jPmFxSrfqbwsB5j7JerJhtAVFLrz8By3AP7a4ZYXGdV7KPtsLkABFwXxHPatSrXKyKaVPcJ_3j4IvnkFIp7HuescyP6YfodTh4ub3D6-4G2AHKllg5a2GZnAbLOVONksoDmCpbUVqVgaqgpCEe-JQNVemVg40TpzWFgMwzytgR6kymk3CMCtNw43gDaC4Fd8Qa30gON1lgXHDgO1109bPV-iOLWNRA_pNd6l-71JTBcBfdRGNsJkb96TQAXqnXXqn_8srJf_zkFO3E5u4xeYTKM9RZzJbhHG27z8XbfHaRHA7fx6_BN7MZsUU |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Complexity+of+Iterated+Reversible+Computation&rft.jtitle=TheoretiCS&rft.au=Eppstein%2C+David&rft.date=2023-12-26&rft.issn=2751-4838&rft.eissn=2751-4838&rft.volume=2&rft_id=info:doi/10.46298%2Ftheoretics.23.10&rft.externalDBID=n%2Fa&rft.externalDocID=10_46298_theoretics_23_10 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2751-4838&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2751-4838&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2751-4838&client=summon |