A six-state minimal time solution to the firing squad synchronization problem
Theoretical Computer Science
NP problems are tractable in the space of cellular automata in the hyperbolic plane
Theoretical Computer Science
Improved Time and Space Hierarchies of One-Tape Off-Line TMs
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
New Time Hierarchy Results for Deterministic TMs
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
On Time-Constructible Functions in One-Dimensional Cellular Automata
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Hierarchies of memory limited computations
FOCS '65 Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1965)
A Recursive Padding Technique on Nondeterministic Cellular Automata
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A time hierarchy theorem for nondeterministic cellular automata
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Hi-index | 0.00 |
This paper presents simulation and separation results on the computational complexity of cellular automata (CA) in the hyperbolic plane. It is shown that every t(n)-time nondeterministic hyperbolic CA can be simulated by an O(t3(n))-time deterministic hyperbolic CA. It is also shown that for any computable functions t1(n) and t2(n) such that limn驴驴 (t1(n))3/t2(n) = 0, t2(n)-time hyperbolic CA are strictly more powerful than t1(n)-time hyperbolic CA. This time hierarchy holds for both deterministic and nondeterministic cases. As for the space hierarchy, hyperbolic CA of space s(n) + 驴(n) are strictly more powerful than those of space s(n) if 驴(n) is a function not bounded by O(1).