Intractable problems in reversible cellular automata

Journal Article · Fri Jul 01 00:00:00 EDT 1988 · Int. J. Theor. Phys.; (United States)

DOI:https://doi.org/10.1007/BF00669293· OSTI ID:6309586

Vatan, F

The billiard ball model, a classical mechanical system in which all parameters are real variables, can perform all digital computations. An eight-state, 11-neighbor reversible cellular automaton (an entirely discrete system in which all parameters are integer variables) can simulate this model. One of the natural problems for this system is to determine the shape of a container so that they initial specific distribution of gas molecules eventually leads to a predetermined distribution. This problem if PSPACE-complete. Related intractable and decidable problems are discussed as well.

• Research Organization: Isfahan Univ. of Technology (Iran)
• OSTI ID: 6309586
• Journal Information: Int. J. Theor. Phys.; (United States), Vol. 27:7
• Country of Publication: United States
• Language: English

Related Subjects

71 CLASSICAL AND QUANTUM MECHANICS
GENERAL PHYSICS
GASES
STATISTICAL MECHANICS
PARTICLE MODELS
COMPUTERIZED SIMULATION
CARTESIAN COORDINATES
CLASSICAL MECHANICS
DIGITAL COMPUTERS
ENTROPY
EUCLIDEAN SPACE
PARTICLE KINEMATICS
COMPUTERS
COORDINATES
FLUIDS
MATHEMATICAL MODELS
MATHEMATICAL SPACE
MECHANICS
PHYSICAL PROPERTIES
RIEMANN SPACE
SIMULATION
SPACE
THERMODYNAMIC PROPERTIES
657002* - Theoretical & Mathematical Physics- Classical & Quantum Mechanics