83 research outputs found
Generating all finite modular lattices of a given size
Modular lattices, introduced by R. Dedekind, are an important subvariety of
lattices that includes all distributive lattices. Heitzig and Reinhold
developed an algorithm to enumerate, up to isomorphism, all finite lattices up
to size 18. Here we adapt and improve this algorithm to construct and count
modular lattices up to size 24, semimodular lattices up to size 22, and
lattices of size 19. We also show that is a lower bound for the
number of nonisomorphic modular lattices of size .Comment: Preprint, 12 pages, 2 figures, 1 tabl
Efficient Generation of Stable Planar Cages for Chemistry
In this paper we describe an algorithm which generates all colored planar
maps with a good minimum sparsity from simple motifs and rules to connect them.
An implementation of this algorithm is available and is used by chemists who
want to quickly generate all sound molecules they can obtain by mixing some
basic components.Comment: 17 pages, 7 figures. Accepted at the 14th International Symposium on
Experimental Algorithms (SEA 2015
- …