There are \(270, 474, 142\) nonisomorphic \(2\)-\((9, 4, 6)\) designs
type: Item
instance of: scholarly article
zbMATH Open document ID: 0983.05016
author: Patric R. J. Östergård
publication date: 2002-04-16T00:00:00Z
Mathematics Subject Classification ID: 05B05
zbMATH DE Number: 1648977
zbMATH Keywords: block design
zbMATH Keywords: orderly algorithm
zbMATH Keywords: canonical form
zbMATH Keywords: nonisomorphic
MaRDI profile type: Publication
title: There are \(270, 474, 142\) nonisomorphic \(2\)-\((9, 4, 6)\) designs
published in: JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing
review text: The author uses an orderly algorithm to determine that there are precisely \(270,474,142\) nonisomorphic 2-\((9,4,6)\) designs. The orderly algorithm constructs the incidence matrices of the designs row-by-row using an algorithm of \textit{P. C. Denny} and \textit{R. Mathon} [A census of \(t\)-\((t+8,t+2,4)\) designs, \(2 \leq t \leq 4\), J. Stat. Plann. Inference, to appear] to check for canonicity of each partial incidence matrix. The enumeration took about three months of total CPU time on 233-500 MHz PC computers, but an elapsed time of only one week by distributing the computation over a network of computers using \textit{B. D. McKay}'s program \textit{autoson} in [``autoson -- a distributed batch system for UNIX workstation networks (version 1.3)'', Tech. Rep. TR-CS-96-03, Computer Science Department, Australian National University, 1996]. Properties of the resulting designs are tabulated according to the size of their automorphism groups. For each group size the numbers of simple and decomposable designs are listed. Finally the canonical incidence matrix of the unique 2-\((9,4,6)\) design with the largest automorphism group (of order \(360\)) is presented. This is another impressive result from an author who has recently cracked the major problem of counting all 11 billion odd \(S(2,3,19)\) designs.
reviewed by: Peter B. Gibbons
description: scientific article; zbMATH DE number 1648977