Efficient methods with polynomial complexity to determine the reversibility of general 1D linear cellular automata over Zp
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
2022-11-092022-11-092022-11-09Bibliographically approved