A Census of Steiner Triple Systems and Some Related Combinatorial Objects

  • Petteri Kaski, TEKNILLINEN KORKEAKOULU, TEKNISKA HÖGSKOLAN
  • Published 2003

Abstract

A Steiner triple system of order v (STS(v)) is a set of triples, or blocks, constructed over a set of v points, such that every pair of distinct points occurs in a unique block. Previously, a complete classification of the STS(v) up to isomorphism was known only for v ≤ 15. In this work, we classify by computer search the next open case, v = 19. The classification proceeds in two stages. First, we construct an initial set of 25-block seed configurations. Then, using an algorithm for the exact cover problem, we determine all completions of the seeds to STS(19). Isomorph rejection on the STS(19) is carried out using the graph canonical labelling package nauty supplemented with a vertex invariant based on Pasch configurations. We conclude that there are 11,084,874,829 nonisomorphic STS(19) and study a number of their properties. In particular, the number of anti-Pasch STS(19) is 2,591 and the number of STS(19) with a nontrivial automorphism group is 164,758. We also develop an independent algorithm for classifying STS(19) with a prescribed group of automorphisms. We then use this algorithm to classify the STS(19) with a nontrivial automorphism group. The results obtained in this partial classification match those obtained in the main search. Finally, we show that the main classification algorithm can be used with minor modifications to classify certain related combinatorial structures, such as latin squares and one-factorizations of complete graphs. We estimate the performance of the algorithm in classifying one-factorizations of the complete graph on 12 vertices.

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Kaski2003ACO, title={A Census of Steiner Triple Systems and Some Related Combinatorial Objects}, author={Petteri Kaski and TEKNILLINEN KORKEAKOULU and TEKNISKA H{\"{O}GSKOLAN}, year={2003} }