663 research outputs found
The Game of Life on the Hyperbolic Plane
In this paper, we work on the Game of Life on the hyperbolic plane. We are interested in different tessellations on the hyperbolic plane and different Game of Life rules. First, we show the exponential growth of polygons on the pentagon tessellation. Moreover, we find that the Group of 3 can keep the boundary of a set not getting smaller. We generalize the existence of still lifes by computer simulations. Also, we will prove some propositions of still lifes and cycles. There exists a still life under rules B1, B2, and S3
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants
Abstract geometrical computation can solve hard combinatorial problems
efficiently: we showed previously how Q-SAT can be solved in bounded space and
time using instance-specific signal machines and fractal parallelization. In
this article, we propose an approach for constructing a particular generic
machine for the same task. This machine deploies the Map/Reduce paradigm over a
fractal structure. Moreover our approach is modular: the machine is constructed
by combining modules. In this manner, we can easily create generic machines for
solving satifiability variants, such as SAT, #SAT, MAX-SAT
MFCS\u2798 Satellite Workshop on Cellular Automata
For the 1998 conference on Mathematical Foundations of Computer
Science (MFCS\u2798) four papers on Cellular Automata were accepted as
regular MFCS\u2798 contributions. Furthermore an MFCS\u2798 satellite
workshop on Cellular Automata was organized with ten additional talks.
The embedding of the workshop into the conference with its
participants coming from a broad spectrum of fields of work lead to
interesting discussions and a fruitful exchange of ideas.
The contributions which had been accepted for MFCS\u2798 itself may be
found in the conference proceedings, edited by L. Brim, J. Gruska and
J. Zlatuska, Springer LNCS 1450. All other (invited and regular)
papers of the workshop are contained in this technical report. (One
paper, for which no postscript file of the full paper is available, is
only included in the printed version of the report).
Contents:
F. Blanchard, E. Formenti, P. Kurka: Cellular automata in the Cantor,
Besicovitch and Weyl Spaces
K. Kobayashi: On Time Optimal Solutions of the Two-Dimensional Firing
Squad Synchronization Problem
L. Margara: Topological Mixing and Denseness of Periodic Orbits for
Linear Cellular Automata over Z_m
B. Martin: A Geometrical Hierarchy of Graph via Cellular Automata
K. Morita, K. Imai: Number-Conserving Reversible Cellular Automata and
Their Computation-Universality
C. Nichitiu, E. Remila: Simulations of graph automata
K. Svozil: Is the world a machine?
H. Umeo: Cellular Algorithms with 1-bit Inter-Cell Communications
F. Reischle, Th. Worsch: Simulations between alternating CA,
alternating TM and circuit families
K. Sutner: Computation Theory of Cellular Automat
Computing NP-complete problems in polynomial time by means of Physics
Can NP-complete problems be solved efficiently in the physical universe? Some researchers have claimed to be able to solve NP-complete problems in polynomial time by encoding the problem in the state of a physical system and letting it evolve naturally, according to the laws of physics. However, their proposals have not proven to be very effective in practice. Additionally, there are several reasons to believe that those methods would not work if P 6= NP. We present some physical assumptions (both from classical physics and quantum mechanics) that would allow us to provably solve NP-complete problems in polynomial time by means of Physics, even if P 6= NP and NP 6â BQP. We also study if our proposals are consistent with currently known laws of Physics
Scale-invariant cellular automata and self-similar Petri nets
Two novel computing models based on an infinite tessellation of space-time
are introduced. They consist of recursively coupled primitive building blocks.
The first model is a scale-invariant generalization of cellular automata,
whereas the second one utilizes self-similar Petri nets. Both models are
capable of hypercomputations and can, for instance, "solve" the halting problem
for Turing machines. These two models are closely related, as they exhibit a
step-by-step equivalence for finite computations. On the other hand, they
differ greatly for computations that involve an infinite number of building
blocks: the first one shows indeterministic behavior whereas the second one
halts. Both models are capable of challenging our understanding of
computability, causality, and space-time.Comment: 35 pages, 5 figure
- âŠ