4,299 research outputs found
An adaptive prefix-assignment technique for symmetry reduction
This paper presents a technique for symmetry reduction that adaptively
assigns a prefix of variables in a system of constraints so that the generated
prefix-assignments are pairwise nonisomorphic under the action of the symmetry
group of the system. The technique is based on McKay's canonical extension
framework [J.~Algorithms 26 (1998), no.~2, 306--324]. Among key features of the
technique are (i) adaptability---the prefix sequence can be user-prescribed and
truncated for compatibility with the group of symmetries; (ii)
parallelizability---prefix-assignments can be processed in parallel
independently of each other; (iii) versatility---the method is applicable
whenever the group of symmetries can be concisely represented as the
automorphism group of a vertex-colored graph; and (iv) implementability---the
method can be implemented relying on a canonical labeling map for
vertex-colored graphs as the only nontrivial subroutine. To demonstrate the
practical applicability of our technique, we have prepared an experimental
open-source implementation of the technique and carry out a set of experiments
that demonstrate ability to reduce symmetry on hard instances. Furthermore, we
demonstrate that the implementation effectively parallelizes to compute
clusters with multiple nodes via a message-passing interface.Comment: Updated manuscript submitted for revie
Generation of cubic graphs
We describe a new algorithm for the efficient generation of all non-isomorphic connected cubic graphs. Our implementation of this algorithm is more than 4 times faster than previous generators. The generation can also be efficiently restricted to cubic graphs with girth at least 4 or 5
Ramsey numbers R(K3,G) for graphs of order 10
In this article we give the generalized triangle Ramsey numbers R(K3,G) of 12
005 158 of the 12 005 168 graphs of order 10. There are 10 graphs remaining for
which we could not determine the Ramsey number. Most likely these graphs need
approaches focusing on each individual graph in order to determine their
triangle Ramsey number. The results were obtained by combining new
computational and theoretical results. We also describe an optimized algorithm
for the generation of all maximal triangle-free graphs and triangle Ramsey
graphs. All Ramsey numbers up to 30 were computed by our implementation of this
algorithm. We also prove some theoretical results that are applied to determine
several triangle Ramsey numbers larger than 30. As not only the number of
graphs is increasing very fast, but also the difficulty to determine Ramsey
numbers, we consider it very likely that the table of all triangle Ramsey
numbers for graphs of order 10 is the last complete table that can possibly be
determined for a very long time.Comment: 24 pages, submitted for publication; added some comment
Matroids with nine elements
We describe the computation of a catalogue containing all matroids with up to
nine elements, and present some fundamental data arising from this cataogue.
Our computation confirms and extends the results obtained in the 1960s by
Blackburn, Crapo and Higgs. The matroids and associated data are stored in an
online database, and we give three short examples of the use of this database.Comment: 22 page
The Generation of Fullerenes
We describe an efficient new algorithm for the generation of fullerenes. Our
implementation of this algorithm is more than 3.5 times faster than the
previously fastest generator for fullerenes -- fullgen -- and the first program
since fullgen to be useful for more than 100 vertices. We also note a
programming error in fullgen that caused problems for 136 or more vertices. We
tabulate the numbers of fullerenes and IPR fullerenes up to 400 vertices. We
also check up to 316 vertices a conjecture of Barnette that cubic planar graphs
with maximum face size 6 are hamiltonian and verify that the smallest
counterexample to the spiral conjecture has 380 vertices.Comment: 21 pages; added a not
Classification of eight dimensional perfect forms
In this paper, we classify the perfect lattices in dimension 8. There are
10916 of them. Our classification heavily relies on exploiting symmetry in
polyhedral computations. Here we describe algorithms making the classification
possible.Comment: 14 page
- âŠ