Complexity-Theoretic Aspects of Expanding Cellular Automata
- 232 Downloads
The expanding cellular automata (XCA) variant of cellular automata is investigated and characterized from a complexity-theoretical standpoint. The respective polynomial-time complexity class is shown to coincide with Open image in new window , that is, the class of decision problems polynomial-time truth-table reducible to problems in Open image in new window . Corollaries on select XCA variants are proven: XCAs with multiple accept and reject states are shown to be polynomial-time equivalent to the original XCA model. Meanwhile, XCAs with diverse acceptance behavior are classified in terms of Open image in new window and the Turing machine polynomial-time class Open image in new window .
The author would like to thank Thomas Worsch for his mentoring, encouragement, and support during the writing of this paper. The author would also like to thank Dennis Hofheinz for pointing out a crucial mistake in a preliminary version of this paper as well as the anonymous referees for their valuable remarks and suggestions.
- 3.Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971, Shaker Heights, Ohio, USA, pp. 151–158. ACM (1971)Google Scholar
- 4.Dantchev, S.S.: Dynamic neighbourhood cellular automata. In: Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22–24 September 2008, pp. 60–68 (2008)Google Scholar
- 5.Dubacq, J.-C.: Different kinds of neighborhood-varying cellular automata. Maîtrise/honour bachelor degree, École normale superiéure de Lyon (1994)Google Scholar
- 13.Modanese, A.: Complexity-theoretical aspects of expanding cellular automata. Master’s thesis, Karlsruhe Institute of Technology (2018)Google Scholar
- 14.Modanese, A.: Shrinking and expanding one-dimensional cellular automata. Bachelor’s thesis, Karlsruhe Institute of Technology (2016)Google Scholar