Hilbert's tenth problem
Complexity and real computation
Complexity and real computation
NP problems are tractable in the space of cellular automata in the hyperbolic plane
Theoretical Computer Science
On the infinigons of the hyperbolic plane, a combinatorial approach
Fundamenta Informaticae
Cellular automata and combinatoric tilings in hyperbolic spaces: a survey
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
Surprising Areas in the Quest for Small Universal Devices
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper, we consider cellular automata on special grids of the hyperbolic plane: the grids are constructed on infinigons, i.e. polygons with infinitely many sides. We show that the truth of arithmetical formulas can be decided in finite time with infinite initial recursive configurations. Next, we define a new kind of cellular automata, endowed with data and more powerful operations which we call register cellular automata. This time, starting from finite configurations, it is possible to decide the truth of arithmetic formulas in linear time with respect to the size of the formula.