𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The mechanical discovery of certain problem symmetries

✍ Scribed by Brian Cohen

Publisher
Elsevier Science
Year
1977
Tongue
English
Weight
683 KB
Volume
8
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis

This paper presents several methods for analysing finite state ptoblems to discover certain types of symmetry. The methods are based on techniques used in Sequential Machine Theory, especially the use of partitions that have the Substitution Property. Amarel's investigations of a type of timereverse symmetry have ako been extended to a wider class of problems. All the symmetries discussed enable substantial savings in search effort to be obtained by effectively reducing the size of the search apace.

πŸ“œ SIMILAR VOLUMES

On the use of β€œsmall external fields” in
On the use of β€œsmall external fields” in the problem of symmetry breakdown in statistical mechanics
✍ David Ruelle πŸ“‚ Article πŸ“… 1972 πŸ› Elsevier Science 🌐 English βš– 503 KB

We study the infinite system equilibrium states in the statistical mechanics of classical lattice gases. We show that breakdown of the translation invariance occurs if and only if the derivative dP(@ + hY)/dX is discontinuous at h = 0 for some Y. In this formula, P is the pressure, @ the translation

Certain aspects of the problem of effici
Certain aspects of the problem of efficient structural design
✍ B. Klein πŸ“‚ Article πŸ“… 1955 πŸ› Elsevier Science 🌐 English βš– 351 KB

Efficient structural design can be considered to consist of several phases, and various methods exist for the solution of these phases. It is shown how the use of Lagrangian multipliers in conjunction with the calculus of variations leads to the solution of a certain class of problems in efficient s