Constructive enumeration of Boolean lattices
β Scribed by V. D. Dzgoev
- Publisher
- Springer US
- Year
- 1988
- Tongue
- English
- Weight
- 438 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0002-5232
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract Some aspects of the theory of Boolean algebras and distributive latticesβin particular, the Stone Representation Theorems and the properties of filters and idealsβare analyzed in a constructive setting.
In this paper, a fast and complete method to enumerate fullerene structures is given. It is based on a top-down approach, and it is fast enough to generate, for example, all 1812 isomers of C in less than 20 s on an SGI-workstation. The 60 method described can easily be generalized for 3-regular sph
Let a be an element of a finite ordered set P. A subset F of P is a cutset for a if every element of F is incomparable to a and if every maximal chain of P intersects F U {a}. The cardinalities of minimum sized cutsets for elements of finite boolean lattices are determined