kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Efficient methods with polynomial complexity to determine the reversibility of general 1D linear cellular automata over Zp
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Software and Computer systems, SCS.
2022 (English)In: Information Sciences, ISSN 0020-0255, E-ISSN 1872-6291, Vol. 594, p. 163-176Article in journal (Refereed) Published
Abstract [en]

The property of reversibility is quite meaningful for the classic theoreticabl computer science model, cellular automata. This paper focuses on the reversibility of general one-dimensional (1D) linear cellular automata (LCA), under null boundary conditions over the finite field Zp. Although the existing approaches have split the reversibility challenge into two sub-problems: calculate the period of reversibility first, then verify the reversibility in a period, they are still exponential in the size of the CA's neighborhood. In this paper, we use two efficient algorithms with polynomial complexity to tackle these two challenges, making it possible to solve large-scale reversible LCA, which substantially enlarge its applicability. Finally, we provide an interesting perspective to inversely generate a 1D LCA from a given period of reversibility.

Place, publisher, year, edition, pages
Elsevier BV , 2022. Vol. 594, p. 163-176
Keywords [en]
Cellular automata, Linear rule, Null boundary, Polynomial complexity, Reversibility, Computational complexity, Polynomials, Cellular automatons, Exponentials, Finite fields, One-dimensional, Property, Sub-problems
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-321184DOI: 10.1016/j.ins.2022.01.045ISI: 000814429500010Scopus ID: 2-s2.0-85125148737OAI: oai:DiVA.org:kth-321184DiVA, id: diva2:1709531
Note

QC 20221109

Available from: 2022-11-09 Created: 2022-11-09 Last updated: 2022-11-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Wang, Tianze

Search in DiVA

By author/editor
Wang, Tianze
By organisation
Software and Computer systems, SCS
In the same journal
Information Sciences
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 382 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf