Hill‐climbing to Pasch valleys |
| |
Authors: | Danny Heap Peter Danziger Eric Mendelsohn |
| |
Affiliation: | 1. Department of Computer Science, University of Toronto, Toronto, Ontario, Canada M5S 3G4;2. Department of Mathematics, Ryerson University, Toronto, Ontario, Canada M5B 2K3;3. Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G4 |
| |
Abstract: | Exhaustive enumeration of Steiner Triple Systems is not feasible, due to the combinatorial explosion of instances. The next‐best hope is to quickly find a sample that is representative of isomorphism classes. Stinson's Hill‐Climbing algorithm [ 20 ] is widely used to produce random Steiner Triple Systems, and certainly finds a sample of systems quickly, but the sample is not uniformly distributed with respect to the isomorphism classes of STS with ν ≤ 19, and, in particular, we find that isomorphism classes with a large number of Pasch configurations are under‐represented. No analysis of the non‐uniformity of the distribution with respect to isomorphism classes or the intractability of obtaining a representative sample for ν > 19 is known. We also exhibit a modification to hill‐climbing that makes the sample if finds closer to the uniform distribution over isomorphism classes in return for a modest increase in running time. © 2007 Wiley Periodicals, Inc. J Combin Designs 15: 405–419, 2007 |
| |
Keywords: | hill climbing triple system Pasch configuration probabilistic algorithms combinatorial designs |
|
|